#
# ChangeLog for src/ResolvExpr/ResolveAssertions.cc
#
# Generated by Trac 1.2.1
# Apr 27, 2024, 9:00:44 AM

Fri, 16 Nov 2018 15:57:03 GMT Aaron Moss <a3moss@…> [2fd9f24]
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	IdChain tweaks to resolver


Thu, 18 Oct 2018 20:26:11 GMT Aaron Moss <a3moss@…> [fbecee5]
	* src/Common/utility.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	rational.cfa passes deferred resolution pass now


Wed, 17 Oct 2018 20:16:18 GMT Aaron Moss <a3moss@…> [2c187378]
	* src/ResolvExpr/Alternative.cc (modified)
	* src/ResolvExpr/Alternative.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	Fix memory bugs in deferred resolution


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)