#
# ChangeLog for src/AST/ForallSubstitutionTable.cpp
#
# Generated by Trac 1.2.1
# May 17, 2024, 9:12:07 AM

Tue, 17 Sep 2019 16:56:32 GMT Thierry Delisle <tdelisle@…> [4e13e2a]
	* benchmark/Makefile.in (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Added setting of result in Comma expression.
	Added asserts in ...


Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss <a3moss@…> [e0e9a0b]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (added)
	* src/AST/ForallSubstitutionTable.hpp (added)
	* src/AST/ForallSubstitutor.hpp (added)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Common/ScopedMap.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Somewhat deeper clone for types with forall qualifiers.
	* Added ...