#
# ChangeLog for src/ResolvExpr/ResolveAssertions.cc
#
# Generated by Trac 1.2.1
# Apr 30, 2024, 6:15:52 PM

Thu, 10 Jan 2019 19:22:29 GMT Aaron Moss <a3moss@…> [aeb8f70]
	* src/ResolvExpr/Alternative.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Fix memory leaks in assertion resolution


Fri, 14 Dec 2018 22:12:48 GMT Aaron Moss <a3moss@…> [b3bd772]
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Prune in resolveAssertions conditional on result type of expression


Thu, 13 Dec 2018 21:47:41 GMT Aaron Moss <a3moss@…> [9aaacc27]
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Fix segfault in some tests


Mon, 10 Dec 2018 19:47:37 GMT Aaron Moss <a3moss@…> [83ab931]
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Fix type renaming issue with deferred resolution


Tue, 20 Nov 2018 20:14:03 GMT Aaron Moss <a3moss@…> [40290497]
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Fiddle with missing inferParams handling


Mon, 19 Nov 2018 22:05:12 GMT Aaron Moss <a3moss@…> [0b00df0]
	* src/GenPoly/Box.cc (modified)
	* src/GenPoly/Specialize.cc (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/TypeEnvironment.h (modified)
	* src/SynTree/ApplicationExpr.cc (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)

	First draft of deferred expression resolution; DOES NOT BUILD


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)