#
# ChangeLog for src/ResolvExpr/SatisfyAssertions.cpp
#
# Generated by Trac 1.2.1
# May 10, 2024, 8:27:34 AM

Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu <f37yu@…> [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:30:04 GMT Fangren Yu <f37yu@…> [5b9a0ae]
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	attempt to correct deleted declaration and assertion


Wed, 25 Nov 2020 08:12:17 GMT Fangren Yu <f37yu@…> [e5c3811]
	* src/AST/Decl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	create dedicated symbol tables for big 3 operators
	note: arbitrary ...


Tue, 10 Nov 2020 17:37:08 GMT Fangren Yu <f37yu@…> [cdacb73]
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	remove missing assertion console print


Wed, 07 Oct 2020 21:10:14 GMT Fangren Yu <f37yu@…> [2fb35df]
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	exclude deleted declarations for assertion matching


Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu <f37yu@…> [954c954]
	* doc/proposals/function_type_change.md (added)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	Move function argument and return variable declarations from ...


Mon, 10 Aug 2020 23:45:18 GMT Fangren Yu <f37yu@…> [07d867b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/SynTree/ApplicationExpr.cc (modified)

	attempt to fix inferparams


Thu, 25 Jun 2020 21:00:18 GMT Fangren Yu <f37yu@…> [81da70a5]
	* src/AST/Convert.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	actually fill inferred params and disable a check


Fri, 04 Oct 2019 19:07:07 GMT Andrew Beach <ajbeach@…> [cf32116]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/ResolvExpr/typeops.h (modified)

	Implemented expression based lvalue resolution on new ast.


Wed, 19 Jun 2019 22:05:09 GMT Aaron Moss <a3moss@…> [b69233a]
	* src/AST/Expr.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/SymTab/Mangler.h (modified)

	Port assertion satisfaction to new AST


Mon, 10 Jun 2019 22:02:36 GMT Aaron Moss <a3moss@…> [396037d]
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (added)
	* src/ResolvExpr/SatisfyAssertions.hpp (added)
	* src/ResolvExpr/module.mk (modified)

	Start stubbing CandidateFinder in