# # ChangeLog for src # # Generated by Trac 1.2.1 # Apr 27, 2024, 1:51:39 PM Mon, 10 Jun 2019 18:42:31 GMT Michael Brooks [558d13b] * src/AST/Convert.cpp (modified) fix conversion bug in constants; string constants were being mistaken ... Mon, 10 Jun 2019 17:48:33 GMT Aaron Moss [f9a7cf0] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/FullCoroutinePhases.fig (added) * doc/papers/concurrency/FullProdConsStack.fig (added) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/corlayout.fig (added) * doc/papers/concurrency/examples/Fib.c (modified) * doc/papers/concurrency/examples/Fib.cfa (modified) * doc/papers/concurrency/examples/Fib1.c (added) * doc/papers/concurrency/examples/Fib2.c (added) * doc/papers/concurrency/examples/Fib2.cfa (modified) * doc/papers/concurrency/examples/Fib3.c (added) * doc/papers/concurrency/examples/Fib3.cc (added) * doc/papers/concurrency/examples/Format.c (added) * doc/papers/concurrency/examples/Format.data (added) * doc/papers/concurrency/examples/Format.sim (added) * doc/papers/concurrency/examples/Format1.c (added) * doc/papers/concurrency/examples/PingPong.c (added) * doc/papers/concurrency/examples/PingPong.cc (added) * doc/papers/concurrency/examples/Pingpong2.cfa (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Pass.hpp (modified) * src/Parser/parser.yy (modified) * src/main.cc (modified) * tests/io2.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 10 Jun 2019 17:48:19 GMT Aaron Moss [2d11663] * src/AST/Node.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) resolver porting; finish top level of initialization Mon, 10 Jun 2019 16:21:35 GMT Thierry Delisle [6e3e0717] * src/AST/Convert.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 10 Jun 2019 16:21:28 GMT Thierry Delisle [6355ba7] * src/AST/Convert.cpp (modified) Removed debugging prints which are no longer useful Mon, 10 Jun 2019 16:08:15 GMT Andrew Beach [a62749f] * src/AST/Convert.cpp (modified) Better support for loose labels. Mon, 10 Jun 2019 14:52:03 GMT Thierry Delisle [e7f8119] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/FullCoroutinePhases.fig (added) * doc/papers/concurrency/FullProdConsStack.fig (added) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/corlayout.fig (added) * doc/papers/concurrency/examples/Fib.c (modified) * doc/papers/concurrency/examples/Fib.cfa (modified) * doc/papers/concurrency/examples/Fib1.c (added) * doc/papers/concurrency/examples/Fib2.c (added) * doc/papers/concurrency/examples/Fib2.cfa (modified) * doc/papers/concurrency/examples/Fib3.c (added) * doc/papers/concurrency/examples/Fib3.cc (added) * doc/papers/concurrency/examples/Format.c (added) * doc/papers/concurrency/examples/Format.data (added) * doc/papers/concurrency/examples/Format.sim (added) * doc/papers/concurrency/examples/Format1.c (added) * doc/papers/concurrency/examples/PingPong.c (added) * doc/papers/concurrency/examples/PingPong.cc (added) * doc/papers/concurrency/examples/Pingpong2.cfa (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/GenericSubstitution.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/porting.md (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) * tests/io2.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 08 Jun 2019 03:21:07 GMT Peter A. Buhr [46438e4] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/GenericSubstitution.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/porting.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 20:15:03 GMT Aaron Moss [05d55ff] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Pass.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 20:14:48 GMT Aaron Moss [60aaa51d] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/GenericSubstitution.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) More resolver porting; mostly CurrentObject Fri, 07 Jun 2019 19:30:16 GMT Thierry Delisle [9856ca9] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (modified) * src/AST/Pass.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/InitTweak/FixInit.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 19:30:10 GMT Thierry Delisle [e16e27e1] * src/AST/Pass.hpp (modified) Fix to WithGuards accessory which didn't work Fri, 07 Jun 2019 19:14:07 GMT Andrew Beach [be8518f] * src/AST/AssertAcyclic.cpp (modified) * src/AST/AssertAcyclic.hpp (modified) * src/AST/Pass.hpp (modified) Fixed up AssertAcyclic. Fri, 07 Jun 2019 18:54:41 GMT Thierry Delisle [ef75948] * src/AST/Convert.cpp (modified) * src/GenPoly/Lvalue.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 18:54:34 GMT Thierry Delisle [4e5e6cc] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/InitTweak/FixInit.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Fixed indentation and remove too strict abort Fri, 07 Jun 2019 16:00:17 GMT Thierry Delisle [9151fcb] * src/AST/AssertAcyclic.cpp (added) * src/AST/AssertAcyclic.hpp (added) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jun 2019 16:00:12 GMT Thierry Delisle [0b73f0c] * src/AST/Convert.cpp (modified) * src/GenPoly/Lvalue.cc (modified) More progress on the conversion pass Fri, 07 Jun 2019 02:23:59 GMT Peter A. Buhr [866545b] * src/AST/AssertAcyclic.cpp (added) * src/AST/AssertAcyclic.hpp (added) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 06 Jun 2019 21:46:14 GMT Aaron Moss [5684736] * src/AST/AssertAcyclic.cpp (added) * src/AST/AssertAcyclic.hpp (added) * src/AST/module.mk (modified) * src/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 06 Jun 2019 21:46:10 GMT Aaron Moss [2b59f55] * src/AST/Pass.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) More resolver porting Thu, 06 Jun 2019 21:07:12 GMT Andrew Beach [7cc0344] * src/AST/AssertAcyclic.cpp (added) * src/AST/AssertAcyclic.hpp (added) * src/AST/module.mk (modified) * src/Makefile.in (modified) Added a checker that should help debug cycles in new AST. Thu, 06 Jun 2019 19:54:11 GMT Aaron Moss [1a4323e] * src/InitTweak/FixInit.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 06 Jun 2019 19:53:59 GMT Thierry Delisle [f46bfd2f] * src/InitTweak/FixInit.cc (modified) Removed extraneous prints Thu, 06 Jun 2019 19:40:56 GMT Aaron Moss [8c0d801] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 06 Jun 2019 19:40:48 GMT Aaron Moss [b7d92b96] * src/AST/Node.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) More resolver porting Thu, 06 Jun 2019 19:39:10 GMT Aaron Moss [d3b2c32a] * src/ResolvExpr/ResolveAssertions.cc (modified) Add limit to number of recursive assertions tried at once Thu, 06 Jun 2019 19:01:46 GMT Thierry Delisle [546e712] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Fix for 1 bug of N Thu, 06 Jun 2019 14:55:00 GMT Andrew Beach [2a54479] * src/AST/Convert.cpp (modified) Convert persevers Validate::SizeType. Removed the inCache checks I'm ... Thu, 06 Jun 2019 00:36:48 GMT Peter A. Buhr [c6a1e8a] * src/AST/Bitfield.hpp (modified) * src/AST/Chain.hpp (added) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/Common/Indenter.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.cpp (added) * src/ResolvExpr/Candidate.hpp (added) * src/ResolvExpr/CandidateFinder.cpp (added) * src/ResolvExpr/CandidateFinder.hpp (added) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/main.cc (modified) fix conflicit Wed, 05 Jun 2019 22:07:41 GMT Aaron Moss [3cd5fdd] * src/AST/Chain.hpp (added) * src/AST/Convert.cpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 21:58:38 GMT Aaron Moss [99d4584] * src/AST/Print.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/Common/Indenter.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.cpp (added) * src/ResolvExpr/Candidate.hpp (added) * src/ResolvExpr/CandidateFinder.cpp (added) * src/ResolvExpr/CandidateFinder.hpp (added) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) Further stubs for resolver port * also switched order of ... Wed, 05 Jun 2019 20:57:48 GMT Michael Brooks [8568319] * src/AST/Convert.cpp (modified) fixed string constants getting extra quotes on roundtrip conversion Wed, 05 Jun 2019 20:29:07 GMT Thierry Delisle [54d4c0e] * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 20:28:53 GMT Thierry Delisle [0ce063b] * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) DeclReplacer now returns number of node changed Wed, 05 Jun 2019 20:28:28 GMT Thierry Delisle [4864a73] * src/AST/Chain.hpp (added) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Added chain mutation and example use in resolver Wed, 05 Jun 2019 19:01:15 GMT Peter A. Buhr [7c608d5] * src/AST/Decl.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 19:00:58 GMT Peter A. Buhr [300fbee] * src/main.cc (modified) remove incorrect -n option {fixes #131] Wed, 05 Jun 2019 17:47:55 GMT Aaron Moss [2a8f0c1] * src/AST/Decl.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Add first ported resolver function Wed, 05 Jun 2019 15:24:29 GMT Thierry Delisle [d4b6638] * src/AST/Bitfield.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Jun 2019 15:24:16 GMT Thierry Delisle [4741dfe] * src/InitTweak/FixInit.cc (modified) Better error printing on yesterday's fix Wed, 05 Jun 2019 15:24:10 GMT Aaron Moss [0e42794] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/Resolver.cc (modified) Rewrite WithSymbolTable pass accessory to use ast::SymbolTable Wed, 05 Jun 2019 14:38:10 GMT Andrew Beach [93744b5] * src/AST/Bitfield.hpp (modified) The bitfield template makes sure it is working on an unsigned val, ... Tue, 04 Jun 2019 22:39:23 GMT Peter A. Buhr [67130fe] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/TypeSubstitution.cpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FindSpecialDecls.cc (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 22:35:42 GMT Peter A. Buhr [9be45a2] * src/main.cc (modified) formatting Tue, 04 Jun 2019 21:53:39 GMT Aaron Moss [1346914] * src/AST/Node.hpp (modified) * src/SymTab/Mangler.cc (modified) Fix Mangler port to new AST Tue, 04 Jun 2019 21:53:24 GMT Aaron Moss [9519aba] * src/ResolvExpr/FindOpenVars.cc (modified) Port FindOpenVars to new AST Tue, 04 Jun 2019 20:49:30 GMT Michael Brooks [9a19608] * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 20:48:59 GMT Michael Brooks [1867c96] * src/SymTab/Mangler.cc (modified) name mangler AST conversion implemented Tue, 04 Jun 2019 20:45:07 GMT Aaron Moss [de8dfac2] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 20:45:04 GMT Aaron Moss [ee574a2] * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) Port CommonType to new AST Tue, 04 Jun 2019 19:44:21 GMT Thierry Delisle [bc4bea8] * src/InitTweak/FixInit.cc (modified) Fixed typo Tue, 04 Jun 2019 18:03:25 GMT Thierry Delisle [98a8290] * src/AST/Decl.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Jun 2019 18:03:12 GMT Thierry Delisle [0e315a5] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Tentative fix for the build Mon, 03 Jun 2019 21:36:47 GMT Aaron Moss [4ae2364] * src/AST/Convert.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/Validate/FindSpecialDecls.cc (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 03 Jun 2019 21:36:43 GMT Aaron Moss [f474e91] * src/AST/Decl.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/typeops.h (modified) Port unification calculations to new AST Mon, 03 Jun 2019 17:29:56 GMT Andrew Beach [dafe9e1] * src/AST/Node.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/include/cassert (modified) Fixed broken destructor cycles. Cleaned up strict_dynamic_cast. Mon, 03 Jun 2019 14:54:01 GMT Thierry Delisle [a935892] * driver/cc1.cc (modified) * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Thu, 30 May 2019 13:48:47 GMT Thierry Delisle [043a5b6] * src/AST/Convert.cpp (modified) * src/Validate/FindSpecialDecls.cc (modified) Extended dereference operator hack to destroy clause Thu, 30 May 2019 01:09:30 GMT Peter A. Buhr [6054b18] * 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 01:09:25 GMT Peter A. Buhr [c786e1d] * src/Parser/parser.yy (modified) change bit size to assignment_expression, add semi-colon after return ... Wed, 29 May 2019 21:08:05 GMT Andrew Beach [d88f8b3b] * driver/cc1.cc (modified) * src/AST/Convert.cpp (modified) Another fix to break cycles in the converter. Wed, 29 May 2019 20:15:22 GMT Thierry Delisle [0aedb01] * src/AST/Convert.cpp (modified) Fix error introduced in merge Wed, 29 May 2019 19:45:00 GMT Thierry Delisle [f57dd25] * 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 'cleanup-dtors' Wed, 29 May 2019 15:22:31 GMT Andrew Beach [157a816] * src/AST/Convert.cpp (modified) Convert supports SymTab::dereferenceOperator and some sue ... 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 20:26:07 GMT Aaron Moss [eba615c] * src/AST/Convert.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 28 May 2019 19:35:00 GMT Andrew Beach [0d70e0d] * src/GenPoly/Lvalue.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) I'll be fixing this fix a different way. 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 ... Tue, 28 May 2019 16:04:43 GMT Andrew Beach [2c04369] * src/AST/Convert.cpp (modified) * src/GenPoly/Lvalue.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Fixed some problems in convert. One of which was better solved by ... Mon, 27 May 2019 18:38:13 GMT Thierry Delisle [1259c35] * src/AST/Convert.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/porting.md (modified) Merge branch 'master' into cleanup-dtors Mon, 27 May 2019 15:09:49 GMT Andrew Beach [a7d50b6] * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) Removed trailing whitespace. 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 21:26:44 GMT Aaron Moss [6f4b7f2] * src/AST/Convert.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/porting.md (modified) Finish Stmt printers, implement short_mode for Decls 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 22:24:18 GMT Aaron Moss [21a44ca] * src/AST/Convert.cpp (modified) * src/AST/Node.hpp (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 22:24:16 GMT Aaron Moss [94b1f718] * src/AST/Label.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) Add some Stmt printers Thu, 23 May 2019 21:34:16 GMT Aaron Moss [a16e246] * src/AST/Print.cpp (modified) Finish Expr printers Thu, 23 May 2019 21:06:37 GMT Andrew Beach [f1ec88a] * 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/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 21:06:30 GMT Andrew Beach [f685679] * src/AST/Convert.cpp (modified) * src/AST/Node.hpp (modified) * src/include/cassert (modified) Translation can go both ways without crashing. Don't seem to be the ... Thu, 23 May 2019 20:22:58 GMT Aaron Moss [af1e8f56] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 20:22:55 GMT Aaron Moss [20a5977] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Print.cpp (modified) Added kind to ConstantExpr and some Expr prints Thu, 23 May 2019 16:07:28 GMT Thierry Delisle [effe5b0] * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 16:07:20 GMT Thierry Delisle [b5fed34] * src/InitTweak/InitTweak.cc (modified) Implemented the last stubbed function. ALL warnings should be gone Thu, 23 May 2019 15:55:32 GMT Thierry Delisle [d7aa12c] * src/Common/Eval.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) Implemented eval for new AST Thu, 23 May 2019 15:35:04 GMT Aaron Moss [68c9165] * src/AST/Attribute.cpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/Unify.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 15:30:40 GMT Thierry Delisle [9d6e7fa9] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/InitTweak/InitTweak.h (modified) Fixed missing or incorrect stubs in decl/InitTweak Thu, 23 May 2019 15:29:46 GMT Thierry Delisle [e4b6cf78] * src/AST/Pass.proto.hpp (modified) New Pass visitor now supports void postvisits by returning the ... Thu, 23 May 2019 15:29:00 GMT Thierry Delisle [342146e1] * src/Common/PassVisitor.impl.h (modified) Old pass visitor no longer leaks macros Thu, 23 May 2019 15:27:57 GMT Aaron Moss [b0ec971] * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) Added ast::Type printers Thu, 23 May 2019 15:01:23 GMT Thierry Delisle [3ca912a] * src/Tuples/TupleExpansion.cc (modified) Implemented missing functions in TupleExplansion Thu, 23 May 2019 14:51:23 GMT Thierry Delisle [4139e3d] * src/ResolvExpr/Unify.cc (modified) Missed one file' Thu, 23 May 2019 14:51:06 GMT Thierry Delisle [335f2d8] * src/AST/Expr.cpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Print.cpp (modified) Fixed some warnings and implemented memberExpr ctor and extractResultType Thu, 23 May 2019 14:42:20 GMT Thierry Delisle [a2e758e] * src/AST/Attribute.cpp (modified) * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/porting.md (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 23 May 2019 14:39:17 GMT Thierry Delisle [0b8bf27] * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/module.mk (modified) * src/Makefile.in (modified) Fixed pass visitor so previsit can return void to signify it will ... Thu, 23 May 2019 14:17:12 GMT Andrew Beach [0b57626] * src/AST/Attribute.cpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) Silenced a warning and removed trailing whitespace. Wed, 22 May 2019 21:58:56 GMT Aaron Moss [c957e7f] * src/AST/Print.cpp (modified) Added initializer printers Wed, 22 May 2019 21:47:36 GMT Aaron Moss [489bacf] * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/porting.md (modified) Changed Attribute field to params Done for consistency with other ... Wed, 22 May 2019 21:34:17 GMT Thierry Delisle [f23de79d] * src/AST/Expr.cpp (modified) * src/AST/GenericSubstitution.cpp (added) * src/AST/GenericSubstitution.hpp (added) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/porting.md (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc