# # ChangeLog for src # # Generated by Trac 1.2.1 # Apr 19, 2024, 8:23:27 PM Mon, 24 Jun 2019 17:49:47 GMT Aaron Moss [c1398e4] * src/AST/TypeSubstitution.hpp (modified) * src/SymTab/Validate.cc (modified) Port necessary parts of validate to new AST Mon, 24 Jun 2019 15:12:01 GMT Aaron Moss [c1ea11b] * 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/ResolvExpr/Cost.h (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) * tools/stat.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 15:11:59 GMT Aaron Moss [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 Sun, 23 Jun 2019 20:03:12 GMT Peter A. Buhr [f2f22e3] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 23 Jun 2019 19:56:37 GMT Peter A. Buhr [9504a89] * src/ResolvExpr/Cost.h (modified) remove old code for costing Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss [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:52:03 GMT Aaron Moss [9af00d23] * src/ResolvExpr/RenameVars.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 20 Jun 2019 22:50:42 GMT Aaron Moss [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 21:40:21 GMT Andrew Beach [f5edcb4] * src/ResolvExpr/RenameVars.cc (modified) RenameVars needed a rather significant rework for the new AST. Thu, 20 Jun 2019 18:32:55 GMT Aaron Moss [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 Wed, 19 Jun 2019 22:05:12 GMT Aaron Moss [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 [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 [1ae47de] * src/AST/Convert.cpp (modified) * src/AST/Type.hpp (modified) Convert now handles attributes on types. Wed, 19 Jun 2019 18:15:08 GMT Aaron Moss [17a0ede2] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) Further resolver porting; finish initial draft of expression handling Wed, 19 Jun 2019 15:50:35 GMT Aaron Moss [3fc0f2a] * doc/papers/concurrency/Paper.tex (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jun 2019 15:50:30 GMT Aaron Moss [c829320] * src/AST/Type.hpp (modified) Hoist attributes back up to Type in new AST Wed, 19 Jun 2019 14:47:34 GMT Andrew Beach [5aa4656] * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) Filled in SpecCost and PolyCost for the new ast. Tue, 18 Jun 2019 22:05:34 GMT Aaron Moss [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 [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 21:51:23 GMT Aaron Moss [b408364] * src/ResolvExpr/ResolveAssertions.cc (modified) Correct over-aggressive assertion pruning Tue, 18 Jun 2019 18:28:36 GMT Michael Brooks [a2a85658] * src/AST/Convert.cpp (modified) Fixed conversion of tuple assignments to reuse the common part ... Tue, 18 Jun 2019 15:47:44 GMT Aaron Moss [c8e4d2f8] * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) Start porting CastExpr resolution Tue, 18 Jun 2019 13:44:23 GMT Andrew Beach [bc92bee] * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) Implemented Tuples::maybeImpure while it was fresh in my mind. Mon, 17 Jun 2019 23:15:09 GMT Aaron Moss [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 [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 [e6faef4] * src/AST/Convert.cpp (modified) One DeclWithType::asmName conversion was missing. Mon, 17 Jun 2019 19:55:21 GMT Andrew Beach [b910d15] * 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) Implemented new versions of Tuples/Explode. Mon, 17 Jun 2019 19:45:11 GMT Michael Brooks [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 [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 [8b34df0] * src/AST/Convert.cpp (modified) Removed incorrect copying in InferredParameters conversion Mon, 17 Jun 2019 15:26:14 GMT Thierry Delisle [120a28c3] * configure (modified) * configure.ac (modified) * src/Common/Stats/Heap.cc (modified) Added support for address-sanitizer which requires disabling Heap ... Mon, 17 Jun 2019 15:08:11 GMT Michael Brooks [b4d34fa] * src/include/optional (added) add previously ignored file---goes with Fixed handling of literals.cfa Mon, 17 Jun 2019 15:01:04 GMT Michael Brooks [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 ... Fri, 14 Jun 2019 15:56:12 GMT Thierry Delisle [462a7c7] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) Removed non-moving assignment on ParamEntry to help debugging Thu, 13 Jun 2019 19:56:24 GMT Michael Brooks [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 [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 [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 [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 [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, 11 Jun 2019 19:42:10 GMT Aaron Moss [4b7cce6] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) Fill in CandidateFinder boilerplate in resolver port Tue, 11 Jun 2019 17:36:00 GMT Aaron Moss [d57e349] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/typeops.h (modified) More resolver porting Mon, 10 Jun 2019 22:02:36 GMT Aaron Moss [396037d] * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (added) * src/ResolvExpr/SatisfyAssertions.hpp (added) * src/ResolvExpr/module.mk (modified) Start stubbing CandidateFinder in Mon, 10 Jun 2019 21:20:11 GMT Aaron Moss [5485e10] * src/AST/Convert.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 10 Jun 2019 21:20:07 GMT Aaron Moss [2773ab8] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) Add new resolver overload for WaitForStmt Mon, 10 Jun 2019 18:42:31 GMT Michael Brooks [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 [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 [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 [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 [6355ba7] * src/AST/Convert.cpp (modified) Removed debugging prints which are no longer useful Mon, 10 Jun 2019 16:08:15 GMT Andrew Beach [a62749f] * src/AST/Convert.cpp (modified) Better support for loose labels. Mon, 10 Jun 2019 14:52:03 GMT Thierry Delisle [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 Sat, 08 Jun 2019 03:21:07 GMT Peter A. Buhr [46438e4] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (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/Pass.hpp (modified) * src/AST/porting.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.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:15:03 GMT Aaron Moss [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 [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 [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 [e16e27e1] * src/AST/Pass.hpp (modified) Fix to WithGuards accessory which didn't work Fri, 07 Jun 2019 19:14:07 GMT Andrew Beach [be8518f] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (modified) * src/AST/Pass.hpp (modified) Fixed up AssertAcyclic. Fri, 07 Jun 2019 18:54:41 GMT Thierry Delisle [ef75948] * src/AST/Convert.cpp (modified) * src/GenPoly/Lvalue.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 18:54:34 GMT Thierry Delisle [4e5e6cc] * 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) Fixed indentation and remove too strict abort Fri, 07 Jun 2019 16:00:17 GMT Thierry Delisle [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 [0b73f0c] * src/AST/Convert.cpp (modified) * src/GenPoly/Lvalue.cc (modified) More progress on the conversion pass Fri, 07 Jun 2019 02:23:59 GMT Peter A. Buhr [866545b] * src/AST/AssertAcyclic.cpp (added) * src/AST/AssertAcyclic.hpp (added) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/module.mk (modified) * src/InitTweak/FixInit.cc (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) * 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 21:46:14 GMT Aaron Moss [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 [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 [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:54:11 GMT Aaron Moss [1a4323e] * src/InitTweak/FixInit.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 06 Jun 2019 19:53:59 GMT Thierry Delisle [f46bfd2f] * src/InitTweak/FixInit.cc (modified) Removed extraneous prints Thu, 06 Jun 2019 19:40:56 GMT Aaron Moss [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 [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:39:10 GMT Aaron Moss [d3b2c32a] * src/ResolvExpr/ResolveAssertions.cc (modified) Add limit to number of recursive assertions tried at once Thu, 06 Jun 2019 19:01:46 GMT Thierry Delisle [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 [2a54479] * src/AST/Convert.cpp (modified) Convert persevers Validate::SizeType. Removed the inCache checks I'm ... Thu, 06 Jun 2019 00:36:48 GMT Peter A. Buhr [c6a1e8a] * src/AST/Bitfield.hpp (modified) * src/AST/Chain.hpp (added) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * 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/Print.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/Common/Indenter.h (modified) * src/InitTweak/FixInit.cc (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) * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/main.cc (modified) fix conflicit Wed, 05 Jun 2019 22:07:41 GMT Aaron Moss [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 [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 [8568319] * src/AST/Convert.cpp (modified) fixed string constants getting extra quotes on roundtrip conversion Wed, 05 Jun 2019 20:29:07 GMT Thierry Delisle [54d4c0e] * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 20:28:53 GMT Thierry Delisle [0ce063b] * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) DeclReplacer now returns number of node changed Wed, 05 Jun 2019 20:28:28 GMT Thierry Delisle [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 19:01:15 GMT Peter A. Buhr [7c608d5] * src/AST/Decl.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 19:00:58 GMT Peter A. Buhr [300fbee] * src/main.cc (modified) remove incorrect -n option {fixes #131] Wed, 05 Jun 2019 17:47:55 GMT Aaron Moss [2a8f0c1] * src/AST/Decl.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Add first ported resolver function Wed, 05 Jun 2019 15:24:29 GMT Thierry Delisle [d4b6638] * src/AST/Bitfield.hpp (modified) * src/AST/Expr.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/SymbolTable.hpp (modified) * src/AST/Type.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/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 15:24:16 GMT Thierry Delisle [4741dfe] * src/InitTweak/FixInit.cc (modified) Better error printing on yesterday's fix Wed, 05 Jun 2019 15:24:10 GMT Aaron Moss [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 [93744b5] * src/AST/Bitfield.hpp (modified) The bitfield template makes sure it is working on an unsigned val, ... Tue, 04 Jun 2019 22:39:23 GMT Peter A. Buhr [67130fe] * 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/TypeSubstitution.cpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.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) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FindSpecialDecls.cc (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 22:35:42 GMT Peter A. Buhr [9be45a2] * src/main.cc (modified) formatting Tue, 04 Jun 2019 21:53:39 GMT Aaron Moss [1346914] * src/AST/Node.hpp (modified) * src/SymTab/Mangler.cc (modified) Fix Mangler port to new AST Tue, 04 Jun 2019 21:53:24 GMT Aaron Moss [9519aba] * src/ResolvExpr/FindOpenVars.cc (modified) Port FindOpenVars to new AST Tue, 04 Jun 2019 20:49:30 GMT Michael Brooks [9a19608] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 20:48:59 GMT Michael Brooks [1867c96] * src/SymTab/Mangler.cc (modified) name mangler AST conversion implemented Tue, 04 Jun 2019 20:45:07 GMT Aaron Moss [de8dfac2] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 20:45:04 GMT Aaron Moss [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 Tue, 04 Jun 2019 19:44:21 GMT Thierry Delisle [bc4bea8] * src/InitTweak/FixInit.cc (modified) Fixed typo Tue, 04 Jun 2019 18:03:25 GMT Thierry Delisle [98a8290] * src/AST/Decl.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (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) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 18:03:12 GMT Thierry Delisle [0e315a5] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Tentative fix for the build Mon, 03 Jun 2019 21:36:47 GMT Aaron Moss [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 [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 [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.