# # ChangeLog for src/AST/Pass.proto.hpp # # Generated by Trac 1.2.1 # Nov 18, 2024, 10:44:34 AM Tue, 01 Jun 2021 17:52:19 GMT Thierry Delisle [93f74c0f] * src/AST/Pass.proto.hpp (modified) Changed how new pass visitor gets the return type of previsit to ... Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu [3e5dd913] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/ForallSubstitutionTable.cpp (deleted) * src/AST/ForallSubstitutionTable.hpp (deleted) * src/AST/ForallSubstitutor.hpp (deleted) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/errors/.expect/completeType.nast.x86.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified) reimplement function type and eliminate deep copy Sat, 12 Dec 2020 04:20:45 GMT Fangren Yu [361bf01] * src/AST/Convert.cpp (modified) * src/AST/ForallSubstitutor.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) remove ParameterizedType and put content into FunctionType Fri, 13 Nov 2020 22:02:43 GMT Thierry Delisle [a056f56] * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.proto.hpp (modified) Fixed forward declaration of TranslationUnit Tue, 10 Nov 2020 21:03:44 GMT Fangren Yu [e00c22f] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) someone liked snake_case Tue, 10 Nov 2020 08:14:14 GMT Fangren Yu [0dd9a5e] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) delay autogen resolve Tue, 03 Nov 2020 21:06:20 GMT Andrew Beach [293dc1c] * src/AST/Convert.cpp (modified) * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) TranslationUnit is now used at the top-level of the new-ast passes. Tue, 27 Oct 2020 20:14:48 GMT Thierry Delisle [53d55b6] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/PassVisitor.h (modified) Changed approach for isInFunction and implemented for old ast Tue, 27 Oct 2020 19:26:27 GMT Thierry Delisle [cb25fc9] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) Added to new ast mixin for checker whether it is inFunction or not Fri, 18 Sep 2020 22:12:31 GMT Andrew Beach [b2a11ba] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) Rename WithConstTypeSubstitution from env to typeSubs to avoid name ... Wed, 09 Sep 2020 15:33:01 GMT Andrew Beach [e6b42e7] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Resolver.cc (modified) Added the ast::Pass::read utility. Converted two passes to use its ... Mon, 31 Aug 2020 22:55:22 GMT Fangren Yu [d3aa64f1] * src/AST/Copy.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/Unify.cc (modified) pure visitor interface for new ast Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach [7ff3e522] * src/AST/Copy.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Eval.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Tuples.cc (modified) {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about ... Tue, 11 Aug 2020 21:07:56 GMT Thierry Delisle [0d070ca] * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) disabled new heaptrace feature Tue, 28 Jul 2020 18:37:36 GMT Fangren Yu [c408483] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/Explode.cc (modified) cleanup Fri, 17 Jul 2020 20:58:54 GMT Andrew Beach [aebf5b0] * src/AST/Expr.hpp (modified) * src/AST/Pass.proto.hpp (modified) Made a few changes that should have no effect but will silence some ... Fri, 03 Jul 2020 20:50:21 GMT Fangren Yu [c15085d] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) tracing memory allocation of resolver passes Tue, 29 Oct 2019 19:54:14 GMT Thierry Delisle [396b830] * src/AST/Pass.proto.hpp (modified) Fixed typo which was causing with statements to be ignored by the ... Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss [e0e9a0b] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (added) * src/AST/ForallSubstitutionTable.hpp (added) * src/AST/ForallSubstitutor.hpp (added) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/module.mk (modified) * src/Common/ScopedMap.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Somewhat deeper clone for types with forall qualifiers. * Added ... Tue, 25 Jun 2019 15:26:30 GMT Aaron Moss [9ea38de] * Jenkinsfile (deleted) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/main.cc (modified) Fix ast::Pass guard classes Wed, 05 Jun 2019 15:24:10 GMT Aaron Moss [0e42794] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/Resolver.cc (modified) Rewrite WithSymbolTable pass accessory to use ast::SymbolTable Thu, 30 May 2019 20:10:24 GMT Aaron Moss [d76c588] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Stubs for new resolver, implementation of new indexer, type environment Thu, 23 May 2019 15:29:46 GMT Thierry Delisle [e4b6cf78] * src/AST/Pass.proto.hpp (modified) New Pass visitor now supports void postvisits by returning the ... Thu, 23 May 2019 14:39:17 GMT Thierry Delisle [0b8bf27] * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/module.mk (modified) * src/Makefile.in (modified) Fixed pass visitor so previsit can return void to signify it will ... Wed, 22 May 2019 21:21:39 GMT Thierry Delisle [dff6452] * src/AST/Pass.proto.hpp (modified) Minor fixes to which previsits are acceptable Wed, 22 May 2019 19:18:34 GMT Thierry Delisle [b0abc8a0] * src/AST/Pass.cpp (added) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/module.mk (modified) * src/Makefile.in (modified) Fixed errors in the pass visitor Fri, 17 May 2019 16:09:51 GMT Thierry Delisle [10a1225] * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Visitor.hpp (modified) Many errors and warning fixes. More visit implementation Thu, 16 May 2019 20:13:19 GMT Thierry Delisle [87701b6] * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Init.cpp (modified) * src/AST/Init.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/Node.cpp (added) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/Common/utility.h (modified) Tentative fix for increment/decrement and implented a few more visits Thu, 16 May 2019 14:58:52 GMT Thierry Delisle [8a5530c] * src/AST/CVQualifiers.hpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.hpp (modified) Fixed FunctionType cast, fixed maybe_accept, implemented statement ... Wed, 15 May 2019 14:15:44 GMT Thierry Delisle [6d51bd7] * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (added) * src/AST/Convert.hpp (added) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Label.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/AST/porting.md (modified) Fixes to the new templated pass and started on conversions Fri, 10 May 2019 18:47:32 GMT Thierry Delisle [04124c4] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) More comments and naming conventions fix Thu, 09 May 2019 18:31:15 GMT Thierry Delisle [f47f887] * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (added) * src/AST/Pass.impl.hpp (added) * src/AST/Pass.proto.hpp (added) First draft of Pass.hpp and some updates to node.hpp