#
# ChangeLog for src/ResolvExpr/ExplodedActual.h
#
# Generated by Trac 1.2.1
# May 1, 2024, 10:28:10 PM

Tue, 26 Jun 2018 21:16:19 GMT Aaron Moss <a3moss@…> [d286cf68]
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ExplodedActual.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/TypeEnvironment.cc (modified)
	* src/ResolvExpr/TypeEnvironment.h (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/Unify.h (modified)
	* src/ResolvExpr/WidenMode.h (added)

	Fix TypeEnvironment bind algorithms


Thu, 23 Nov 2017 21:24:48 GMT Aaron Moss <a3moss@…> [62194cb]
	* src/ResolvExpr/Alternative.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ExplodedActual.cc (modified)
	* src/ResolvExpr/ExplodedActual.h (modified)
	* src/Tuples/Explode.h (modified)

	Reduce duplication of cost/env in ExplodedActual


Wed, 22 Nov 2017 22:55:13 GMT Aaron Moss <a3moss@…> [a8b27c6]
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/AlternativeFinder.h (modified)
	* src/ResolvExpr/ExplodedActual.cc (added)
	* src/ResolvExpr/ExplodedActual.h (added)
	* src/ResolvExpr/module.mk (modified)

	Pre-explode arguments in AlternativeFinder