#
# ChangeLog for src/ResolvExpr/SatisfyAssertions.hpp
#
# Generated by Trac 1.2.1
# Apr 30, 2024, 2:17:42 PM

Thu, 26 Nov 2020 23:52:03 GMT Fangren Yu <f37yu@…> [1389810]
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)

	consolidate prune and satisfy assertion


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