# # ChangeLog for src # # Generated by Trac 1.2.1 # Apr 19, 2024, 12:04:12 AM Fri, 12 Jul 2019 20:34:56 GMT Thierry Delisle [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 17:51:32 GMT Thierry Delisle [8fd52e90] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) Removed uses of lookupMutableXXX Fri, 12 Jul 2019 17:35:58 GMT Thierry Delisle [ef5b828] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) Indexer now has const lookup by default Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle [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 ... Wed, 10 Jul 2019 22:01:02 GMT Peter A. Buhr [1d760934] * src/ResolvExpr/ResolveAssertions.cc (modified) remove std::move( resKey ) as moving a local object in a return ... Wed, 10 Jul 2019 21:59:07 GMT Peter A. Buhr [39156ed] * src/Parser/LinkageSpec.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) add assignment declarations using "default" implementation required ... Mon, 24 Jun 2019 20:11:41 GMT Thierry Delisle [3e2f5e3] * doc/papers/concurrency/Paper.tex (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 19:42:38 GMT Aaron Moss [1335e6f] * doc/papers/concurrency/Paper.tex (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 19:42:36 GMT Aaron Moss [3c89751] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) Port castCost, ptrsCastable Mon, 24 Jun 2019 19:36:31 GMT Andrew Beach [df9317bd] * src/ResolvExpr/PtrsAssignable.cc (modified) Filled in the definition of PtrsAssignable. Mon, 24 Jun 2019 18:28:10 GMT Aaron Moss [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 18:27:29 GMT Thierry Delisle [da7454c] * benchmark/creation/cfa_cor.cfa (modified) * doc/papers/concurrency/Paper.tex (modified) * src/AST/Fwd.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 17:49:59 GMT Aaron Moss [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 [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 [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 16:19:38 GMT Thierry Delisle [0e464f6] * src/main.cc (modified) cfa-cpp help message now puts all dump commands together and in order. Mon, 24 Jun 2019 15:24:31 GMT Thierry Delisle [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: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 Mon, 24 Jun 2019 14:30:47 GMT Thierry Delisle [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 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 Thu, 20 Jun 2019 17:45:01 GMT Thierry Delisle [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 [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 15:12:55 GMT Thierry Delisle [1e5dedc4] * src/AST/Convert.cpp (modified) Fixed conversion for waitforstmt 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]