# # ChangeLog for / # # Generated by Trac 1.2.1 # May 3, 2024, 3:27:14 AM Mon, 24 Jun 2019 18:24:57 GMT Thierry Delisle [67d2b97] * Jenkinsfile (modified) * doc/papers/concurrency/Paper.tex (modified) * driver/cc1.cc (modified) * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * tests/sum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 18:24:18 GMT Thierry Delisle [70a141d4] * benchmark/creation/cfa_cor.cfa (modified) Fixed benchmark for eager coroutine creation 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 17:26:04 GMT Peter A. Buhr [3253c32] * Jenkinsfile (modified) * driver/cc1.cc (modified) * src/AST/Convert.cpp (modified) * 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) * tests/sum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 17:25:54 GMT Peter A. Buhr [397edf7] * doc/papers/concurrency/Paper.tex (modified) small concucrency paper changes 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:24:23 GMT Thierry Delisle [4d978d5] * tests/sum.cfa (modified) temporarily moved sum.cfa to use printf 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:35:35 GMT Thierry Delisle [6dc19544] * driver/cc1.cc (modified) Fixed debugging in cc1 to eliminate nullptr execption Mon, 24 Jun 2019 14:33:51 GMT Thierry Delisle [84917e2] * Jenkinsfile (modified) Increased timeout for tests to avoid timeouts on Cobol 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 Mon, 24 Jun 2019 03:46:19 GMT Peter A. Buhr [9e0a360] * doc/user/user.tex (modified) rewrite iostream section, add more manipulator, formatting Mon, 24 Jun 2019 03:43:59 GMT Peter A. Buhr [e764ee1] * benchmark/Makefile.in (modified) matching Makefile.in with Makefile.am Mon, 24 Jun 2019 03:42:59 GMT Peter A. Buhr [b60ed54] * doc/papers/concurrency/examples/Fib.cfa (modified) fix error and formatting Mon, 24 Jun 2019 03:41:59 GMT Peter A. Buhr [8f079f0] * 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) Thierry changes to draft 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 20:02:42 GMT Peter A. Buhr [fe065c3] * benchmark/creation/qthreads.c (added) * benchmark/ctxswitch/cfa_gen.cfa (added) * benchmark/ctxswitch/qthreads.c (added) * benchmark/ttst_lock.c (added) new CFA generator and qthreads tests Sun, 23 Jun 2019 19:59:46 GMT Peter A. Buhr [d7f24b2] * tools/stat.py (modified) use floating point for all calculations Sun, 23 Jun 2019 19:58:31 GMT Peter A. Buhr [aca144e] * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) formatting Sun, 23 Jun 2019 19:56:37 GMT Peter A. Buhr [9504a89] * src/ResolvExpr/Cost.h (modified) remove old code for costing Sun, 23 Jun 2019 19:55:32 GMT Peter A. Buhr [d4e68a6] * 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) move location of active_xxx routines, and counter for number ... Sun, 23 Jun 2019 19:53:46 GMT Peter A. Buhr [dc33b5b] * 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/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_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/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) update benchmarks and add benchmarks for qthreads Fri, 21 Jun 2019 19:42:05 GMT Aaron Moss [8d61d620] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 ... Fri, 21 Jun 2019 15:47:48 GMT Peter A. Buhr [49dee5e] * tests/concurrent/examples/gortn.cfa (modified) change thread name from Gortn to GoRtn Fri, 21 Jun 2019 15:46:55 GMT Peter A. Buhr [3aa1d22] * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (modified) change from C to CFA for statements in example programs Fri, 21 Jun 2019 15:44:21 GMT Peter A. Buhr [d38c4b4] * tests/concurrent/examples/boundedBufferTHREAD.cfa (added) add thread bounded-bounder example 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. Wed, 19 Jun 2019 13:08:01 GMT Peter A. Buhr [f52ce6e] * src/AST/porting.md (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jun 2019 13:07:55 GMT Peter A. Buhr [4487667] * doc/papers/concurrency/Paper.tex (modified) fix small wording problems in concurrency paper from Section 5 to end 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. Tue, 18 Jun 2019 13:30:42 GMT Peter A. Buhr [07ca4dd] * src/AST/Convert.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/porting.md (modified) * src/Makefile.in (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) * 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 Tue, 18 Jun 2019 13:30:33 GMT Peter A. Buhr [8220e50] * doc/papers/concurrency/Paper.tex (modified) fix small wording problems in concurrency paper up to Section 5 Tue, 18 Jun 2019 00:35:04 GMT Peter A. Buhr [54b3fde] * libcfa/src/clock.hfa (modified) formatting 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 19:37:00 GMT Peter A. Buhr [800bae1] * configure (modified) * configure.ac (modified) * src/AST/Convert.cpp (modified) * src/Common/Stats/Heap.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 17 Jun 2019 19:36:43 GMT Peter A. Buhr [89faa82] * doc/papers/concurrency/SPEOldPaper.pdf (added) PDF for first version of concurrency paper Mon, 17 Jun 2019 19:35:22 GMT Peter A. Buhr [bd12159] * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * 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) complete draft for second version of concurrency paper 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 Fri, 14 Jun 2019 00:41:11 GMT Peter A. Buhr [6a1dfda] * 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) * tests/.in/manipulatorsInput.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 14 Jun 2019 00:39:28 GMT Peter A. Buhr [dc5072f] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/io2.cfa (modified) * tests/manipulatorsInput.cfa (modified) remove const char * input because of error 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. Thu, 13 Jun 2019 12:28:13 GMT Peter A. Buhr [d60780c] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 13 Jun 2019 12:27:28 GMT Peter A. Buhr [d7a02ae] * 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) first complete draft of new concurrency paper 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 Wed, 12 Jun 2019 19:40:46 GMT Peter A. Buhr [6625727] * src/AST/Print.hpp (modified) * src/AST/porting.md (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/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/ExplodedArg.cpp (added) * src/ResolvExpr/ExplodedArg.hpp (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 12 Jun 2019 19:40:40 GMT Peter A. Buhr [04396aa] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.in/manipulatorsInput.txt (modified) formatting, add const char * and char * sin operators, add skip( n ) ... 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:05 GMT Aaron Moss [3da7c19] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/manipulatorsInput.txt (modified) * tests/.expect/manipulatorsOutput2.x64.txt (moved) * tests/.expect/manipulatorsOutput2.x86.txt (added) * tests/.in/manipulatorsInput.txt (modified) * tests/manipulatorsInput.cfa (modified) * tests/sum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Tue, 11 Jun 2019 16:39:25 GMT Peter A. Buhr [8548c35] * tests/.expect/manipulatorsOutput2.x64.txt (moved) * tests/.expect/manipulatorsOutput2.x86.txt (added) fix 32-bit test Tue, 11 Jun 2019 01:37:23 GMT Peter A. Buhr [6ad19fd] * 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/Resolver.cc (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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 11 Jun 2019 01:36:43 GMT Peter A. Buhr [b326277] * tests/sum.cfa (modified) add cast to prevent infinite type resolution Tue, 11 Jun 2019 01:36:03 GMT Peter A. Buhr [86a8be5] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/manipulatorsInput.txt (modified) * tests/.in/manipulatorsInput.txt (modified) * tests/manipulatorsInput.cfa (modified) not wd with char type, and update test appropriately 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:51:24 GMT Peter A. Buhr [6949c45] * src/AST/Convert.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 10 Jun 2019 17:51:05 GMT Peter A. Buhr [891b827] * libcfa/src/iostream.hfa (modified) change type of wd and pc, fix missing scanset initialization Mon, 10 Jun 2019 17:49:38 GMT Peter A. Buhr [b117e0c] * libcfa/src/iostream.cfa (modified) formatting 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 17:47:54 GMT Peter A. Buhr [ca8824d] * tests/.expect/manipulatorsInput.txt (added) * tests/.expect/manipulatorsOutput1.txt (added) * tests/.expect/manipulatorsOutput2.txt (added) * tests/.in/manipulatorsInput.txt (added) * tests/manipulatorsInput.cfa (added) * tests/manipulatorsOutput1.cfa (added) * tests/manipulatorsOutput2.cfa (added) add manipulator input and output tests 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