# # ChangeLog for src/AST/Pass.proto.hpp # # Generated by Trac 1.2.1 # Oct 31, 2024, 3:20:33 PM Wed, 04 Jan 2023 15:28:14 GMT Andrew Beach [66a89e7] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) __pass::get_result -> __pass::result::get for consistency with the ... Thu, 15 Sep 2022 15:28:46 GMT Andrew Beach [95e5018] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) Changed ast::__pass::make_location_guard so it should work with C++14. Wed, 14 Sep 2022 20:35:15 GMT Thierry Delisle [a9762dc] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) Passvisitor can now track code location Wed, 11 May 2022 15:33:21 GMT Andrew Beach [3f681b1] * src/AST/Label.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Util.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) Added the new invariant checks. There seems to be a few unset ... Wed, 13 Apr 2022 18:55:51 GMT Andrew Beach [4ec9513] * src/AST/Convert.cpp (modified) * src/AST/Expr.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/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Validate/GenericParameter.cpp (added) * src/Validate/GenericParameter.hpp (added) * src/Validate/ReturnCheck.cpp (added) * src/Validate/ReturnCheck.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/array-container/.expect/language-dim-mismatch.nast.txt (added) * tests/array-container/.expect/language-dim-mismatch.oast.txt (moved) * tests/errors/.expect/scope.nast.txt (moved) * tests/errors/.expect/scope.oast.txt (added) Converted validate C, including adding DimensionExpr to the new ast. Fri, 11 Feb 2022 21:57:07 GMT Andrew Beach [eb211bf] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/CodeLocation.h (modified) Did some clean-up with the ast::Pass class. Moved some things out of ... Fri, 11 Feb 2022 17:16:52 GMT Thierry Delisle [1f7dc61] * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/CodeGen/FixNames.h (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/ResolvProtoDump.hpp (modified) * src/InitTweak/FixInit.h (modified) * src/MakeLibCfa.h (modified) * src/ResolvExpr/Resolver.h (modified) Consistently changed TranslationUnit from struct to class. Tue, 26 Oct 2021 17:32:59 GMT Andrew Beach [c600df1] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/InitTweak/GenInit.cc (modified) Added ast::WithConstTranslationUnit to give access to the surrounding ... 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