#
# ChangeLog for src/AST/Type.cpp
#
# Generated by Trac 1.2.1
# Apr 27, 2024, 12:25:05 PM

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 ...


Thu, 30 May 2019 20:10:24 GMT Aaron Moss <a3moss@…> [d76c588]
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.hpp (modified)
	* src/AST/SymbolTable.cpp (added)
	* src/AST/SymbolTable.hpp (added)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (added)
	* src/AST/TypeEnvironment.hpp (added)
	* src/AST/module.mk (modified)
	* src/AST/porting.md (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/GenPoly/GenPoly.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/Unify.h (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Mangler.h (modified)

	Stubs for new resolver, implementation of new indexer, type
	environment


Tue, 21 May 2019 20:33:30 GMT Aaron Moss <a3moss@…> [514a791]
	* src/AST/Convert.cpp (modified)
	* src/AST/Type.cpp (modified)

	Fix compile errors on previous push


Thu, 16 May 2019 20:56:56 GMT Thierry Delisle <tdelisle@…> [acd80b4]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)

	Fixed several compilation errors


Wed, 15 May 2019 19:57:26 GMT Aaron Moss <a3moss@…> [69bafd2]
	* doc/proposals/virtual.txt (deleted)
	* doc/proposals/vtable.md (modified)
	* src/AST/Attribute.hpp (modified)
	* src/AST/CVQualifiers.hpp (added)
	* src/AST/Convert.cpp (added)
	* src/AST/Convert.hpp (added)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Label.hpp (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/Stmt.hpp (modified)
	* src/AST/Type.cpp (added)
	* src/AST/Type.hpp (modified)
	* src/AST/Visitor.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Label.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/Visitor.h (modified)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc