# # ChangeLog for src/Validate/ForallPointerDecay.cpp # # Generated by Trac 1.2.1 # Nov 12, 2024, 4:36:05 PM Fri, 14 Jul 2023 13:32:31 GMT Andrew Beach [b7c53a9d] * src/AST/Util.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Added a new invariant check and the fixes required to make it pass. ... Wed, 29 Mar 2023 15:07:03 GMT Andrew Beach [9feb34b] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/DeclStats.cpp (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ToString.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/include/cassert (modified) Moved toString and toCString to a new header. Updated includes. ... Fri, 29 Apr 2022 17:30:49 GMT Andrew Beach [298fe57] * src/AST/Convert.cpp (modified) * src/Common/utility.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/EliminateTypedef.cpp (added) * src/Validate/EliminateTypedef.hpp (added) * src/Validate/FixQualifiedTypes.cpp (added) * src/Validate/FixQualifiedTypes.hpp (added) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HoistStruct.cpp (added) * src/Validate/HoistStruct.hpp (added) * src/Validate/NoIdSymbolTable.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/.expect/nested-types-ERR2.nast.txt (added) * tests/.expect/nested-types-ERR2.oast.txt (moved) Translated 3/4 of validate_B. Link Reference To Types has been ... Tue, 29 Mar 2022 20:09:51 GMT Andrew Beach [b230091] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) Added a 'missing' TypeInstType constructor and rewrote some calls to ... Fri, 11 Mar 2022 16:08:19 GMT Andrew Beach [4f6dda0] * src/AST/GenericSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/concurrent/.expect/keywordErrors.nast.txt (added) * tests/concurrent/.expect/keywordErrors.oast.txt (moved) * tests/concurrent/.expect/mainError.nast.txt (added) * tests/concurrent/.expect/mainError.oast.txt (moved) Converted Implement Concurrent Keywords to the new AST. Includes ... Thu, 17 Feb 2022 21:04:23 GMT Andrew Beach [a556492] * src/Validate/ForallPointerDecay.cpp (modified) There was less extra code in ForallPointerDecay then I hopped, but it ... Wed, 16 Feb 2022 16:33:08 GMT Andrew Beach [51b8582] * src/SynTree/TypeSubstitution.cc (modified) * src/Validate/ForallPointerDecay.cpp (modified) So it was a bug in old code that seemed to be cancelling itself out ... Fri, 11 Feb 2022 16:00:35 GMT Andrew Beach [9490621] * src/AST/Decl.cpp (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) My work in progress implementation of ForallPointerDecay for Fangren.