#
# ChangeLog for src/Validate/ForallPointerDecay.cpp
#
# Generated by Trac 1.2.1
# Nov 4, 2024, 7:20:33 PM

Mon, 31 Jul 2023 15:25:51 GMT Andrew Beach <ajbeach@…> [14c0f7b]
	* src/AST/Create.cpp (modified)
	* src/AST/Util.cpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/SymTab/GenImplicitCall.cpp (modified)
	* src/Validate/Autogen.cpp (modified)
	* src/Validate/FixQualifiedTypes.cpp (modified)
	* src/Validate/ForallPointerDecay.cpp (modified)
	* src/Validate/ForallPointerDecay.hpp (modified)
	* src/main.cc (modified)

	Added invariant to check that referenced declarations are in scope. ...


Fri, 14 Jul 2023 13:32:31 GMT Andrew Beach <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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 <ajbeach@…> [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.