#
# ChangeLog for src/ResolvExpr/ResolvMode.h
#
# Generated by Trac 1.2.1
# May 17, 2024, 7:39:33 AM

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


Fri, 12 Oct 2018 19:19:35 GMT Aaron Moss <a3moss@…> [6d6e829]
	* src/Common/FilterCombos.h (added)
	* src/Makefile.am (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/Alternative.cc (modified)
	* src/ResolvExpr/Alternative.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Cost.h (modified)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/ResolveAssertions.cc (added)
	* src/ResolvExpr/ResolveAssertions.h (added)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/TypeEnvironment.h (modified)
	* src/ResolvExpr/module.mk (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	First compiling draft of deferred assertions (build failure)


Fri, 05 Oct 2018 14:30:21 GMT Aaron Moss <a3moss@…> [59cf83b]
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/AlternativeFinder.h (modified)
	* src/ResolvExpr/ResolvMode.h (added)
	* src/ResolvExpr/Resolver.cc (modified)

	Switch resolution flags to packed struct