#
# ChangeLog for src/ResolvExpr/SatisfyAssertions.cpp
#
# Generated by Trac 1.2.1
# May 13, 2024, 8:31:25 PM

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