# # ChangeLog for src # # Generated by Trac 1.2.1 # Apr 19, 2024, 3:55:31 AM Mon, 16 Dec 2019 19:31:10 GMT Peter A. Buhr [bffcd66] * src/main.cc (modified) harmonize signal handling in main.cc with interpose.cfa, consider ... Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr [07de76b] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (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/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (moved) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * tests/.expect/completeTypeError.txt (modified) remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move ... Mon, 16 Dec 2019 03:28:57 GMT Peter A. Buhr [ab5c0008] * src/AST/TypeVar.hpp (added) replace deleted file Mon, 16 Dec 2019 03:13:00 GMT Peter A. Buhr [cfaa2873] * src/AST/Type.cpp (modified) * src/BasicTypes-gen.cc (modified) * src/SynTree/Type.cc (modified) generate BasicType::typeNames from BasicTypes-gen Fri, 13 Dec 2019 18:46:34 GMT Peter A. Buhr [1469a8a] * libcfa/src/interpose.cfa (modified) * src/AST/TypeVar.hpp (deleted) differentiate between null-pointer dereference and bad-pointer ... Thu, 12 Dec 2019 23:21:09 GMT Peter A. Buhr [9853d9b0] * src/Parser/parser.yy (modified) * tests/.expect/loopctrl.txt (modified) * tests/loopctrl.cfa (modified) missed a case for inclusive bound to singleton comparison, and added ... Thu, 12 Dec 2019 22:44:38 GMT Peter A. Buhr [332bd33] * src/Parser/parser.yy (modified) add inclusive bound to singleton comparison Thu, 12 Dec 2019 01:52:38 GMT Peter A. Buhr [312029a] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (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/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * tests/concurrent/.expect/keywordErrors.txt (modified) move enum Aggregate from DeclarationNode to AggregateDecl, add ... Sat, 07 Dec 2019 15:49:05 GMT Peter A. Buhr [e307e12] * src/Parser/parser.yy (modified) generalize aggregate data and control in grammar, add aggregate- ... Fri, 06 Dec 2019 20:15:35 GMT Thierry Delisle [e1990f1] * benchmark/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (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/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/heap.cfa (modified) * longrun_tests/Makefile.in (modified) * src/cfa.make (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/linking/withthreads.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 06 Dec 2019 20:10:09 GMT Thierry Delisle [c8c0c7c5] * benchmark/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * longrun_tests/Makefile.in (modified) * src/cfa.make (modified) * tests/Makefile.in (modified) Now using -z execstack and use -O0 for debug mode Thu, 05 Dec 2019 22:49:23 GMT Thierry Delisle [3b0c8cb] * src/Concurrency/Keywords.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.h (modified) Implemented Keyword cast in the alternative finder to remove ... Fri, 29 Nov 2019 18:47:14 GMT Thierry Delisle [78cdb06] * src/GenPoly/Lvalue.cc (modified) * tests/.expect/references.txt (modified) * tests/references.cfa (modified) Modified Lvalue cast handling to ignore top level dereferencing in ... Wed, 27 Nov 2019 21:43:51 GMT Thierry Delisle [397c101a] * src/ControlStruct/MLEMutator.cc (modified) * tests/raii/dtor-early-exit.cfa (modified) Fix bug where 'continue' would incorrectly claim to skip ... Tue, 26 Nov 2019 21:43:00 GMT Thierry Delisle [6c3a5ac1] * libcfa/src/concurrency/monitor.hfa (modified) * src/Concurrency/Keywords.cc (modified) * tests/concurrent/.expect/keywordErrors.txt (added) * tests/concurrent/keywordErrors.cfa (added) Added better check to guarantee proper includes are present when ... Thu, 21 Nov 2019 20:53:39 GMT Thierry Delisle [49d3128] * driver/cc1.cc (modified) * src/main.cc (modified) cfa command now properly supports -fdiagnostics-color and -fno- ... Thu, 21 Nov 2019 18:03:17 GMT Thierry Delisle [1a69a90] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/main.cc (modified) Added --colors command line arguments to have more control on whether ... Wed, 20 Nov 2019 23:55:39 GMT Thierry Delisle [665f432] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) Fixed trac #149 where operand names in asm statements where ... Mon, 18 Nov 2019 16:01:49 GMT Thierry Delisle [6559a9d] * src/main.cc (modified) Added missing character to the optstring Fri, 25 Oct 2019 21:44:25 GMT Peter A. Buhr [9bdb8b7] * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * tests/labelledExit.cfa (modified) allow labelled break from within the body of a try statement Sun, 20 Oct 2019 03:58:30 GMT Peter A. Buhr [de8d7fb1] * src/CodeGen/CodeGenerator.cc (modified) do not generate anonymous name for bit field with empty declarator Thu, 26 Sep 2019 19:39:32 GMT Andrew Beach [70b4ea20] * src/SynTree/TopLvalue.cc (deleted) * src/SynTree/TopLvalue.h (deleted) Removed some type-lvalue helpers that are now unused. Thu, 26 Sep 2019 17:25:49 GMT Andrew Beach [b4f8808] * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Removed lvalue from types in the old ast. Mon, 23 Sep 2019 20:59:33 GMT Andrew Beach [849720f] * src/ResolvExpr/ConversionCost.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) lvalue should now always come directly from the expression. Fri, 20 Sep 2019 13:21:51 GMT Thierry Delisle [158b026] * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * longrun_tests/Makefile.in (modified) * src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Remove flags -in-tree and -disttree, now using paths and ... Tue, 10 Sep 2019 18:48:01 GMT Thierry Delisle [c2051e10] * Jenkinsfile (modified) * doc/bibliography/pl.bib (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) * tests/pybin/tools.py (modified) Merge branch 'master' into distcc Wed, 04 Sep 2019 17:54:42 GMT Andrew Beach [3315e3d] * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Type.h (modified) Unify uses Qualifiers::unify, which should handle lvalue better. Fri, 23 Aug 2019 10:52:14 GMT Peter A. Buhr [ef22ad6] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/main.cc (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) deal with conflicts Fri, 23 Aug 2019 03:21:56 GMT Peter A. Buhr [e0bd0f9] * src/main.cc (modified) remove -F flag and fix usage message Thu, 15 Aug 2019 19:09:03 GMT Andrew Beach [5d00425] * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) StmtExpr also does not have the lvalue I originally expected. Thu, 15 Aug 2019 14:31:53 GMT Thierry Delisle [5c4a473] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/main.cc (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Merge branch 'master' into distcc Thu, 15 Aug 2019 14:21:36 GMT Thierry Delisle [d65f92c] * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * longrun_tests/Makefile.in (modified) * src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/config.py.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Tests almost work, the only issue left is using -E and -CFA together Wed, 14 Aug 2019 19:46:35 GMT Andrew Beach [3c7f01b] * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Hopefully that is the last override to get_lvalue we will need. Tue, 13 Aug 2019 18:36:06 GMT Thierry Delisle [1118b8b] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 13 Aug 2019 18:35:54 GMT Thierry Delisle [dee1f89] * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * src/main.cc (modified) Libcfa make can now stop cfa-cpp when starting so a gdb session will ... Tue, 13 Aug 2019 18:03:37 GMT Andrew Beach [14388c1] * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Most expressions now return a hard-coded lvalue flag. Mon, 12 Aug 2019 17:47:37 GMT Andrew Beach [7d01cf44] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) lvalue is now read through the expression. Mon, 12 Aug 2019 15:05:36 GMT Thierry Delisle [b3976bf] * Jenkinsfile (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/calc.py (added) * benchmark/baselines/x64/compile.csv (added) * benchmark/baselines/x64/ctxswitch.csv (added) * benchmark/baselines/x64/mutex.csv (added) * benchmark/baselines/x64/signal.csv (added) * benchmark/baselines/x86/compile.csv (added) * benchmark/baselines/x86/ctxswitch.csv (added) * benchmark/baselines/x86/mutex.csv (added) * benchmark/baselines/x86/signal.csv (added) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * longrun_tests/Makefile.in (modified) * src/BasicTypes-gen.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/Type.cc (modified) * src/SynTree/module.mk (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/Makefile.in (modified) * tests/gccExtensions.cfa (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/baseline.py (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Aug 2019 15:05:15 GMT Thierry Delisle [cc4218f] * src/ResolvExpr/AlternativeFinder.cc (modified) Added assertion as documentation Thu, 08 Aug 2019 17:24:09 GMT Andrew Beach [0f19f5e5] * src/ResolvExpr/ConversionCost.cc (modified) Made private overloads of convertToReferenceCost static. Thu, 08 Aug 2019 15:29:53 GMT Andrew Beach [2d80111] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Lvalue is checked through Expression::get_lvalue. Only three other ... Wed, 07 Aug 2019 20:50:27 GMT Andrew Beach [4615ac8] * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/module.mk (modified) * src/main.cc (modified) Added asserts and clears to make sure lvalue is only used where we ... Tue, 06 Aug 2019 16:44:34 GMT Peter A. Buhr [f4f9d27] * src/ResolvExpr/ConversionCost.cc (modified) formatting Tue, 06 Aug 2019 16:43:31 GMT Peter A. Buhr [10cb642] * src/BasicTypes-gen.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) change BasicTypes-gen to also rewrite SynTree/Type.h 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 Mon, 05 Aug 2019 11:36:00 GMT Peter A. Buhr [f1da02c] * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) add gcc builtin types __int128_t and __uint128_t Mon, 05 Aug 2019 11:34:04 GMT Peter A. Buhr [357390f] * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) formatting Mon, 05 Aug 2019 11:03:45 GMT Peter A. Buhr [05c27fc] * src/Parser/ExpressionNode.cc (modified) change dimensions of BasicType::Kind to match initialization values Mon, 05 Aug 2019 11:02:42 GMT Peter A. Buhr [913be78] * src/BasicTypes-gen.cc (modified) change BasicTypes-gen to rewrite AST/Type.hpp Thu, 01 Aug 2019 21:56:39 GMT Thierry Delisle [df8b87cd] * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * longrun_tests/Makefile.in (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * tests/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Demangler can now be disable to avoid compiling it (enabled by default) Tue, 30 Jul 2019 17:58:02 GMT Peter A. Buhr [4071778] * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) remove lvalue from mangling/demangling as it is no longer used 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 Fri, 26 Jul 2019 01:34:18 GMT Peter A. Buhr [f673c13c] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) add gcc __auto_type to parsing side Wed, 24 Jul 2019 22:47:41 GMT Peter A. Buhr [77d2432] * src/Common/Eval.cc (modified) * src/Common/utility.h (modified) patch sizeof evaluation problem temporarily, and make parameters constant 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 19:29:37 GMT Andrew Beach [335d81f] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) getFunction has const version and maybeImpure[IgnoreUnique] have ... 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 ... Tue, 16 Jul 2019 14:38:32 GMT Thierry Delisle [e67991f] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) WithStmt is now a Declaration Mon, 15 Jul 2019 18:43:38 GMT Thierry Delisle [7dc2e57b] * doc/user/user.tex (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/time.cfa (modified) * src/Parser/parser.yy (modified) * tests/math1.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 15 Jul 2019 18:43:22 GMT Thierry Delisle [ce12e2b] * src/SynTree/Visitor.h (modified) Fix copy mistake in visitor Sun, 14 Jul 2019 14:33:14 GMT Peter A. Buhr [757ffed] * src/Parser/parser.yy (modified) remove empty arguments in call to mean use default parameter value, ... Fri, 12 Jul 2019 21:42:33 GMT Thierry Delisle [e3d7f9f] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) Const PassVisitor now supports the indexer Fri, 12 Jul 2019 20:34:56 GMT Thierry Delisle [6f096d2] * src/AST/Expr.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/Visitor.h (modified) Resolver now uses constant interface Fri, 12 Jul 2019 17:51:32 GMT Thierry Delisle [8fd52e90] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) Removed uses of lookupMutableXXX Fri, 12 Jul 2019 17:35:58 GMT Thierry Delisle [ef5b828] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) Indexer now has const lookup by default Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle [7870799] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Cast cost and conversion cost now take constant parameters. This ... Wed, 10 Jul 2019 22:01:02 GMT Peter A. Buhr [1d760934] * src/ResolvExpr/ResolveAssertions.cc (modified) remove std::move( resKey ) as moving a local object in a return ... Wed, 10 Jul 2019 21:59:07 GMT Peter A. Buhr [39156ed] * src/Parser/LinkageSpec.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) add assignment declarations using "default" implementation required ... Mon, 24 Jun 2019 20:11:41 GMT Thierry Delisle [3e2f5e3] * doc/papers/concurrency/Paper.tex (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 19:42:38 GMT Aaron Moss [1335e6f] * doc/papers/concurrency/Paper.tex (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 19:42:36 GMT Aaron Moss [3c89751] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) Port castCost, ptrsCastable Mon, 24 Jun 2019 19:36:31 GMT Andrew Beach [df9317bd] * src/ResolvExpr/PtrsAssignable.cc (modified) Filled in the definition of PtrsAssignable. Mon, 24 Jun 2019 18:28:10 GMT Aaron Moss [0f6a7752] * src/AST/Type.hpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Put in temporary patch to finish new resolver port Mon, 24 Jun 2019 18:27:29 GMT Thierry Delisle [da7454c] * benchmark/creation/cfa_cor.cfa (modified) * doc/papers/concurrency/Paper.tex (modified) * src/AST/Fwd.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 17:49:59 GMT Aaron Moss [08c0780] * Jenkinsfile (modified) * doc/papers/concurrency/Paper.tex (modified) * driver/cc1.cc (modified) * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/typeops.h (modified) * tests/sum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 17:49:47 GMT Aaron Moss [c1398e4] * src/AST/TypeSubstitution.hpp (modified) * src/SymTab/Validate.cc (modified) Port necessary parts of validate to new AST Mon, 24 Jun 2019 17:37:00 GMT Andrew Beach [fb2bde4] * src/AST/Fwd.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/typeops.h (modified) ConversionCost has been ported to the new AST. Mon, 24 Jun 2019 16:19:38 GMT Thierry Delisle [0e464f6] * src/main.cc (modified) cfa-cpp help message now puts all dump commands together and in order. Mon, 24 Jun 2019 15:24:31 GMT Thierry Delisle [b58affe7] * src/AST/Node.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 15:12:01 GMT Aaron Moss [c1ea11b] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/bench.h (modified) * benchmark/creation/cfa_cor.cfa (modified) * benchmark/creation/cfa_thrd.cfa (modified) * benchmark/creation/pthreads.c (modified) * benchmark/creation/qthreads.c (added) * benchmark/creation/upp_cor.cc (modified) * benchmark/creation/upp_thrd.cc (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (added) * benchmark/ctxswitch/cfa_thrd.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/ctxswitch/kos_fibre.cpp (modified) * benchmark/ctxswitch/kos_fibre2.cpp (modified) * benchmark/ctxswitch/pthreads.c (modified) * benchmark/ctxswitch/qthreads.c (added) * benchmark/ctxswitch/upp_cor.cc (modified) * benchmark/ctxswitch/upp_thrd.cc (modified) * benchmark/fetch_add.c (modified) * benchmark/function.c (modified) * benchmark/loop.c (modified) * benchmark/mutex/cfa1.cfa (modified) * benchmark/mutex/cfa2.cfa (modified) * benchmark/mutex/cfa4.cfa (modified) * benchmark/mutex/pthreads.c (modified) * benchmark/mutex/upp.cc (modified) * benchmark/schedext/cfa1.cfa (modified) * benchmark/schedext/cfa2.cfa (modified) * benchmark/schedext/cfa4.cfa (modified) * benchmark/schedext/upp.cc (modified) * benchmark/schedint/cfa1.cfa (modified) * benchmark/schedint/cfa2.cfa (modified) * benchmark/schedint/cfa4.cfa (modified) * benchmark/schedint/pthreads.c (modified) * benchmark/schedint/upp.cc (modified) * benchmark/tls-fetch_add.c (modified) * benchmark/ttst_lock.c (added) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/examples/Fib.cfa (modified) * doc/user/user.tex (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/ResolvExpr/Cost.h (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) * tools/stat.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 24 Jun 2019 15:11:59 GMT Aaron Moss [18e683b] * src/AST/Node.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) Port LinkReferenceToTypes pass Mon, 24 Jun 2019 14:30:47 GMT Thierry Delisle [54dd994] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/bench.h (modified) * benchmark/creation/cfa_cor.cfa (modified) * benchmark/creation/cfa_thrd.cfa (modified) * benchmark/creation/pthreads.c (modified) * benchmark/creation/qthreads.c (added) * benchmark/creation/upp_cor.cc (modified) * benchmark/creation/upp_thrd.cc (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (added) * benchmark/ctxswitch/cfa_thrd.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/ctxswitch/kos_fibre.cpp (modified) * benchmark/ctxswitch/kos_fibre2.cpp (modified) * benchmark/ctxswitch/pthreads.c (modified) * benchmark/ctxswitch/qthreads.c (added) * benchmark/ctxswitch/upp_cor.cc (modified) * benchmark/ctxswitch/upp_thrd.cc (modified) * benchmark/fetch_add.c (modified) * benchmark/function.c (modified) * benchmark/loop.c (modified) * benchmark/mutex/cfa1.cfa (modified) * benchmark/mutex/cfa2.cfa (modified) * benchmark/mutex/cfa4.cfa (modified) * benchmark/mutex/pthreads.c (modified) * benchmark/mutex/upp.cc (modified) * benchmark/schedext/cfa1.cfa (modified) * benchmark/schedext/cfa2.cfa (modified) * benchmark/schedext/cfa4.cfa (modified) * benchmark/schedext/upp.cc (modified) * benchmark/schedint/cfa1.cfa (modified) * benchmark/schedint/cfa2.cfa (modified) * benchmark/schedint/cfa4.cfa (modified) * benchmark/schedint/pthreads.c (modified) * benchmark/schedint/upp.cc (modified) * benchmark/tls-fetch_add.c (modified) * benchmark/ttst_lock.c (added) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/examples/Fib.cfa (modified) * doc/user/user.tex (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/AST/Expr.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (added) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (modified) * tools/stat.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 23 Jun 2019 20:03:12 GMT Peter A. Buhr [f2f22e3] * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 23 Jun 2019 19:56:37 GMT Peter A. Buhr [9504a89] * src/ResolvExpr/Cost.h (modified) remove old code for costing Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss [c1ed2ee] * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Continued resolver porting * mostly initialization and validation ... Thu, 20 Jun 2019 22:52:03 GMT Aaron Moss [9af00d23] * src/ResolvExpr/RenameVars.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 20 Jun 2019 22:50:42 GMT Aaron Moss [b8524ca] * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.hpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) new AST porting * mostly InitTweak autogeneration * added some ... Thu, 20 Jun 2019 21:40:21 GMT Andrew Beach [f5edcb4] * src/ResolvExpr/RenameVars.cc (modified) RenameVars needed a rather significant rework for the new AST. Thu, 20 Jun 2019 18:32:55 GMT Aaron Moss [234b1cb] * src/AST/Init.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Port TupleAssignment to new AST Thu, 20 Jun 2019 17:45:01 GMT Thierry Delisle [3c6e417] * doc/papers/concurrency/Paper.tex (modified) * libcfa/src/clock.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jun 2019 22:05:12 GMT Aaron Moss [c0f9efe] * src/AST/Convert.cpp (modified) * src/AST/Type.hpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jun 2019 22:05:09 GMT Aaron Moss [b69233a] * src/AST/Expr.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) * src/SymTab/Mangler.h (modified) Port assertion satisfaction to new AST Wed, 19 Jun 2019 20:51:14 GMT Andrew Beach [1ae47de] * src/AST/Convert.cpp (modified) * src/AST/Type.hpp (modified) Convert now handles attributes on types. Wed, 19 Jun 2019 18:15:08 GMT Aaron Moss [17a0ede2] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) Further resolver porting; finish initial draft of expression handling Wed, 19 Jun 2019 15:50:35 GMT Aaron Moss [3fc0f2a] * doc/papers/concurrency/Paper.tex (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jun 2019 15:50:30 GMT Aaron Moss [c829320] * src/AST/Type.hpp (modified) Hoist attributes back up to Type in new AST Wed, 19 Jun 2019 14:47:34 GMT Andrew Beach [5aa4656] * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) Filled in SpecCost and PolyCost for the new ast. Tue, 18 Jun 2019 22:05:34 GMT Aaron Moss [73edfe9] * src/AST/Convert.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 18 Jun 2019 22:05:30 GMT Aaron Moss [898ae07] * src/AST/porting.md (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) More resolver porting Tue, 18 Jun 2019 21:51:23 GMT Aaron Moss [b408364] * src/ResolvExpr/ResolveAssertions.cc (modified) Correct over-aggressive assertion pruning