# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Apr 28, 2024, 7:40:05 AM Mon, 05 Aug 2019 11:37:12 GMT Peter A. Buhr [3a55d9f] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) adjust column spacing in generated output Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr [033ff37] * examples/Attributes.c (deleted) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) remove attribute expression '@'name mechanism Mon, 22 Jul 2019 18:19:57 GMT Andrew Beach [fd642d2] * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Added const in a few more places. This should be all the leaf areas ... Fri, 19 Jul 2019 18:00:30 GMT Andrew Beach [85dac33] * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) Added 'const' in some leaf positions where it doesn't seem to effect ... 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 ... 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 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 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: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 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 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: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 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 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 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 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 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: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 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 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 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 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 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: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 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: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 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: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 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 Thu, 30 May 2019 20:15:08 GMT Aaron Moss [8d70648] * driver/cc1.cc (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/builtins.c (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/Common/PassVisitor.impl.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScopedSet.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FindSpecialDecls.cc (added) * src/Validate/FindSpecialDecls.h (added) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/coroutine/.expect/raii.txt (added) * tests/coroutine/raii.cfa (added) * tests/pybin/test_run.py (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/.expect/memberCtors.txt (modified) * tests/raii/memberCtors.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 30 May 2019 20:10:24 GMT Aaron Moss [d76c588] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Stubs for new resolver, implementation of new indexer, type environment Wed, 29 May 2019 14:22:31 GMT Thierry Delisle [ebc0a85] * src/AST/Convert.cpp (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) Merge branch 'master' into cleanup-dtors Tue, 28 May 2019 18:22:03 GMT Aaron Moss [c519942] * src/ResolvExpr/ResolveAssertions.cc (modified) Fix bugs in assertion satisfaction costing * Calculate vars/spec ... Mon, 27 May 2019 15:08:54 GMT Thierry Delisle [d908563] * doc/proposals/vtable.md (modified) * libcfa/src/iostream.cfa (modified) * src/AST/Attribute.cpp (modified) * src/AST/Attribute.hpp (modified) * src/AST/Bitfield.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (added) * src/AST/GenericSubstitution.hpp (added) * src/AST/Label.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.cpp (added) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (added) * src/AST/Print.hpp (added) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) * src/main.cc (modified) Merge branch 'master' into cleanup-dtors Fri, 24 May 2019 14:19:41 GMT Thierry Delisle [933f32f] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (added) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * benchmark/tls-fetch_add.c (added) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/C++Cor-ts.cpp (added) * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.cpp (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Fib.sim (added) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (added) * doc/papers/concurrency/examples/Fmt.sim (added) * doc/papers/concurrency/examples/Format.cc (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.cpp (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/ProdCons.cpp (added) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/papers/concurrency/examples/ProdCons.sim (added) * doc/papers/concurrency/examples/Refactor.py (added) * doc/papers/concurrency/examples/counter.cpp (added) * doc/papers/concurrency/mail (modified) * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) * doc/proposals/specialized_casts.md (added) * doc/proposals/unicode.html (added) * doc/proposals/virtual.txt (deleted) * doc/proposals/vtable.md (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/bu-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/metric-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/user.tex (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdhdr/stdbool.h (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.am (added) * longrun_tests/Makefile.in (moved) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) * src/AST/Attribute.cpp (added) * src/AST/Attribute.hpp (added) * src/AST/Bitfield.hpp (added) * src/AST/CVQualifiers.hpp (added) * src/AST/Convert.cpp (added) * src/AST/Convert.hpp (added) * src/AST/Decl.cpp (added) * src/AST/Decl.hpp (added) * src/AST/DeclReplacer.cpp (added) * src/AST/DeclReplacer.hpp (added) * src/AST/Expr.cpp (added) * src/AST/Expr.hpp (added) * src/AST/FunctionSpec.hpp (added) * src/AST/Fwd.hpp (added) * src/AST/Init.cpp (added) * src/AST/Init.hpp (added) * src/AST/Label.hpp (added) * src/AST/LinkageSpec.cpp (added) * src/AST/LinkageSpec.hpp (added) * src/AST/Node.cpp (added) * src/AST/Node.hpp (added) * src/AST/ParseNode.hpp (added) * src/AST/Pass.hpp (added) * src/AST/Pass.impl.hpp (added) * src/AST/Pass.proto.hpp (added) * src/AST/Stmt.cpp (added) * src/AST/Stmt.hpp (added) * src/AST/StorageClasses.hpp (added) * src/AST/Type.cpp (added) * src/AST/Type.hpp (added) * src/AST/TypeSubstitution.cpp (added) * src/AST/TypeSubstitution.hpp (added) * src/AST/TypeVar.hpp (added) * src/AST/Visitor.hpp (added) * src/AST/module.mk (added) * src/AST/porting.md (added) * src/BasicTypes-gen.cc (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Options.h (added) * src/CodeGen/module.mk (modified) * src/Common/Assert.cc (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/PersistentMap.h (added) * src/Common/SemanticError.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (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/module.mk (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/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/config.h.in (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/abs.txt (modified) * tests/.expect/ato.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/complex.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/identity.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/math1.txt (modified) * tests/.expect/math2.txt (modified) * tests/.expect/math3.txt (modified) * tests/.expect/math4.txt (modified) * tests/.expect/minmax.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/array.cfa (modified) * tests/builtins/sync.cfa (modified) * tests/castError.cfa (modified) * tests/completeTypeError.cfa (modified) * tests/concurrent/coroutineThen.cfa (added) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (added) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/config.py.in (modified) * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (added) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (added) * tests/declarationSpecifier.cfa (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.am (deleted) * tests/preempt_longrun/block.c (deleted) * tests/preempt_longrun/coroutine.c (deleted) * tests/preempt_longrun/disjoint.c (deleted) * tests/preempt_longrun/preempt.c (deleted) * tests/preempt_longrun/wait.c (deleted) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/init_once.cfa (modified) * tests/rational.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/expanded-line-count.sh (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Thu, 23 May 2019 14:51:23 GMT Thierry Delisle [4139e3d] * src/ResolvExpr/Unify.cc (modified) Missed one file' Thu, 16 May 2019 17:46:28 GMT Aaron Moss [54e41b3] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (added) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) Add first half of ast::Expr subclasses Tue, 07 May 2019 18:36:10 GMT Peter A. Buhr [1c9568f] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) choose integral zero over nullptr for any integral context Wed, 01 May 2019 11:49:16 GMT Peter A. Buhr [1690778] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeSubstitution.h (modified) change from map/set to unordered map/set Tue, 30 Apr 2019 14:12:55 GMT Aaron Moss [c66254e] * src/ResolvExpr/Cost.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Apr 2019 14:12:47 GMT Aaron Moss [493a992] * src/ResolvExpr/ResolveAssertions.cc (modified) Add specialization cost to assertion disambiguation Tue, 30 Apr 2019 01:21:53 GMT Peter A. Buhr [b10c39a0] * src/ResolvExpr/Cost.h (modified) updates for new Cost class Sun, 28 Apr 2019 22:50:19 GMT Peter A. Buhr [9795142] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 28 Apr 2019 22:50:13 GMT Peter A. Buhr [c378e5e] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) pack 7 resolver Costs into single word Fri, 26 Apr 2019 20:15:00 GMT Aaron Moss [052cd71] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) revert unfruitful assertion caching attempt Wed, 10 Apr 2019 19:18:03 GMT Aaron Moss [055b562] * src/ResolvExpr/TypeEnvironment.cc (modified) fix to last Wed, 10 Apr 2019 19:15:41 GMT Aaron Moss [7a63486] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) Allow merging between complete/incomplete type variables Tue, 09 Apr 2019 17:50:13 GMT Aaron Moss [4d2d45f9] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) Improve assertion error messages Mon, 11 Mar 2019 02:51:40 GMT Peter A. Buhr [6fd1955] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) update GENERATED BY file name Thu, 28 Feb 2019 17:03:24 GMT tdelisle [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... Sun, 24 Feb 2019 21:32:17 GMT Peter A. Buhr [fd9ae1d] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) more bracket rows in matrix initialization Thu, 21 Feb 2019 03:00:59 GMT Peter A. Buhr [96df1329] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) bracket rows in matrix initialization Wed, 20 Feb 2019 04:24:40 GMT Peter A. Buhr [5170d95] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) fix implict void cast problem Fri, 15 Feb 2019 19:37:56 GMT Peter A. Buhr [ada4575] * src/BasicTypes-gen.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) programmatically creation basic-type declarations Thu, 14 Feb 2019 15:26:59 GMT Peter A. Buhr [e15853c] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleExpansion.cc (modified) remove leading underscores in enums for _FloatNN and _Bool Tue, 12 Feb 2019 02:37:43 GMT Peter A. Buhr [cdcddfe1] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) add signedness to cost model and _FloatNN Mon, 11 Feb 2019 13:37:05 GMT Peter A. Buhr [0e66857] * src/ResolvExpr/typeops.h (modified) * tests/numericConstants.cfa (modified) * tests/sum.cfa (modified) formatting Mon, 11 Feb 2019 13:30:38 GMT Peter A. Buhr [aac99da] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change BasicType::Bool to BasicType::_Bool Wed, 23 Jan 2019 21:52:16 GMT Thierry Delisle [cde3891] * .gitignore (modified) * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/cfa.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/compile/empty.cfa (moved) * benchmark/creation/cfa_cor.cfa (moved) * benchmark/creation/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_cor.cfa (moved) * benchmark/ctxswitch/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_thrd2.cfa (moved) * benchmark/cxx.cpp (added) * benchmark/mutex/cfa1.cfa (moved) * benchmark/mutex/cfa2.cfa (moved) * benchmark/mutex/cfa4.cfa (moved) * benchmark/schedext/cfa1.cfa (moved) * benchmark/schedext/cfa2.cfa (moved) * benchmark/schedext/cfa4.cfa (moved) * benchmark/schedint/cfa1.cfa (moved) * benchmark/schedint/cfa2.cfa (moved) * benchmark/schedint/cfa4.cfa (moved) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Makefile (modified) * doc/proposals/flags.md (modified) * doc/proposals/virtual.txt (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss/phd/Makefile (deleted) * doc/theses/aaron_moss/phd/aaron-thesis.bib (deleted) * doc/theses/aaron_moss/phd/background.tex (deleted) * doc/theses/aaron_moss/phd/conclusion.tex (deleted) * doc/theses/aaron_moss/phd/generic-types.tex (deleted) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (deleted) * doc/theses/aaron_moss/phd/type-environment.tex (deleted) * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (added) * doc/theses/aaron_moss_PhD/phd/background.tex (added) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (added) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (added) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (added) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/Makefile (added) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/pdc.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (moved) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * src/CodeTools/ResolvProtoDump.cc (added) * src/CodeTools/ResolvProtoDump.h (added) * src/CodeTools/module.mk (modified) * src/Common/FilterCombos.h (added) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (added) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (added) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/forctrl.txt (deleted) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (added) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Fri, 18 Jan 2019 21:30:07 GMT Aaron Moss [c018b85] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/working/exception/impl/Makefile (added) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/pdc.s (moved) * doc/working/exception/impl/pic.s (modified) * driver/cfa.cc (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/concurrent/examples/datingService.cfa (modified) Merge branch 'master' into deferred_resn Fri, 18 Jan 2019 20:49:02 GMT Aaron Moss [e1f7eef] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) Add type-environment cached deferred resolution Fri, 18 Jan 2019 16:48:58 GMT Aaron Moss [da6032af] * src/ResolvExpr/AlternativeFinder.cc (modified) Remove assertion cost from cost model Thu, 17 Jan 2019 18:34:42 GMT Aaron Moss [bd78797] * src/ResolvExpr/AlternativeFinder.cc (modified) closes #118 Fri, 11 Jan 2019 19:16:53 GMT Aaron Moss [d97c3a4] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) Fix new cost model by boosting precedence of safe costs Thu, 10 Jan 2019 20:50:34 GMT Aaron Moss [e99e43f] * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (added) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/cxx.cpp (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/flags.md (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/nopic.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (moved) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge remote-tracking branch 'plg/master' into deferred_resn Thu, 10 Jan 2019 19:22:29 GMT Aaron Moss [aeb8f70] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) Fix memory leaks in assertion resolution Thu, 10 Jan 2019 18:32:06 GMT Thierry Delisle [08222c7] * src/ResolvExpr/Alternative.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * tests/.expect/castError.txt (modified) * tests/.expect/scopeErrors.txt (modified) Fixed some errors with incorrect trailing whitespace in the tests Thu, 20 Dec 2018 16:17:21 GMT Aaron Moss [73ac10e] * src/ResolvExpr/AlternativeFinder.cc (modified) * tests/searchsort.c (modified) Fixed error in searchsort test Fri, 14 Dec 2018 22:12:48 GMT Aaron Moss [b3bd772] * src/ResolvExpr/ResolveAssertions.cc (modified) Prune in resolveAssertions conditional on result type of expression Thu, 13 Dec 2018 21:47:41 GMT Aaron Moss [9aaacc27] * src/ResolvExpr/ResolveAssertions.cc (modified) Fix segfault in some tests Mon, 10 Dec 2018 19:47:37 GMT Aaron Moss [83ab931] * src/ResolvExpr/ResolveAssertions.cc (modified) Fix type renaming issue with deferred resolution Tue, 20 Nov 2018 20:14:03 GMT Aaron Moss [40290497] * src/ResolvExpr/ResolveAssertions.cc (modified) Fiddle with missing inferParams handling Mon, 19 Nov 2018 22:05:12 GMT Aaron Moss [0b00df0] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) First draft of deferred expression resolution; DOES NOT BUILD Fri, 16 Nov 2018 15:57:03 GMT Aaron Moss [2fd9f24] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) IdChain tweaks to resolver Wed, 07 Nov 2018 19:16:33 GMT Aaron Moss [8e04794] * src/ResolvExpr/ResolveTypeof.cc (modified) Fixed basetypeof for enum types Fri, 02 Nov 2018 20:14:33 GMT Aaron Moss [f441c88] * src/Parser/TypeData.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) Implement basetypeof