#
# ChangeLog for src/AST
#
# Generated by Trac 1.2.1
# Apr 27, 2024, 5:55:35 AM

Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr <pabuhr@…> [033ff37]
	* examples/Attributes.c (deleted)
	* src/AST/Convert.cpp (modified)
	* src/AST/porting.md (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/Parser/DeclarationNode.cc (modified)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/lex.ll (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/Visitor.h (modified)

	remove attribute expression '@'name mechanism


Tue, 16 Jul 2019 14:38:32 GMT Thierry Delisle <tdelisle@…> [e67991f]
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Visitor.hpp (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Common/PassVisitor.proto.h (modified)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/StatementNode.cc (modified)
	* src/SymTab/Indexer.cc (modified)
	* src/SymTab/Indexer.h (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/Statement.cc (modified)
	* src/SynTree/Statement.h (modified)

	WithStmt is now a Declaration


Fri, 12 Jul 2019 20:34:56 GMT Thierry Delisle <tdelisle@…> [6f096d2]
	* src/AST/Expr.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Indexer.cc (modified)
	* src/SymTab/Indexer.h (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Mangler.h (modified)
	* src/SynTree/Visitor.h (modified)

	Resolver now uses constant interface


Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle <tdelisle@…> [7870799]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Common/PassVisitor.proto.h (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Validate.h (modified)
	* src/SynTree/Attribute.h (modified)
	* src/SynTree/BaseSyntaxNode.h (modified)
	* src/SynTree/Constant.h (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Initializer.h (modified)
	* src/SynTree/Statement.h (modified)
	* src/SynTree/Type.h (modified)
	* src/SynTree/Visitor.h (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	Cast cost and conversion cost now take constant parameters.
	This ...


Mon, 24 Jun 2019 18:28:10 GMT Aaron Moss <a3moss@…> [0f6a7752]
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Put in temporary patch to finish new resolver port


Mon, 24 Jun 2019 17:49:59 GMT Aaron Moss <a3moss@…> [08c0780]
	* Jenkinsfile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* driver/cc1.cc (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/typeops.h (modified)
	* tests/sum.cfa (modified)

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


Mon, 24 Jun 2019 17:49:47 GMT Aaron Moss <a3moss@…> [c1398e4]
	* src/AST/TypeSubstitution.hpp (modified)
	* src/SymTab/Validate.cc (modified)

	Port necessary parts of validate to new AST


Mon, 24 Jun 2019 17:37:00 GMT Andrew Beach <ajbeach@…> [fb2bde4]
	* src/AST/Fwd.hpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	ConversionCost has been ported to the new AST.


Mon, 24 Jun 2019 15:24:31 GMT Thierry Delisle <tdelisle@…> [b58affe7]
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)

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


Mon, 24 Jun 2019 15:11:59 GMT Aaron Moss <a3moss@…> [18e683b]
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)

	Port LinkReferenceToTypes pass


Mon, 24 Jun 2019 14:30:47 GMT Thierry Delisle <tdelisle@…> [54dd994]
	* benchmark/Makefile.am (modified)
	* benchmark/Makefile.in (modified)
	* benchmark/bench.h (modified)
	* benchmark/creation/cfa_cor.cfa (modified)
	* benchmark/creation/cfa_thrd.cfa (modified)
	* benchmark/creation/pthreads.c (modified)
	* benchmark/creation/qthreads.c (added)
	* benchmark/creation/upp_cor.cc (modified)
	* benchmark/creation/upp_thrd.cc (modified)
	* benchmark/ctxswitch/cfa_cor.cfa (modified)
	* benchmark/ctxswitch/cfa_cor_then.cfa (modified)
	* benchmark/ctxswitch/cfa_gen.cfa (added)
	* benchmark/ctxswitch/cfa_thrd.cfa (modified)
	* benchmark/ctxswitch/cfa_thrd2.cfa (modified)
	* benchmark/ctxswitch/kos_fibre.cpp (modified)
	* benchmark/ctxswitch/kos_fibre2.cpp (modified)
	* benchmark/ctxswitch/pthreads.c (modified)
	* benchmark/ctxswitch/qthreads.c (added)
	* benchmark/ctxswitch/upp_cor.cc (modified)
	* benchmark/ctxswitch/upp_thrd.cc (modified)
	* benchmark/fetch_add.c (modified)
	* benchmark/function.c (modified)
	* benchmark/loop.c (modified)
	* benchmark/mutex/cfa1.cfa (modified)
	* benchmark/mutex/cfa2.cfa (modified)
	* benchmark/mutex/cfa4.cfa (modified)
	* benchmark/mutex/pthreads.c (modified)
	* benchmark/mutex/upp.cc (modified)
	* benchmark/schedext/cfa1.cfa (modified)
	* benchmark/schedext/cfa2.cfa (modified)
	* benchmark/schedext/cfa4.cfa (modified)
	* benchmark/schedext/upp.cc (modified)
	* benchmark/schedint/cfa1.cfa (modified)
	* benchmark/schedint/cfa2.cfa (modified)
	* benchmark/schedint/cfa4.cfa (modified)
	* benchmark/schedint/pthreads.c (modified)
	* benchmark/schedint/upp.cc (modified)
	* benchmark/tls-fetch_add.c (modified)
	* benchmark/ttst_lock.c (added)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/annex/local.bib (modified)
	* doc/papers/concurrency/examples/Fib.cfa (modified)
	* doc/user/user.tex (modified)
	* libcfa/src/concurrency/coroutine.hfa (modified)
	* libcfa/src/concurrency/invoke.h (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/kernel.hfa (modified)
	* libcfa/src/concurrency/thread.hfa (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/Common/utility.h (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/Alternative.cc (modified)
	* src/ResolvExpr/Alternative.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Cost.h (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/FixFunction.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* tests/concurrent/examples/boundedBufferEXT.cfa (modified)
	* tests/concurrent/examples/boundedBufferINT.cfa (modified)
	* tests/concurrent/examples/boundedBufferTHREAD.cfa (added)
	* tests/concurrent/examples/datingService.cfa (modified)
	* tests/concurrent/examples/gortn.cfa (modified)
	* tests/concurrent/examples/quickSort.cfa (modified)
	* tests/concurrent/examples/quickSort.generic.cfa (modified)
	* tools/stat.py (modified)

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


Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss <a3moss@…> [c1ed2ee]
	* src/AST/Stmt.hpp (modified)
	* src/Common/utility.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/FixFunction.h (modified)
	* src/SymTab/Validate.cc (modified)

	Continued resolver porting

	* mostly initialization and validation ...


Thu, 20 Jun 2019 22:50:42 GMT Aaron Moss <a3moss@…> [b8524ca]
	* src/AST/Expr.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	new AST porting

	* mostly InitTweak autogeneration
	* added some ...


Thu, 20 Jun 2019 18:32:55 GMT Aaron Moss <a3moss@…> [234b1cb]
	* src/AST/Init.hpp (modified)
	* src/Common/utility.h (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/ResolvExpr/Alternative.cc (modified)
	* src/ResolvExpr/Alternative.h (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	Port TupleAssignment to new AST


Thu, 20 Jun 2019 17:45:01 GMT Thierry Delisle <tdelisle@…> [3c6e417]
	* doc/papers/concurrency/Paper.tex (modified)
	* libcfa/src/clock.hfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/RenameVars.h (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/ResolveTypeof.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Mangler.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)
	* src/Tuples/Tuples.cc (modified)
	* src/Tuples/Tuples.h (modified)

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


Wed, 19 Jun 2019 22:05:12 GMT Aaron Moss <a3moss@…> [c0f9efe]
	* src/AST/Convert.cpp (modified)
	* src/AST/Type.hpp (modified)

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


Wed, 19 Jun 2019 22:05:09 GMT Aaron Moss <a3moss@…> [b69233a]
	* src/AST/Expr.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/SymTab/Mangler.h (modified)

	Port assertion satisfaction to new AST


Wed, 19 Jun 2019 20:51:14 GMT Andrew Beach <ajbeach@…> [1ae47de]
	* src/AST/Convert.cpp (modified)
	* src/AST/Type.hpp (modified)

	Convert now handles attributes on types.


Wed, 19 Jun 2019 15:50:30 GMT Aaron Moss <a3moss@…> [c829320]
	* src/AST/Type.hpp (modified)

	Hoist attributes back up to Type in new AST


Tue, 18 Jun 2019 22:05:34 GMT Aaron Moss <a3moss@…> [73edfe9]
	* src/AST/Convert.cpp (modified)

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


Tue, 18 Jun 2019 22:05:30 GMT Aaron Moss <a3moss@…> [898ae07]
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/RenameVars.h (modified)

	More resolver porting


Tue, 18 Jun 2019 18:28:36 GMT Michael Brooks <mlbrooks@…> [a2a85658]
	* src/AST/Convert.cpp (modified)

	Fixed conversion of tuple assignments to reuse the common part ...


Tue, 18 Jun 2019 15:12:55 GMT Thierry Delisle <tdelisle@…> [1e5dedc4]
	* src/AST/Convert.cpp (modified)

	Fixed conversion for waitforstmt


Mon, 17 Jun 2019 23:15:09 GMT Aaron Moss <a3moss@…> [ea05f8d]
	* doc/papers/concurrency/Makefile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/SPEOldPaper.pdf (added)
	* doc/papers/concurrency/examples/RWMonitor.cfa (added)
	* doc/papers/concurrency/figures/CondSigWait.fig (added)
	* doc/papers/concurrency/figures/monitor.fig (modified)
	* doc/papers/concurrency/figures/monitor.old.fig (added)
	* src/AST/Convert.cpp (modified)
	* src/Makefile.in (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/Tuples.cc (added)
	* src/Tuples/Tuples.h (modified)
	* src/Tuples/module.mk (modified)

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


Mon, 17 Jun 2019 23:14:58 GMT Aaron Moss <a3moss@…> [9d5089e]
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	Port CandidateFinder::makeFunctionCandidates() and deps


Mon, 17 Jun 2019 20:45:23 GMT Andrew Beach <ajbeach@…> [e6faef4]
	* src/AST/Convert.cpp (modified)

	One DeclWithType::asmName conversion was missing.


Mon, 17 Jun 2019 19:45:11 GMT Michael Brooks <mlbrooks@…> [6e55240]
	* src/AST/Convert.cpp (modified)

	Fixed tuple expressions crashing on code gen when convert-convert run ...


Mon, 17 Jun 2019 17:09:41 GMT Thierry Delisle <tdelisle@…> [aba20d2]
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/examples/PingPong.c (modified)
	* doc/papers/concurrency/examples/Pingpong.cfa (modified)
	* doc/papers/concurrency/figures/FullCoroutinePhases.fig (moved)
	* doc/papers/concurrency/figures/FullProdConsStack.fig (moved)
	* doc/papers/concurrency/figures/corlayout.fig (moved)
	* doc/papers/concurrency/figures/ext_monitor.fig (modified)
	* doc/papers/concurrency/figures/monitor.fig (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/Parser/ExpressionNode.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/SynTree/Constant.cc (modified)
	* src/SynTree/Constant.h (modified)
	* src/include/optional (added)
	* tests/.in/manipulatorsInput.txt (modified)
	* tests/io2.cfa (modified)
	* tests/manipulatorsInput.cfa (modified)

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


Mon, 17 Jun 2019 17:08:35 GMT Thierry Delisle <tdelisle@…> [8b34df0]
	* src/AST/Convert.cpp (modified)

	Removed incorrect copying in InferredParameters conversion


Mon, 17 Jun 2019 15:01:04 GMT Michael Brooks <mlbrooks@…> [c36298d]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/Parser/ExpressionNode.cc (modified)
	* src/SynTree/Constant.cc (modified)
	* src/SynTree/Constant.h (modified)

	Fixed handling of "literals.cfa" string-detail test cases by ...


Thu, 13 Jun 2019 19:56:24 GMT Michael Brooks <mlbrooks@…> [6896548]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/Parser/ExpressionNode.cc (modified)
	* src/SynTree/Constant.cc (modified)
	* src/SynTree/Constant.h (modified)

	Fixed convert-convert issues with strings, when conversion happens ...


Thu, 13 Jun 2019 18:32:02 GMT Andrew Beach <ajbeach@…> [d76f32c]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/Candidate.hpp (modified)

	ast::UniqueExpr was not having one of its fields initialized.


Wed, 12 Jun 2019 20:06:37 GMT Thierry Delisle <tdelisle@…> [21300d7]
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Print.hpp (modified)
	* src/AST/porting.md (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/AlternativeFinder.h (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/ExplodedActual.cc (modified)
	* src/ResolvExpr/ExplodedActual.h (modified)
	* src/ResolvExpr/ExplodedArg.cpp (added)
	* src/ResolvExpr/ExplodedArg.hpp (added)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (added)
	* src/ResolvExpr/SatisfyAssertions.hpp (added)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/Unify.h (modified)
	* src/ResolvExpr/module.mk (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/Tuples/Tuples.h (modified)
	* tests/.expect/manipulatorsInput.txt (added)
	* tests/.expect/manipulatorsOutput1.txt (added)
	* tests/.expect/manipulatorsOutput2.x64.txt (added)
	* tests/.expect/manipulatorsOutput2.x86.txt (added)
	* tests/.in/manipulatorsInput.txt (added)
	* tests/manipulatorsInput.cfa (added)
	* tests/manipulatorsOutput1.cfa (added)
	* tests/manipulatorsOutput2.cfa (added)
	* tests/sum.cfa (modified)

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


Wed, 12 Jun 2019 20:06:32 GMT Thierry Delisle <tdelisle@…> [aaeacf4]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/SynTree/ApplicationExpr.cc (modified)
	* src/SynTree/Declaration.cc (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)

	Removed global look-up table from UniqueId to Decl


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


Mon, 10 Jun 2019 18:42:31 GMT Michael Brooks <mlbrooks@…> [558d13b]
	* src/AST/Convert.cpp (modified)

	fix conversion bug in constants; string constants were being mistaken ...


Mon, 10 Jun 2019 17:48:33 GMT Aaron Moss <a3moss@…> [f9a7cf0]
	* doc/LaTeXmacros/common.tex (modified)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/concurrency/FullCoroutinePhases.fig (added)
	* doc/papers/concurrency/FullProdConsStack.fig (added)
	* doc/papers/concurrency/Makefile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/corlayout.fig (added)
	* doc/papers/concurrency/examples/Fib.c (modified)
	* doc/papers/concurrency/examples/Fib.cfa (modified)
	* doc/papers/concurrency/examples/Fib1.c (added)
	* doc/papers/concurrency/examples/Fib2.c (added)
	* doc/papers/concurrency/examples/Fib2.cfa (modified)
	* doc/papers/concurrency/examples/Fib3.c (added)
	* doc/papers/concurrency/examples/Fib3.cc (added)
	* doc/papers/concurrency/examples/Format.c (added)
	* doc/papers/concurrency/examples/Format.data (added)
	* doc/papers/concurrency/examples/Format.sim (added)
	* doc/papers/concurrency/examples/Format1.c (added)
	* doc/papers/concurrency/examples/PingPong.c (added)
	* doc/papers/concurrency/examples/PingPong.cc (added)
	* doc/papers/concurrency/examples/Pingpong2.cfa (added)
	* libcfa/prelude/prototypes.awk (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/Parser/parser.yy (modified)
	* src/main.cc (modified)
	* tests/io2.cfa (modified)

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


Mon, 10 Jun 2019 17:48:19 GMT Aaron Moss <a3moss@…> [2d11663]
	* src/AST/Node.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	resolver porting; finish top level of initialization


Mon, 10 Jun 2019 16:21:35 GMT Thierry Delisle <tdelisle@…> [6e3e0717]
	* src/AST/Convert.cpp (modified)

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


Mon, 10 Jun 2019 16:21:28 GMT Thierry Delisle <tdelisle@…> [6355ba7]
	* src/AST/Convert.cpp (modified)

	Removed debugging prints which are no longer useful


Mon, 10 Jun 2019 16:08:15 GMT Andrew Beach <ajbeach@…> [a62749f]
	* src/AST/Convert.cpp (modified)

	Better support for loose labels.


Mon, 10 Jun 2019 14:52:03 GMT Thierry Delisle <tdelisle@…> [e7f8119]
	* doc/LaTeXmacros/common.tex (modified)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/concurrency/FullCoroutinePhases.fig (added)
	* doc/papers/concurrency/FullProdConsStack.fig (added)
	* doc/papers/concurrency/Makefile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/corlayout.fig (added)
	* doc/papers/concurrency/examples/Fib.c (modified)
	* doc/papers/concurrency/examples/Fib.cfa (modified)
	* doc/papers/concurrency/examples/Fib1.c (added)
	* doc/papers/concurrency/examples/Fib2.c (added)
	* doc/papers/concurrency/examples/Fib2.cfa (modified)
	* doc/papers/concurrency/examples/Fib3.c (added)
	* doc/papers/concurrency/examples/Fib3.cc (added)
	* doc/papers/concurrency/examples/Format.c (added)
	* doc/papers/concurrency/examples/Format.data (added)
	* doc/papers/concurrency/examples/Format.sim (added)
	* doc/papers/concurrency/examples/Format1.c (added)
	* doc/papers/concurrency/examples/PingPong.c (added)
	* doc/papers/concurrency/examples/PingPong.cc (added)
	* doc/papers/concurrency/examples/Pingpong2.cfa (added)
	* libcfa/prelude/prototypes.awk (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/GenericSubstitution.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/main.cc (modified)
	* tests/io2.cfa (modified)

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


Fri, 07 Jun 2019 20:15:03 GMT Aaron Moss <a3moss@…> [05d55ff]
	* src/AST/AssertAcyclic.cpp (modified)
	* src/AST/AssertAcyclic.hpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/CodeGen/CodeGenerator.cc (modified)
	* src/Common/Indenter.h (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/InitTweak/FixInit.cc (modified)
	* tests/.expect/KRfunctions.x64.txt (modified)
	* tests/.expect/attributes.x64.txt (modified)
	* tests/.expect/declarationSpecifier.x64.txt (modified)
	* tests/.expect/extension.x64.txt (modified)
	* tests/.expect/functions.x64.txt (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)

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


Fri, 07 Jun 2019 20:14:48 GMT Aaron Moss <a3moss@…> [60aaa51d]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/GenericSubstitution.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	More resolver porting; mostly CurrentObject


Fri, 07 Jun 2019 19:30:16 GMT Thierry Delisle <tdelisle@…> [9856ca9]
	* src/AST/AssertAcyclic.cpp (modified)
	* src/AST/AssertAcyclic.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/CodeGen/CodeGenerator.cc (modified)
	* src/Common/Indenter.h (modified)
	* src/InitTweak/FixInit.cc (modified)
	* tests/.expect/KRfunctions.x64.txt (modified)
	* tests/.expect/attributes.x64.txt (modified)
	* tests/.expect/declarationSpecifier.x64.txt (modified)
	* tests/.expect/extension.x64.txt (modified)
	* tests/.expect/functions.x64.txt (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)

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


Fri, 07 Jun 2019 19:30:10 GMT Thierry Delisle <tdelisle@…> [e16e27e1]
	* src/AST/Pass.hpp (modified)

	Fix to WithGuards accessory which didn't work


Fri, 07 Jun 2019 19:14:07 GMT Andrew Beach <ajbeach@…> [be8518f]
	* src/AST/AssertAcyclic.cpp (modified)
	* src/AST/AssertAcyclic.hpp (modified)
	* src/AST/Pass.hpp (modified)

	Fixed up AssertAcyclic.


Fri, 07 Jun 2019 16:00:17 GMT Thierry Delisle <tdelisle@…> [9151fcb]
	* src/AST/AssertAcyclic.cpp (added)
	* src/AST/AssertAcyclic.hpp (added)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)

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


Fri, 07 Jun 2019 16:00:12 GMT Thierry Delisle <tdelisle@…> [0b73f0c]
	* src/AST/Convert.cpp (modified)
	* src/GenPoly/Lvalue.cc (modified)

	More progress on the conversion pass


Thu, 06 Jun 2019 21:46:14 GMT Aaron Moss <a3moss@…> [5684736]
	* src/AST/AssertAcyclic.cpp (added)
	* src/AST/AssertAcyclic.hpp (added)
	* src/AST/module.mk (modified)
	* src/Makefile.in (modified)

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


Thu, 06 Jun 2019 21:46:10 GMT Aaron Moss <a3moss@…> [2b59f55]
	* src/AST/Pass.hpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	More resolver porting


Thu, 06 Jun 2019 21:07:12 GMT Andrew Beach <ajbeach@…> [7cc0344]
	* src/AST/AssertAcyclic.cpp (added)
	* src/AST/AssertAcyclic.hpp (added)
	* src/AST/module.mk (modified)
	* src/Makefile.in (modified)

	Added a checker that should help debug cycles in new AST.


Thu, 06 Jun 2019 19:40:56 GMT Aaron Moss <a3moss@…> [8c0d801]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/SynTree/DeclReplacer.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* tests/.expect/KRfunctions.x64.txt (modified)
	* tests/.expect/attributes.x64.txt (modified)
	* tests/.expect/castError.txt (modified)
	* tests/.expect/completeTypeError.txt (modified)
	* tests/.expect/declarationSpecifier.x64.txt (modified)
	* tests/.expect/extension.x64.txt (modified)
	* tests/.expect/functions.x64.txt (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)

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


Thu, 06 Jun 2019 19:40:48 GMT Aaron Moss <a3moss@…> [b7d92b96]
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/CurrentObject.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	More resolver porting


Thu, 06 Jun 2019 19:01:46 GMT Thierry Delisle <tdelisle@…> [546e712]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/SynTree/DeclReplacer.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)

	Fix for 1 bug of N


Thu, 06 Jun 2019 14:55:00 GMT Andrew Beach <ajbeach@…> [2a54479]
	* src/AST/Convert.cpp (modified)

	Convert persevers Validate::SizeType. Removed the inCache checks I'm ...


Wed, 05 Jun 2019 22:07:41 GMT Aaron Moss <a3moss@…> [3cd5fdd]
	* src/AST/Chain.hpp (added)
	* src/AST/Convert.cpp (modified)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SynTree/BaseSyntaxNode.h (modified)
	* src/SynTree/DeclReplacer.cc (modified)
	* src/SynTree/DeclReplacer.h (modified)
	* src/main.cc (modified)

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


Wed, 05 Jun 2019 21:58:38 GMT Aaron Moss <a3moss@…> [99d4584]
	* src/AST/Print.hpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Common/Indenter.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.cpp (added)
	* src/ResolvExpr/Candidate.hpp (added)
	* src/ResolvExpr/CandidateFinder.cpp (added)
	* src/ResolvExpr/CandidateFinder.hpp (added)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/module.mk (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SynTree/BaseSyntaxNode.h (modified)

	Further stubs for resolver port

	* also switched order of ...


Wed, 05 Jun 2019 20:57:48 GMT Michael Brooks <mlbrooks@…> [8568319]
	* src/AST/Convert.cpp (modified)

	fixed string constants getting extra quotes on roundtrip conversion


Wed, 05 Jun 2019 20:28:28 GMT Thierry Delisle <tdelisle@…> [4864a73]
	* src/AST/Chain.hpp (added)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Added chain mutation and example use in resolver


Wed, 05 Jun 2019 17:47:55 GMT Aaron Moss <a3moss@…> [2a8f0c1]
	* src/AST/Decl.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Add first ported resolver function


Wed, 05 Jun 2019 15:24:10 GMT Aaron Moss <a3moss@…> [0e42794]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Rewrite WithSymbolTable pass accessory to use ast::SymbolTable


Wed, 05 Jun 2019 14:38:10 GMT Andrew Beach <ajbeach@…> [93744b5]
	* src/AST/Bitfield.hpp (modified)

	The bitfield template makes sure it is working on an unsigned val, ...


Tue, 04 Jun 2019 21:53:39 GMT Aaron Moss <a3moss@…> [1346914]
	* src/AST/Node.hpp (modified)
	* src/SymTab/Mangler.cc (modified)

	Fix Mangler port to new AST


Tue, 04 Jun 2019 20:45:04 GMT Aaron Moss <a3moss@…> [ee574a2]
	* src/AST/Expr.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/Unify.h (modified)
	* src/ResolvExpr/WidenMode.h (modified)
	* src/ResolvExpr/typeops.h (modified)

	Port CommonType to new AST


Mon, 03 Jun 2019 21:36:47 GMT Aaron Moss <a3moss@…> [4ae2364]
	* src/AST/Convert.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/Validate/FindSpecialDecls.cc (modified)
	* src/include/cassert (modified)

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


Mon, 03 Jun 2019 21:36:43 GMT Aaron Moss <a3moss@…> [f474e91]
	* src/AST/Decl.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/FindOpenVars.cc (modified)
	* src/ResolvExpr/FindOpenVars.h (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 (modified)
	* src/ResolvExpr/typeops.h (modified)

	Port unification calculations to new AST


Mon, 03 Jun 2019 17:29:56 GMT Andrew Beach <ajbeach@…> [dafe9e1]
	* src/AST/Node.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/include/cassert (modified)

	Fixed broken destructor cycles. Cleaned up strict_dynamic_cast.


Mon, 03 Jun 2019 14:54:01 GMT Thierry Delisle <tdelisle@…> [a935892]
	* driver/cc1.cc (modified)
	* 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)

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


Thu, 30 May 2019 20:15:08 GMT Aaron Moss <a3moss@…> [8d70648]
	* driver/cc1.cc (modified)
	* libcfa/prelude/Makefile.am (modified)
	* libcfa/prelude/Makefile.in (modified)
	* libcfa/prelude/builtins.c (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/ControlStruct/ExceptTranslate.cc (modified)
	* src/GenPoly/Box.cc (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/GenPoly/ScopedSet.h (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/Makefile.am (modified)
	* src/Makefile.in (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SynTree/DeclReplacer.cc (modified)
	* src/SynTree/DeclReplacer.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/Validate/FindSpecialDecls.cc (added)
	* src/Validate/FindSpecialDecls.h (added)
	* src/Validate/module.mk (modified)
	* src/Virtual/ExpandCasts.cc (modified)
	* tests/.expect/KRfunctions.x64.txt (modified)
	* tests/.expect/KRfunctions.x86.txt (modified)
	* tests/.expect/attributes.x64.txt (modified)
	* tests/.expect/attributes.x86.txt (modified)
	* tests/.expect/completeTypeError.txt (modified)
	* tests/.expect/declarationSpecifier.x64.txt (modified)
	* tests/.expect/declarationSpecifier.x86.txt (modified)
	* tests/.expect/extension.x64.txt (modified)
	* tests/.expect/extension.x86.txt (modified)
	* tests/.expect/functions.x64.txt (modified)
	* tests/.expect/functions.x86.txt (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)
	* tests/.expect/gccExtensions.x86.txt (modified)
	* tests/coroutine/.expect/raii.txt (added)
	* tests/coroutine/raii.cfa (added)
	* tests/pybin/test_run.py (modified)
	* tests/raii/.expect/memberCtors-ERR1.txt (modified)
	* tests/raii/.expect/memberCtors.txt (modified)
	* tests/raii/memberCtors.cfa (modified)

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


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


Thu, 30 May 2019 13:48:47 GMT Thierry Delisle <tdelisle@…> [043a5b6]
	* src/AST/Convert.cpp (modified)
	* src/Validate/FindSpecialDecls.cc (modified)

	Extended dereference operator hack to destroy clause


Wed, 29 May 2019 21:08:05 GMT Andrew Beach <ajbeach@…> [d88f8b3b]
	* driver/cc1.cc (modified)
	* src/AST/Convert.cpp (modified)

	Another fix to break cycles in the converter.


Wed, 29 May 2019 20:15:22 GMT Thierry Delisle <tdelisle@…> [0aedb01]
	* src/AST/Convert.cpp (modified)

	Fix error introduced in merge


Wed, 29 May 2019 19:45:00 GMT Thierry Delisle <tdelisle@…> [f57dd25]
	* libcfa/prelude/Makefile.am (modified)
	* libcfa/prelude/Makefile.in (modified)
	* libcfa/prelude/builtins.c (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/ControlStruct/ExceptTranslate.cc (modified)
	* src/GenPoly/Box.cc (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/GenPoly/ScopedSet.h (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/Makefile.am (modified)
	* src/Makefile.in (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SynTree/DeclReplacer.cc (modified)
	* src/SynTree/DeclReplacer.h (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/Validate/FindSpecialDecls.cc (added)
	* src/Validate/FindSpecialDecls.h (added)
	* src/Validate/module.mk (modified)
	* src/Virtual/ExpandCasts.cc (modified)
	* tests/.expect/KRfunctions.x64.txt (modified)
	* tests/.expect/KRfunctions.x86.txt (modified)
	* tests/.expect/attributes.x64.txt (modified)
	* tests/.expect/attributes.x86.txt (modified)
	* tests/.expect/completeTypeError.txt (modified)
	* tests/.expect/declarationSpecifier.x64.txt (modified)
	* tests/.expect/declarationSpecifier.x86.txt (modified)
	* tests/.expect/extension.x64.txt (modified)
	* tests/.expect/extension.x86.txt (modified)
	* tests/.expect/functions.x64.txt (modified)
	* tests/.expect/functions.x86.txt (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)
	* tests/.expect/gccExtensions.x86.txt (modified)
	* tests/coroutine/.expect/raii.txt (added)
	* tests/coroutine/raii.cfa (added)
	* tests/pybin/test_run.py (modified)
	* tests/raii/.expect/memberCtors-ERR1.txt (modified)
	* tests/raii/.expect/memberCtors.txt (modified)
	* tests/raii/memberCtors.cfa (modified)

	Merge branch 'cleanup-dtors'


Wed, 29 May 2019 15:22:31 GMT Andrew Beach <ajbeach@…> [157a816]
	* src/AST/Convert.cpp (modified)

	Convert supports SymTab::dereferenceOperator and some sue ...


Wed, 29 May 2019 14:22:31 GMT Thierry Delisle <tdelisle@…> [ebc0a85]
	* src/AST/Convert.cpp (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)

	Merge branch 'master' into cleanup-dtors


Tue, 28 May 2019 16:04:43 GMT Andrew Beach <ajbeach@…> [2c04369]
	* src/AST/Convert.cpp (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/SymTab/Validate.cc (modified)

	Fixed some problems in convert. One of which was better solved by ...


Mon, 27 May 2019 18:38:13 GMT Thierry Delisle <tdelisle@…> [1259c35]
	* src/AST/Convert.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Print.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/porting.md (modified)

	Merge branch 'master' into cleanup-dtors


Mon, 27 May 2019 15:09:49 GMT Andrew Beach <ajbeach@…> [a7d50b6]
	* src/AST/Print.cpp (modified)
	* src/AST/Stmt.hpp (modified)

	Removed trailing whitespace.


Mon, 27 May 2019 15:08:54 GMT Thierry Delisle <tdelisle@…> [d908563]
	* doc/proposals/vtable.md (modified)
	* libcfa/src/iostream.cfa (modified)
	* src/AST/Attribute.cpp (modified)
	* src/AST/Attribute.hpp (modified)
	* src/AST/Bitfield.hpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/DeclReplacer.cpp (modified)
	* src/AST/DeclReplacer.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/GenericSubstitution.cpp (added)
	* src/AST/GenericSubstitution.hpp (added)
	* src/AST/Label.hpp (modified)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.cpp (added)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (added)
	* src/AST/Print.hpp (added)
	* src/AST/Stmt.cpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/AST/module.mk (modified)
	* src/AST/porting.md (modified)
	* src/Common/Eval.cc (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Common/utility.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/Makefile.am (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/TupleExpr.cc (modified)
	* src/Tuples/TupleExpansion.cc (modified)
	* src/include/cassert (modified)
	* src/main.cc (modified)

	Merge branch 'master' into cleanup-dtors


Fri, 24 May 2019 21:26:44 GMT Aaron Moss <a3moss@…> [6f4b7f2]
	* src/AST/Convert.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Print.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/porting.md (modified)

	Finish Stmt printers, implement short_mode for Decls


Thu, 23 May 2019 22:24:18 GMT Aaron Moss <a3moss@…> [21a44ca]
	* src/AST/Convert.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/include/cassert (modified)

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


Thu, 23 May 2019 22:24:16 GMT Aaron Moss <a3moss@…> [94b1f718]
	* src/AST/Label.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Stmt.hpp (modified)

	Add some Stmt printers


Thu, 23 May 2019 21:34:16 GMT Aaron Moss <a3moss@…> [a16e246]
	* src/AST/Print.cpp (modified)

	Finish Expr printers


Thu, 23 May 2019 21:06:37 GMT Andrew Beach <ajbeach@…> [f1ec88a]
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/Common/Eval.cc (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)

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


Thu, 23 May 2019 21:06:30 GMT Andrew Beach <ajbeach@…> [f685679]
	* src/AST/Convert.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/include/cassert (modified)

	Translation can go both ways without crashing. Don't seem to be the ...


Thu, 23 May 2019 20:22:58 GMT Aaron Moss <a3moss@…> [af1e8f56]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/Common/Eval.cc (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)

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


Thu, 23 May 2019 20:22:55 GMT Aaron Moss <a3moss@…> [20a5977]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Print.cpp (modified)

	Added kind to ConstantExpr and some Expr prints


Thu, 23 May 2019 16:07:28 GMT Thierry Delisle <tdelisle@…> [effe5b0]
	* src/AST/Print.cpp (modified)
	* src/AST/Type.hpp (modified)

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


Thu, 23 May 2019 15:35:04 GMT Aaron Moss <a3moss@…> [68c9165]
	* src/AST/Attribute.cpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/Tuples/TupleExpansion.cc (modified)

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


Thu, 23 May 2019 15:30:40 GMT Thierry Delisle <tdelisle@…> [9d6e7fa9]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/InitTweak/InitTweak.h (modified)

	Fixed missing or incorrect stubs in decl/InitTweak


Thu, 23 May 2019 15:29:46 GMT Thierry Delisle <tdelisle@…> [e4b6cf78]
	* src/AST/Pass.proto.hpp (modified)

	New Pass visitor now supports void postvisits by returning the ...


Thu, 23 May 2019 15:27:57 GMT Aaron Moss <a3moss@…> [b0ec971]
	* src/AST/Print.cpp (modified)
	* src/AST/Type.hpp (modified)

	Added ast::Type printers


Thu, 23 May 2019 14:51:06 GMT Thierry Delisle <tdelisle@…> [335f2d8]
	* src/AST/Expr.cpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Print.cpp (modified)

	Fixed some warnings and implemented memberExpr ctor and
	extractResultType


Thu, 23 May 2019 14:42:20 GMT Thierry Delisle <tdelisle@…> [a2e758e]
	* src/AST/Attribute.cpp (modified)
	* src/AST/Attribute.hpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/AST/porting.md (modified)

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


Thu, 23 May 2019 14:39:17 GMT Thierry Delisle <tdelisle@…> [0b8bf27]
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Makefile.in (modified)

	Fixed pass visitor so previsit can return void to signify it will ...


Thu, 23 May 2019 14:17:12 GMT Andrew Beach <ajbeach@…> [0b57626]
	* src/AST/Attribute.cpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)

	Silenced a warning and removed trailing whitespace.


Wed, 22 May 2019 21:58:56 GMT Aaron Moss <a3moss@…> [c957e7f]
	* src/AST/Print.cpp (modified)

	Added initializer printers


Wed, 22 May 2019 21:47:36 GMT Aaron Moss <a3moss@…> [489bacf]
	* src/AST/Attribute.hpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/porting.md (modified)

	Changed Attribute field to params

	Done for consistency with other ...