#
# ChangeLog for src/ResolvExpr/ExplodedActual.h
#
# Generated by Trac 1.2.1
# Nov 20, 2024, 1:28:34 AM

Tue, 11 Jun 2019 21:52:50 GMT Aaron Moss <a3moss@…> [432ce7a]
	* src/AST/Print.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/AlternativeFinder.h (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ExplodedActual.cc (modified)
	* src/ResolvExpr/ExplodedActual.h (modified)
	* src/ResolvExpr/ExplodedArg.cpp (added)
	* src/ResolvExpr/ExplodedArg.hpp (added)
	* src/ResolvExpr/module.mk (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/Tuples/Tuples.h (modified)

	Port CandidateFinder::postvisit for UntypedExpr, stub dependencies


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