#
# ChangeLog for src/AST
#
# Generated by Trac 1.2.1
# Mar 10, 2025, 4:24:19 AM

Tue, 03 Nov 2020 21:06:20 GMT Andrew Beach <ajbeach@…> [293dc1c]
	* src/AST/Convert.cpp (modified)
	* src/AST/Convert.hpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/InitTweak/FixGlobalInit.cc (modified)
	* src/InitTweak/FixGlobalInit.h (modified)
	* src/InitTweak/FixInit.h (modified)
	* src/InitTweak/FixInitNew.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)

	TranslationUnit is now used at the top-level of the new-ast passes.


Mon, 02 Nov 2020 19:10:06 GMT Andrew Beach <ajbeach@…> [82f791f]
	* src/AST/Pass.impl.hpp (modified)

	Fixed ast::Pass::visit(CompoundStmt*) so it updates the right ...


Thu, 29 Oct 2020 20:46:04 GMT Andrew Beach <ajbeach@…> [c6c682cf]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)

	This should make the value of Pass[Visitor]::inFunction match the ...


Wed, 28 Oct 2020 15:18:24 GMT Andrew Beach <ajbeach@…> [1be1e5a]
	* src/AST/TranslationUnit.hpp (added)

	Added the TranslationUnit class to avoid globals.


Tue, 27 Oct 2020 20:14:48 GMT Thierry Delisle <tdelisle@…> [53d55b6]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/Common/PassVisitor.h (modified)

	Changed approach for isInFunction and implemented for old ast


Tue, 27 Oct 2020 19:29:39 GMT Thierry Delisle <tdelisle@…> [5d2db68]
	* src/AST/Pass.hpp (modified)

	Fixed documentation and naming


Tue, 27 Oct 2020 19:26:27 GMT Thierry Delisle <tdelisle@…> [cb25fc9]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)

	Added to new ast mixin for checker whether it is inFunction or not


Sat, 24 Oct 2020 01:08:09 GMT Fangren Yu <f37yu@…> [e7d6968]
	* Jenkins/FullBuild (modified)
	* Jenkinsfile (modified)
	* doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/cforall.hpp (moved)
	* doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/fibre.hpp (moved)
	* doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.hpp (moved)
	* libcfa/prelude/builtins.c (modified)
	* libcfa/src/concurrency/coroutine.cfa (modified)
	* libcfa/src/concurrency/coroutine.hfa (modified)
	* libcfa/src/concurrency/io.cfa (modified)
	* libcfa/src/concurrency/io/call.cfa.in (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/kernel.hfa (modified)
	* libcfa/src/concurrency/kernel/startup.cfa (modified)
	* libcfa/src/concurrency/kernel_private.hfa (modified)
	* libcfa/src/concurrency/monitor.cfa (modified)
	* libcfa/src/concurrency/snzi.hfa (modified)
	* libcfa/src/exception.h (modified)
	* libcfa/src/exception.hfa (modified)
	* libcfa/src/limits.cfa (modified)
	* libcfa/src/limits.hfa (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Concurrency/Keywords.cc (modified)
	* src/InitTweak/FixGlobalInit.cc (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/Parser/DeclarationNode.cc (modified)
	* src/Parser/parser.yy (modified)
	* src/SynTree/AggregateDecl.cc (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/TypeDecl.cc (modified)
	* src/Virtual/Tables.cc (modified)
	* src/Virtual/Tables.h (modified)
	* src/main.cc (modified)
	* tests/.expect/const-init.txt (added)
	* tests/.expect/init1-ERROR.txt (added)
	* tests/.expect/init1.txt (modified)
	* tests/.expect/limits.txt (modified)
	* tests/Makefile.am (modified)
	* tests/alloc.cfa (modified)
	* tests/complex.cfa (modified)
	* tests/const-init.cfa (added)
	* tests/errors/.expect/completeType.x64.txt (modified)
	* tests/errors/.expect/completeType.x86.txt (modified)
	* tests/exceptions/cancel/coroutine.cfa (modified)
	* tests/exceptions/conditional.cfa (modified)
	* tests/exceptions/defaults.cfa (modified)
	* tests/exceptions/except-io.hfa (modified)
	* tests/exceptions/trash.cfa (modified)
	* tests/global-monomorph.cfa (modified)
	* tests/init1.cfa (modified)
	* tests/limits.cfa (modified)
	* tests/poly-d-cycle.cfa (modified)
	* tests/poly-o-cycle.cfa (modified)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc into
	master


Sat, 24 Oct 2020 01:06:16 GMT Fangren Yu <f37yu@…> [490fb92e]
	* 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/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/Common/utility.h (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/GenPoly/GenPoly.h (modified)
	* src/InitTweak/FixGlobalInit.cc (modified)
	* src/InitTweak/FixGlobalInit.h (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/FixInit.h (modified)
	* src/InitTweak/FixInitNew.cpp (added)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/InitTweak/module.mk (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/main.cc (modified)

	move FixInit to new ast


Tue, 20 Oct 2020 20:19:47 GMT Andrew Beach <ajbeach@…> [3aec25f]
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/porting.md (modified)

	Some clean-up of new-ast types and the porting document.


Fri, 16 Oct 2020 20:40:23 GMT Andrew Beach <ajbeach@…> [d5631b3]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/SynTree/Expression.h (modified)

	Moved VariableExpr next to NameExpr. Except in Expression.cc as I'm ...


Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu <f37yu@…> [954c954]
	* doc/proposals/function_type_change.md (added)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	Move function argument and return variable declarations from ...


Fri, 18 Sep 2020 22:12:31 GMT Andrew Beach <ajbeach@…> [b2a11ba]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)

	Rename WithConstTypeSubstitution from env to typeSubs to avoid name ...


Thu, 10 Sep 2020 15:26:58 GMT Andrew Beach <ajbeach@…> [98e8b3b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Node.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	ast::ReferenceToType is now ast::BaseInstType.


Thu, 10 Sep 2020 14:33:51 GMT Andrew Beach <ajbeach@…> [b9fa85b]
	* src/AST/Pass.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Should fix both trac #173 by porting the catch scoping hack to the ...


Wed, 09 Sep 2020 15:33:01 GMT Andrew Beach <ajbeach@…> [e6b42e7]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Added the ast::Pass::read utility. Converted two passes to use its ...


Thu, 03 Sep 2020 15:10:35 GMT Andrew Beach <ajbeach@…> [73f1b1c]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/Unify.cc (modified)

	Cleaned up comments from the PureVisitor addition.


Mon, 31 Aug 2020 22:55:22 GMT Fangren Yu <f37yu@…> [d3aa64f1]
	* src/AST/Copy.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/Unify.cc (modified)

	pure visitor interface for new ast


Mon, 31 Aug 2020 17:54:40 GMT Thierry Delisle <tdelisle@…> [4ef08f7]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)

	Implemented KeywordCast in CandidateFinder of new AST.


Mon, 31 Aug 2020 15:42:30 GMT Thierry Delisle <tdelisle@…> [d5f4613]
	* libcfa/src/bits/defs.hfa (modified)
	* libcfa/src/concurrency/CtxSwitch-arm64.S (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/preemption.cfa (modified)
	* libcfa/src/exception.c (modified)
	* src/AST/Print.cpp (modified)
	* src/SynTree/Expression.cc (modified)
	* tests/.expect/abs.arm64.txt (added)
	* tests/.expect/abs.x64.txt (moved)
	* tests/.expect/ato.arm64.txt (added)
	* tests/.expect/ato.x64.txt (moved)
	* tests/.expect/manipulatorsOutput1.arm64.txt (added)
	* tests/.expect/manipulatorsOutput1.x64.txt (moved)
	* tests/.expect/math1.arm64.txt (added)
	* tests/.expect/math1.x64.txt (moved)
	* tests/.expect/math2.arm64.txt (added)
	* tests/.expect/math2.x64.txt (moved)
	* tests/.expect/math3.arm64.txt (added)
	* tests/.expect/math3.x64.txt (moved)
	* tests/.expect/random.arm64.txt (added)
	* tests/.expect/random.x64.txt (moved)
	* tests/literals.cfa (modified)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc


Fri, 28 Aug 2020 19:25:31 GMT Fangren Yu <f37yu@…> [b26144d]
	* src/AST/Print.cpp (modified)
	* src/SynTree/Expression.cc (modified)

	do not print resolved type in tests


Tue, 25 Aug 2020 15:58:21 GMT Thierry Delisle <tdelisle@…> [5339a87]
	* src/AST/module.mk (modified)
	* src/CodeGen/module.mk (modified)
	* src/CodeTools/module.mk (modified)
	* src/Common/module.mk (modified)
	* src/Concurrency/module.mk (modified)
	* src/ControlStruct/module.mk (modified)
	* src/GenPoly/module.mk (modified)
	* src/InitTweak/module.mk (modified)
	* src/Makefile.am (modified)
	* src/Parser/module.mk (modified)
	* src/ResolvExpr/module.mk (modified)
	* src/SymTab/module.mk (modified)
	* src/SynTree/module.mk (modified)
	* src/Tuples/module.mk (modified)
	* src/Validate/module.mk (modified)
	* src/Virtual/module.mk (modified)

	Added headers to Makefile Sources (since they are supposed to be)


Tue, 18 Aug 2020 20:31:19 GMT Thierry Delisle <tdelisle@…> [13d33a75]
	* benchmark/benchcltr.hfa (modified)
	* benchmark/io/readv-posix.c (added)
	* benchmark/io/readv.cfa (modified)
	* benchmark/readyQ/yield.cfa (modified)
	* driver/cc1.cc (modified)
	* driver/cfa.cc (modified)
	* libcfa/src/bits/locks.hfa (modified)
	* libcfa/src/common.hfa (modified)
	* libcfa/src/concurrency/coroutine.cfa (modified)
	* libcfa/src/concurrency/invoke.c (modified)
	* libcfa/src/concurrency/invoke.h (modified)
	* libcfa/src/concurrency/io.cfa (modified)
	* libcfa/src/concurrency/io/setup.cfa (modified)
	* libcfa/src/concurrency/io/types.hfa (modified)
	* libcfa/src/concurrency/iocall.cfa (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/kernel/fwd.hfa (modified)
	* libcfa/src/concurrency/kernel/startup.cfa (modified)
	* libcfa/src/concurrency/ready_queue.cfa (modified)
	* libcfa/src/concurrency/stats.cfa (modified)
	* libcfa/src/concurrency/stats.hfa (modified)
	* libcfa/src/exception.c (modified)
	* libcfa/src/heap.cfa (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* libcfa/src/parseargs.cfa (modified)
	* libcfa/src/parseargs.hfa (modified)
	* libcfa/src/stdlib.hfa (modified)
	* src/AST/Pass.hpp (modified)
	* tests/.expect/minmax.txt (modified)
	* tests/Makefile.am (modified)
	* tests/alloc.cfa (modified)
	* tests/exceptions/.expect/conditional-threads.txt (added)
	* tests/exceptions/.expect/defaults-threads.txt (added)
	* tests/exceptions/.expect/finally-threads.txt (added)
	* tests/exceptions/.expect/resume-threads.txt (added)
	* tests/exceptions/.expect/terminate-threads.txt (added)
	* tests/exceptions/.expect/trash.txt (added)
	* tests/exceptions/terminate.cfa (modified)
	* tests/exceptions/trash.cfa (added)
	* tests/exceptions/with-threads.hfa (added)
	* tests/heap.cfa (modified)
	* tests/linking/.expect/exception-nothreads.txt (added)
	* tests/linking/.expect/exception-withthreads.txt (added)
	* tests/linking/exception-nothreads.cfa (added)
	* tests/linking/exception-withthreads.cfa (added)
	* tests/linking/withthreads.cfa (modified)
	* tests/minmax.cfa (modified)

	Merge branch 'master' into new-ast


Tue, 18 Aug 2020 20:26:19 GMT Fangren Yu <f37yu@…> [ef9988b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SynTree/Expression.cc (modified)

	fix lost typeinst in resolved assertions


Thu, 13 Aug 2020 15:53:46 GMT Thierry Delisle <tdelisle@…> [0240cd69]
	* src/AST/Pass.hpp (modified)

	Added overload to Pass::run with a single argument to help older ...


Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach <ajbeach@…> [7ff3e522]
	* src/AST/Copy.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/Common/Eval.cc (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Tuples.cc (modified)

	{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about ...


Tue, 11 Aug 2020 21:07:56 GMT Thierry Delisle <tdelisle@…> [0d070ca]
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	disabled new heaptrace feature


Mon, 10 Aug 2020 23:45:18 GMT Fangren Yu <f37yu@…> [07d867b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/SynTree/ApplicationExpr.cc (modified)

	attempt to fix inferparams


Thu, 06 Aug 2020 21:08:46 GMT Fangren Yu <f37yu@…> [0019d77]
	* src/AST/Pass.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into ...


Thu, 06 Aug 2020 21:08:11 GMT Fangren Yu <f37yu@…> [79c907b]
	* src/AST/Print.cpp (modified)

	correctly print assertions


Wed, 05 Aug 2020 17:27:32 GMT Andrew Beach <ajbeach@…> [a86b2ca6]
	* src/AST/Pass.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Added Pass<...>::run which allows a pass to be constructed and run in ...


Tue, 28 Jul 2020 18:37:36 GMT Fangren Yu <f37yu@…> [c408483]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/Common/PassVisitor.proto.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/Tuples/Explode.cc (modified)

	cleanup


Thu, 23 Jul 2020 18:43:33 GMT Andrew Beach <ajbeach@…> [d1ee9ec]
	* src/AST/porting.md (modified)

	Added some notes about the copy functions to the porting document.


Thu, 23 Jul 2020 18:42:23 GMT Andrew Beach <ajbeach@…> [923d25a]
	* src/AST/Fwd.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)

	SueInstType is a template that replaces {Struct,Union,Enum}InstType, ...


Mon, 20 Jul 2020 17:06:48 GMT Andrew Beach <ajbeach@…> [a8ed717]
	* src/AST/Print.cpp (modified)

	Small fix in printing, fixing mismatched casing for casts.


Fri, 17 Jul 2020 20:58:54 GMT Andrew Beach <ajbeach@…> [aebf5b0]
	* src/AST/Expr.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)

	Made a few changes that should have no effect but will silence some ...


Fri, 03 Jul 2020 20:50:21 GMT Fangren Yu <f37yu@…> [c15085d]
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/Common/Stats/Heap.cc (modified)
	* src/Common/Stats/Heap.h (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	tracing memory allocation of resolver passes


Fri, 26 Jun 2020 18:34:09 GMT Andrew Beach <ajbeach@…> [276f105]
	* src/AST/Copy.hpp (modified)

	Changed deep copy to highlight a questionable case. Even if it is ...


Thu, 25 Jun 2020 21:00:18 GMT Fangren Yu <f37yu@…> [81da70a5]
	* src/AST/Convert.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	actually fill inferred params and disable a check


Fri, 19 Jun 2020 19:35:58 GMT Fangren Yu <f37yu@…> [8ff586c]
	* src/AST/Convert.cpp (modified)

	eliminate sharing in StmtExpr for backward convert


Thu, 18 Jun 2020 20:56:20 GMT Fangren Yu <f37yu@…> [c7f834e]
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/Unify.cc (modified)

	fix destructed return value in TypeSubstitution


Fri, 05 Jun 2020 14:29:10 GMT Andrew Beach <ajbeach@…> [52a4d69]
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)

	Improvements to ast::ptr_base::strict_as. Added null to null variant ...


Thu, 04 Jun 2020 19:50:57 GMT Thierry Delisle <tdelisle@…> [5c9b20c]
	* src/AST/Copy.hpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)

	Fixed void ptr assignment bug


Fri, 08 May 2020 20:43:49 GMT Thierry Delisle <tdelisle@…> [e3bc51c]
	* src/AST/Decl.hpp (modified)

	Fixed bad merge


Mon, 06 Apr 2020 20:46:28 GMT Thierry Delisle <tdelisle@…> [7030dab]
	* Jenkinsfile_disabled (modified)
	* benchmark/Makefile.am (modified)
	* benchmark/Makefile.in (modified)
	* benchmark/baselines/x64/schedint.csv (moved)
	* benchmark/baselines/x86/schedint.csv (moved)
	* benchmark/basic/fetch_add.c (added)
	* benchmark/basic/function.c (added)
	* benchmark/basic/loop.c (added)
	* benchmark/basic/tls_fetch_add.c (moved)
	* benchmark/basic/ttst_lock.c (moved)
	* benchmark/bench.h (modified)
	* benchmark/creation/JavaThread.java (modified)
	* benchmark/creation/cfa_cor.cfa (modified)
	* benchmark/creation/cfa_gen.cfa (added)
	* benchmark/creation/cfa_thrd.cfa (modified)
	* benchmark/creation/goroutine.go (modified)
	* benchmark/creation/node_cor.js (added)
	* benchmark/creation/pthreads.c (modified)
	* benchmark/creation/python_cor.py (added)
	* benchmark/creation/rust_thrd.rs (added)
	* benchmark/creation/upp_cor.cc (modified)
	* benchmark/creation/upp_thrd.cc (modified)
	* benchmark/ctxswitch/JavaThread.java (modified)
	* benchmark/ctxswitch/cfa_cor.cfa (modified)
	* benchmark/ctxswitch/cfa_cor_then.cfa (modified)
	* benchmark/ctxswitch/cfa_gen.cfa (modified)
	* benchmark/ctxswitch/cfa_thrd.cfa (modified)
	* benchmark/ctxswitch/cfa_thrd2.cfa (modified)
	* benchmark/ctxswitch/goroutine.go (modified)
	* benchmark/ctxswitch/kos_fibre.cpp (modified)
	* benchmark/ctxswitch/kos_fibre2.cpp (modified)
	* benchmark/ctxswitch/node_await.js (added)
	* benchmark/ctxswitch/node_cor.js (added)
	* benchmark/ctxswitch/pthreads.c (modified)
	* benchmark/ctxswitch/python_cor.py (added)
	* benchmark/ctxswitch/rust_thrd.rs (added)
	* benchmark/ctxswitch/upp_cor.cc (modified)
	* benchmark/ctxswitch/upp_thrd.cc (modified)
	* benchmark/exclude (added)
	* benchmark/fetch_add.c (deleted)
	* benchmark/function.c (deleted)
	* benchmark/loop.c (deleted)
	* benchmark/mutex/JavaThread.java (modified)
	* benchmark/mutex/cfa1.cfa (modified)
	* benchmark/mutex/cfa2.cfa (modified)
	* benchmark/mutex/cfa4.cfa (modified)
	* benchmark/mutex/goroutine.go (added)
	* benchmark/mutex/pthreads.c (modified)
	* benchmark/mutex/rust.rs (added)
	* benchmark/mutex/upp.cc (modified)
	* benchmark/mutexC/JavaThread.java (added)
	* benchmark/mutexC/cfa1.cfa (added)
	* benchmark/mutexC/cfa2.cfa (added)
	* benchmark/mutexC/cfa4.cfa (added)
	* benchmark/mutexC/pthreads.c (added)
	* benchmark/mutexC/rust.rs (added)
	* benchmark/mutexC/upp.cc (added)
	* benchmark/schedext/cfa1.cfa (modified)
	* benchmark/schedext/cfa2.cfa (modified)
	* benchmark/schedext/cfa4.cfa (modified)
	* benchmark/schedext/goroutine.go (added)
	* benchmark/schedext/upp.cc (modified)
	* benchmark/schedint/JavaThread.java (modified)
	* benchmark/schedint/cfa1.cfa (modified)
	* benchmark/schedint/cfa2.cfa (modified)
	* benchmark/schedint/cfa4.cfa (modified)
	* benchmark/schedint/pthreads.c (modified)
	* benchmark/schedint/rust.rs (added)
	* benchmark/schedint/upp.cc (modified)
	* benchmark/size/size.cfa (added)
	* configure (modified)
	* configure.ac (modified)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/examples/DatingServiceThread.cfa (added)
	* doc/papers/concurrency/examples/Fib.js (added)
	* doc/papers/concurrency/examples/Fib.py (modified)
	* doc/papers/concurrency/examples/Fib2.c (modified)
	* doc/papers/concurrency/examples/Fib2.py (modified)
	* doc/papers/concurrency/examples/Fib3.c (modified)
	* doc/papers/concurrency/examples/FibRefactor.py (modified)
	* doc/papers/concurrency/examples/Format.c (modified)
	* doc/papers/concurrency/examples/Format.cc (modified)
	* doc/papers/concurrency/examples/Format.cfa (modified)
	* doc/papers/concurrency/examples/Format.data (modified)
	* doc/papers/concurrency/examples/Format.js (added)
	* doc/papers/concurrency/examples/Format.py (modified)
	* doc/papers/concurrency/examples/Format1.c (modified)
	* doc/papers/concurrency/examples/PingPong.c (modified)
	* doc/papers/concurrency/examples/Pingpong.py (modified)
	* doc/papers/concurrency/examples/ProdCons.py (modified)
	* doc/papers/concurrency/examples/RWMonitorEXT.cfa (moved)
	* doc/papers/concurrency/examples/RWMonitorINT.cfa (added)
	* doc/papers/concurrency/examples/Refactor.py (modified)
	* doc/papers/concurrency/examples/channels.go (added)
	* doc/papers/concurrency/examples/channels.rs (added)
	* doc/papers/concurrency/examples/future.rs (added)
	* doc/papers/concurrency/figures/FullCoroutinePhases.fig (modified)
	* doc/papers/concurrency/figures/RunTimeStructure.fig (modified)
	* doc/papers/concurrency/mail2 (modified)
	* doc/papers/concurrency/response (added)
	* doc/papers/ibm_CASCON19/ThreadingModels.fig (added)
	* doc/papers/ibm_CASCON19/ThreadingModels.png (added)
	* doc/papers/ibm_CASCON19/ThreadingModels.svg (added)
	* doc/papers/ibm_CASCON19/abstract.txt (added)
	* doc/papers/ibm_CASCON19/client.cfa (added)
	* doc/papers/ibm_CASCON19/server.cfa (added)
	* doc/papers/ibm_CASCON19/slides.pdf (added)
	* doc/theses/andrew_beach_MMath/.gitignore (added)
	* doc/theses/andrew_beach_MMath/Makefile (added)
	* doc/theses/andrew_beach_MMath/cfalab.sty (added)
	* doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added)
	* doc/theses/andrew_beach_MMath/thesis.bib (added)
	* doc/theses/andrew_beach_MMath/thesis.tex (added)
	* doc/theses/andrew_beach_MMath/unwinding.tex (added)
	* doc/theses/andrew_beach_MMath/uw-ethesis.cls (added)
	* doc/theses/thierry_delisle_PhD/.gitignore (added)
	* doc/theses/thierry_delisle_PhD/code/Makefile (added)
	* doc/theses/thierry_delisle_PhD/code/bts.cpp (added)
	* doc/theses/thierry_delisle_PhD/code/bts_test.cpp (added)
	* doc/theses/thierry_delisle_PhD/code/randbit.cpp (added)
	* doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified)
	* doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified)
	* doc/theses/thierry_delisle_PhD/code/relaxed_list_layout.cpp (added)
	* doc/theses/thierry_delisle_PhD/code/scale.sh (added)
	* doc/theses/thierry_delisle_PhD/code/utils.hpp (modified)
	* doc/theses/thierry_delisle_PhD/comp_II/Makefile (added)
	* doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (added)
	* doc/theses/thierry_delisle_PhD/comp_II/comp_II_too_big.tex (added)
	* doc/theses/thierry_delisle_PhD/comp_II/glossary.tex (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/img/system.fig (added)
	* doc/theses/thierry_delisle_PhD/comp_II/local.bib (added)
	* doc/user/user.tex (modified)
	* driver/cc1.cc (modified)
	* driver/cfa.cc (modified)
	* examples/io/filereader.c (added)
	* examples/io/simple/client.c (added)
	* examples/io/simple/server.c (added)
	* examples/io_uring.c (added)
	* examples/io_uring.txt (added)
	* libcfa/configure (modified)
	* libcfa/configure.ac (modified)
	* libcfa/prelude/Makefile.am (modified)
	* libcfa/prelude/Makefile.in (modified)
	* libcfa/prelude/builtins.c (modified)
	* libcfa/prelude/extras.regx (modified)
	* libcfa/prelude/extras.regx2 (added)
	* libcfa/prelude/prototypes.awk (modified)
	* libcfa/prelude/sync-builtins.cf (modified)
	* libcfa/src/Makefile.am (modified)
	* libcfa/src/Makefile.in (modified)
	* libcfa/src/assert.cfa (modified)
	* libcfa/src/bitmanip.hfa (added)
	* libcfa/src/bits/align.hfa (modified)
	* libcfa/src/bits/containers.hfa (modified)
	* libcfa/src/bits/debug.cfa (modified)
	* libcfa/src/bits/debug.hfa (modified)
	* libcfa/src/bits/defs.hfa (modified)
	* libcfa/src/bits/locks.hfa (modified)
	* libcfa/src/bits/signal.hfa (modified)
	* libcfa/src/clock.hfa (modified)
	* libcfa/src/concurrency/CtxSwitch-arm.S (modified)
	* libcfa/src/concurrency/CtxSwitch-i386.S (modified)
	* libcfa/src/concurrency/CtxSwitch-x86_64.S (modified)
	* libcfa/src/concurrency/alarm.cfa (modified)
	* libcfa/src/concurrency/alarm.hfa (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/kernel.hfa (modified)
	* libcfa/src/concurrency/kernel_private.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/exception.c (modified)
	* libcfa/src/exception.h (modified)
	* libcfa/src/executor.cfa (modified)
	* libcfa/src/fstream.cfa (modified)
	* libcfa/src/fstream.hfa (modified)
	* libcfa/src/gmp.hfa (modified)
	* libcfa/src/heap.cfa (modified)
	* libcfa/src/interpose.cfa (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* libcfa/src/math.hfa (modified)
	* libcfa/src/rational.cfa (modified)
	* libcfa/src/startup.cfa (modified)
	* libcfa/src/stdhdr/assert.h (modified)
	* libcfa/src/stdhdr/bfdlink.h (modified)
	* libcfa/src/stdhdr/hwloc.h (modified)
	* libcfa/src/stdhdr/krb5.h (modified)
	* libcfa/src/stdhdr/malloc.h (modified)
	* libcfa/src/stdhdr/math.h (modified)
	* libcfa/src/stdhdr/sys/ucontext.h (modified)
	* libcfa/src/stdlib.cfa (modified)
	* libcfa/src/stdlib.hfa (modified)
	* libcfa/src/time.cfa (modified)
	* libcfa/src/time.hfa (modified)
	* libcfa/src/time_t.hfa (modified)
	* longrun_tests/Makefile.in (modified)
	* 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/Fwd.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/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeVar.hpp (deleted)
	* src/AST/Visitor.hpp (modified)
	* src/AST/module.mk (modified)
	* src/BasicTypes-gen.cc (modified)
	* src/CodeGen/CodeGenerator.cc (modified)
	* src/CodeGen/CodeGenerator.h (modified)
	* src/CodeGen/FixMain.h (modified)
	* src/CodeGen/FixNames.cc (modified)
	* src/CodeGen/GenType.h (modified)
	* src/CodeGen/Generate.cc (modified)
	* src/CodeGen/OperatorTable.cc (modified)
	* src/CodeGen/OperatorTable.h (modified)
	* src/CodeGen/Options.h (modified)
	* src/CodeGen/module.mk (modified)
	* src/CodeTools/DeclStats.cc (modified)
	* src/CodeTools/ResolvProtoDump.cc (modified)
	* src/Common/Debug.h (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Common/SemanticError.cc (modified)
	* src/Common/SemanticError.h (modified)
	* src/Common/Stats/Time.h (modified)
	* src/Common/utility.h (modified)
	* src/Concurrency/Keywords.cc (modified)
	* src/Concurrency/Waitfor.cc (modified)
	* src/ControlStruct/ExceptTranslate.cc (modified)
	* src/ControlStruct/LabelFixer.cc (modified)
	* src/ControlStruct/MLEMutator.cc (modified)
	* src/ControlStruct/MLEMutator.h (modified)
	* src/ControlStruct/Mutate.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/FixInit.h (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/ExpressionNode.cc (modified)
	* src/Parser/LinkageSpec.cc (deleted)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/ParserTypes.h (modified)
	* src/Parser/StatementNode.cc (modified)
	* src/Parser/TypeData.cc (modified)
	* src/Parser/TypeData.h (modified)
	* src/Parser/TypedefTable.cc (modified)
	* src/Parser/TypedefTable.h (modified)
	* src/Parser/lex.ll (modified)
	* src/Parser/module.mk (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/Resolver.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/Attribute.h (modified)
	* src/SynTree/Declaration.cc (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/DeclarationWithType.cc (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/FunctionDecl.cc (modified)
	* src/SynTree/LinkageSpec.cc (added)
	* src/SynTree/LinkageSpec.h (moved)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/NamedTypeDecl.cc (modified)
	* src/SynTree/ObjectDecl.cc (modified)
	* src/SynTree/Statement.cc (modified)
	* src/SynTree/Statement.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/TupleType.cc (modified)
	* src/SynTree/Type.cc (modified)
	* src/SynTree/TypeDecl.cc (modified)
	* src/SynTree/Visitor.h (modified)
	* src/SynTree/module.mk (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/Tuples/TupleExpansion.cc (modified)
	* src/cfa.make (modified)
	* src/main.cc (modified)
	* tests/.expect/alloc-ERROR.txt (modified)
	* tests/.expect/alloc.txt (modified)
	* tests/.expect/bitmanip.x64.txt (added)
	* tests/.expect/bitmanip.x86.txt (added)
	* tests/.expect/declarationErrors.txt (deleted)
	* tests/.expect/loopctrl.txt (modified)
	* tests/.expect/nested-types-ERR1.txt (modified)
	* tests/.expect/nested-types-ERR2.txt (modified)
	* tests/.expect/rational.txt (modified)
	* tests/.expect/references.txt (modified)
	* tests/.expect/scopeErrors.txt (deleted)
	* tests/.expect/time.txt (modified)
	* tests/.expect/userLiterals.txt (added)
	* tests/Makefile.am (modified)
	* tests/Makefile.in (modified)
	* tests/abort.cfa (deleted)
	* tests/alloc.cfa (modified)
	* tests/bitmanip.cfa (added)
	* tests/builtins/sync.cfa (modified)
	* tests/concurrent/.expect/keywordErrors.txt (added)
	* tests/concurrent/.expect/suspend_then.txt (added)
	* tests/concurrent/coroutineYield.cfa (modified)
	* tests/concurrent/examples/.expect/datingService.txt (modified)
	* tests/concurrent/examples/boundedBufferEXT.cfa (modified)
	* tests/concurrent/examples/boundedBufferTHREAD.cfa (modified)
	* tests/concurrent/examples/datingService.cfa (modified)
	* tests/concurrent/examples/gortn.cfa (modified)
	* tests/concurrent/examples/quickSort.cfa (modified)
	* tests/concurrent/keywordErrors.cfa (added)
	* tests/concurrent/multi-monitor.cfa (modified)
	* tests/concurrent/park/.expect/contention.txt (added)
	* tests/concurrent/park/.expect/force_preempt.txt (added)
	* tests/concurrent/park/contention.cfa (added)
	* tests/concurrent/park/force_preempt.cfa (added)
	* tests/concurrent/preempt.cfa (modified)
	* tests/concurrent/signal/block.cfa (modified)
	* tests/concurrent/signal/wait.cfa (modified)
	* tests/concurrent/suspend_then.cfa (moved)
	* tests/concurrent/thread.cfa (modified)
	* tests/concurrent/waitfor/barge.cfa (modified)
	* tests/concurrent/waitfor/dtor.cfa (modified)
	* tests/concurrent/waitfor/else.cfa (modified)
	* tests/concurrent/waitfor/parse.cfa (modified)
	* tests/concurrent/waitfor/parse2.cfa (modified)
	* tests/concurrent/waitfor/recurse.cfa (modified)
	* tests/concurrent/waitfor/statment.cfa (modified)
	* tests/concurrent/waitfor/when.cfa (modified)
	* tests/coroutine/.expect/fmtLines.txt (modified)
	* tests/coroutine/.in/fmtLines.txt (modified)
	* tests/coroutine/cntparens.cfa (modified)
	* tests/coroutine/devicedriver.cfa (modified)
	* tests/coroutine/fibonacci.cfa (modified)
	* tests/coroutine/fibonacci_1.cfa (modified)
	* tests/coroutine/fmtLines.cfa (modified)
	* tests/coroutine/raii.cfa (modified)
	* tests/coroutine/runningTotal.cfa (modified)
	* tests/coroutine/suspend_then.cfa (modified)
	* tests/errors/.expect/completeType.txt (moved)
	* tests/errors/.expect/declaration.txt (added)
	* tests/errors/.expect/scope.txt (added)
	* tests/errors/.expect/signature.txt (added)
	* tests/errors/completeType.cfa (moved)
	* tests/errors/declaration.cfa (moved)
	* tests/errors/scope.cfa (moved)
	* tests/errors/signature.cfa (added)
	* tests/errors/suspend.cfa (added)
	* tests/except-0.cfa (deleted)
	* tests/except-1.cfa (deleted)
	* tests/except-2.cfa (deleted)
	* tests/except-3.cfa (deleted)
	* tests/exceptions/.expect/conditional.txt (added)
	* tests/exceptions/.expect/finally-error.txt (added)
	* tests/exceptions/.expect/finally.txt (added)
	* tests/exceptions/.expect/interact.txt (added)
	* tests/exceptions/.expect/resume.txt (added)
	* tests/exceptions/.expect/terminate.txt (added)
	* tests/exceptions/conditional.cfa (added)
	* tests/exceptions/except-io.hfa (added)
	* tests/exceptions/except-mac.hfa (moved)
	* tests/exceptions/finally-error.cfa (added)
	* tests/exceptions/finally.cfa (added)
	* tests/exceptions/interact.cfa (added)
	* tests/exceptions/resume.cfa (added)
	* tests/exceptions/terminate.cfa (added)
	* tests/expression.cfa (modified)
	* tests/generator/.expect/fibonacci.txt (added)
	* tests/generator/.expect/fmtLines.txt (added)
	* tests/generator/.expect/suspend_then.txt (added)
	* tests/generator/.in/fmtLines.txt (added)
	* tests/generator/fibonacci.cfa (added)
	* tests/generator/fmtLines.cfa (added)
	* tests/generator/suspend_then.cfa (added)
	* tests/heap.cfa (modified)
	* tests/labelledExit.cfa (modified)
	* tests/linking/.expect/nostdlib.txt (added)
	* tests/linking/nostdlib.cfa (added)
	* tests/linking/withthreads.cfa (modified)
	* tests/loopctrl.cfa (modified)
	* tests/nested-types.cfa (modified)
	* tests/pybin/settings.py (modified)
	* tests/pybin/tools.py (modified)
	* tests/quotedKeyword.cfa (modified)
	* tests/raii/dtor-early-exit.cfa (modified)
	* tests/rational.cfa (modified)
	* tests/references.cfa (modified)
	* tests/test.py (modified)
	* tests/time.cfa (modified)
	* tests/userLiterals.cfa (modified)
	* tests/zombies/context.cfa (moved)
	* tests/zombies/namedParmArg.cfa (moved)
	* tests/zombies/occursError.cfa (moved)
	* tests/zombies/scope.cfa (moved)
	* tests/zombies/structMember.cfa (moved)
	* tests/zombies/subrange.cfa (moved)
	* tests/zombies/typeGenerator.cfa (moved)
	* tests/zombies/typedef.cfa (moved)
	* tests/zombies/typedefDeclarator.cfa (moved)
	* tests/zombies/virtualCast.cfa (moved)
	* tests/zombies/withStatement.cfa (moved)
	* tools/auto-complete.md (added)
	* tools/catchsig.c (modified)
	* tools/cfa.nanorc (modified)
	* tools/gdb/.gdbinit (added)
	* tools/gdb/README (added)
	* tools/gdb/utils-gdb.gdb (added)
	* tools/gdb/utils-gdb.py (added)
	* tools/langserver/cfa-ls (added)
	* tools/langserver/src/json.hpp (added)
	* tools/langserver/src/log.cpp (added)
	* tools/langserver/src/log.hpp (added)
	* tools/langserver/src/main.cpp (added)
	* tools/langserver/src/server.cpp (added)
	* tools/langserver/src/server.hpp (added)
	* tools/stat.py (modified)
	* tools/vscode/uwaterloo.cforall-0.1.0/client/main.js (added)
	* tools/vscode/uwaterloo.cforall-0.1.0/images/icon.png (added)
	* tools/vscode/uwaterloo.cforall-0.1.0/package.json (modified)
	* tools/vscode/uwaterloo.cforall-0.1.0/server/out/server (added)
	* tools/vscode/uwaterloo.cforall-0.1.0/syntaxes/cfa.tmLanguage.json (added)

	Merge branch 'master' into new-ast


Mon, 02 Mar 2020 21:59:27 GMT Thierry Delisle <tdelisle@…> [427854b]
	* benchmark/ctxswitch/cfa_cor.cfa (modified)
	* libcfa/prelude/builtins.c (modified)
	* libcfa/src/concurrency/coroutine.cfa (modified)
	* libcfa/src/concurrency/coroutine.hfa (modified)
	* src/AST/Decl.hpp (modified)
	* src/Concurrency/Keywords.cc (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/StatementNode.cc (modified)
	* src/Parser/TypeData.cc (modified)
	* src/Parser/parser.yy (modified)
	* src/SynTree/Declaration.h (modified)
	* src/SynTree/Statement.h (modified)
	* tests/concurrent/coroutineThen.cfa (modified)
	* tests/concurrent/coroutineYield.cfa (modified)
	* tests/coroutine/.in/fmtLines.txt (modified)
	* tests/coroutine/cntparens.cfa (modified)
	* tests/coroutine/devicedriver.cfa (modified)
	* tests/coroutine/fibonacci.cfa (modified)
	* tests/coroutine/fibonacci_1.cfa (modified)
	* tests/coroutine/fmtLines.cfa (modified)
	* tests/coroutine/raii.cfa (modified)
	* tests/coroutine/runningTotal.cfa (modified)
	* tests/coroutine/suspend_then.cfa (modified)
	* tests/generator/.expect/fibonacci.txt (added)
	* tests/generator/fibonacci.cfa (added)

	First draft implementation of generators, still missing error ...


Thu, 27 Feb 2020 22:24:09 GMT Thierry Delisle <tdelisle@…> [37cdd97]
	* src/AST/Convert.cpp (modified)
	* src/AST/Fwd.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/Visitor.hpp (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Parser/lex.ll (modified)
	* src/Parser/parser.yy (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/Statement.cc (modified)
	* src/SynTree/Statement.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/Visitor.h (modified)

	Added a ast node for suspend statements


Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr <pabuhr@…> [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 <pabuhr@…> [ab5c0008]
	* src/AST/TypeVar.hpp (added)

	replace deleted file


Mon, 16 Dec 2019 03:13:00 GMT Peter A. Buhr <pabuhr@…> [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 <pabuhr@…> [1469a8a]
	* libcfa/src/interpose.cfa (modified)
	* src/AST/TypeVar.hpp (deleted)

	differentiate between null-pointer dereference and bad-pointer ...


Thu, 12 Dec 2019 01:52:38 GMT Peter A. Buhr <pabuhr@…> [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 ...


Thu, 21 Nov 2019 15:52:18 GMT Thierry Delisle <tdelisle@…> [9802f4c]
	* Jenkinsfile_disabled (modified)
	* automake/missing (modified)
	* libcfa/src/bits/defs.hfa (modified)
	* libcfa/src/concurrency/invoke.h (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/kernel_private.hfa (modified)
	* 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)
	* src/main.cc (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)
	* tests/.expect/gccExtensions.x86.txt (modified)

	Merge branch 'master' into new-ast


Wed, 20 Nov 2019 23:55:39 GMT Thierry Delisle <tdelisle@…> [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 ...


Tue, 29 Oct 2019 19:54:14 GMT Thierry Delisle <tdelisle@…> [396b830]
	* src/AST/Pass.proto.hpp (modified)

	Fixed typo which was causing with statements to be ignored by the ...


Fri, 11 Oct 2019 18:23:30 GMT Andrew Beach <ajbeach@…> [3f3bfe5a]
	* src/AST/CVQualifiers.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Type.hpp (modified)
	* 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/TopLvalue.cc (deleted)
	* src/SynTree/TopLvalue.h (deleted)
	* 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)

	Merge from master to new-ast. Removing old lvalue support.


Fri, 04 Oct 2019 19:07:07 GMT Andrew Beach <ajbeach@…> [cf32116]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/ResolvExpr/typeops.h (modified)

	Implemented expression based lvalue resolution on new ast.


Fri, 27 Sep 2019 19:35:46 GMT Andrew Beach <ajbeach@…> [4a60488]
	* .gitignore (modified)
	* Jenkins/FullBuild (modified)
	* Jenkinsfile_disabled (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)
	* benchmark/creation/JavaThread.java (modified)
	* benchmark/ctxswitch/JavaThread.java (modified)
	* benchmark/mutex/JavaThread.java (modified)
	* benchmark/schedint/JavaThread.java (modified)
	* configure (modified)
	* configure.ac (modified)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/proposals/operator-defaults.md (added)
	* driver/Makefile.in (modified)
	* driver/cc1.cc (modified)
	* driver/cfa.cc (modified)
	* examples/Attributes.c (deleted)
	* libcfa/Makefile.in (modified)
	* libcfa/configure (modified)
	* libcfa/configure.ac (modified)
	* libcfa/prelude/Makefile.am (modified)
	* libcfa/prelude/Makefile.in (modified)
	* libcfa/prelude/extras.regx (modified)
	* libcfa/src/Makefile.am (modified)
	* libcfa/src/Makefile.in (modified)
	* libcfa/src/fstream.cfa (modified)
	* libcfa/src/heap.cfa (modified)
	* longrun_tests/Makefile.am (modified)
	* longrun_tests/Makefile.in (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/porting.md (modified)
	* src/BasicTypes-gen.cc (modified)
	* src/Common/Eval.cc (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/Common/utility.h (modified)
	* src/GenPoly/Box.cc (modified)
	* src/GenPoly/Lvalue.cc (modified)
	* src/InitTweak/InitTweak.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/lex.ll (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Demangle.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SynTree/AddressExpr.cc (modified)
	* src/SynTree/ApplicationExpr.cc (modified)
	* src/SynTree/BasicType.cc (modified)
	* src/SynTree/CommaExpr.cc (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/TopLvalue.cc (added)
	* src/SynTree/TopLvalue.h (added)
	* src/SynTree/TupleExpr.cc (modified)
	* src/SynTree/Type.cc (modified)
	* src/SynTree/Type.h (modified)
	* src/SynTree/Visitor.h (modified)
	* src/SynTree/module.mk (modified)
	* src/main.cc (modified)
	* tests/.expect/gccExtensions.x64.txt (modified)
	* tests/.expect/gccExtensions.x86.txt (modified)
	* tests/Makefile.am (modified)
	* tests/Makefile.in (modified)
	* tests/config.py.in (modified)
	* tests/gccExtensions.cfa (modified)
	* tests/pybin/settings.py (modified)
	* tests/pybin/tools.py (modified)
	* tests/test.py (modified)
	* tools/Makefile.in (modified)
	* tools/baseline.py (added)
	* tools/build/distcc_hash (added)
	* tools/build/push2dist.sh (added)
	* tools/prettyprinter/Makefile.in (modified)

	Merged from master taking the lvalue changes to expression and ...


Tue, 17 Sep 2019 16:56:32 GMT Thierry Delisle <tdelisle@…> [4e13e2a]
	* benchmark/Makefile.in (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Added setting of result in Comma expression.
	Added asserts in ...


Thu, 15 Aug 2019 15:45:56 GMT Michael Brooks <mlbrooks@…> [c570806]
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/SynTree/Statement.h (modified)

	Changing new AST's ImplicitCtorDtorStatement to _own_ its reference ...


Wed, 07 Aug 2019 21:08:58 GMT Michael Brooks <mlbrooks@…> [ae265b55]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)

	Two fixes of MemberExpr handling on new-AST.

	Each bug on its own, ...


Wed, 31 Jul 2019 19:23:04 GMT Thierry Delisle <tdelisle@…> [2890212]
	* src/AST/Expr.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	Startup.cfa now compiles with new ast


Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr <pabuhr@…> [033ff37]
	* examples/Attributes.c (deleted)
	* src/AST/Convert.cpp (modified)
	* src/AST/porting.md (modified)
	* src/Common/PassVisitor.h (modified)
	* src/Common/PassVisitor.impl.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/Parser/DeclarationNode.cc (modified)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/lex.ll (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/SynTree.h (modified)
	* src/SynTree/Visitor.h (modified)

	remove attribute expression '@'name mechanism


Mon, 22 Jul 2019 20:23:33 GMT Thierry Delisle <tdelisle@…> [4eb43fa]
	* src/AST/Attribute.hpp (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Copy.hpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into ...


Mon, 22 Jul 2019 20:13:38 GMT Michael Brooks <mlbrooks@…> [f6cc734e]
	* src/AST/Convert.cpp (modified)

	Fixing new-resolver bug with incorrectly reused FunctionType pieces ...


Fri, 19 Jul 2019 18:44:13 GMT Michael Brooks <mlbrooks@…> [99da267]
	* src/AST/Attribute.hpp (modified)
	* src/AST/Copy.hpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/Init.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Running a deep-copy on FunctionType at RenameVars time.  This manual ...


Fri, 19 Jul 2019 18:16:01 GMT Thierry Delisle <tdelisle@…> [f53acdf8]
	* Jenkinsfile_disabled (modified)
	* Makefile.am (modified)
	* Makefile.in (modified)
	* benchmark/Makefile.am (modified)
	* benchmark/creation/qthreads.c (deleted)
	* benchmark/ctxswitch/qthreads.c (deleted)
	* doc/bibliography/pl.bib (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/mail2 (added)
	* doc/user/user.tex (modified)
	* driver/cfa.cc (modified)
	* libcfa/prelude/builtins.c (modified)
	* libcfa/src/Makefile.am (modified)
	* libcfa/src/Makefile.in (modified)
	* libcfa/src/bits/containers.hfa (modified)
	* libcfa/src/bits/debug.cfa (modified)
	* libcfa/src/bits/defs.hfa (modified)
	* libcfa/src/bits/locks.hfa (modified)
	* libcfa/src/concurrency/alarm.cfa (modified)
	* libcfa/src/concurrency/coroutine.cfa (modified)
	* libcfa/src/concurrency/invoke.c (modified)
	* libcfa/src/concurrency/invoke.h (modified)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* libcfa/src/concurrency/kernel_private.hfa (modified)
	* libcfa/src/concurrency/monitor.cfa (modified)
	* libcfa/src/concurrency/mutex.cfa (modified)
	* libcfa/src/concurrency/preemption.cfa (modified)
	* libcfa/src/concurrency/thread.cfa (modified)
	* libcfa/src/executor.cfa (added)
	* libcfa/src/expat.h (deleted)
	* libcfa/src/fstream.cfa (modified)
	* libcfa/src/fstream.hfa (modified)
	* libcfa/src/gmp.hfa (modified)
	* libcfa/src/interpose.cfa (modified)
	* libcfa/src/iostream.cfa (modified)
	* libcfa/src/iostream.hfa (modified)
	* libcfa/src/rational.cfa (modified)
	* libcfa/src/stdlib.cfa (modified)
	* libcfa/src/stdlib.hfa (modified)
	* libcfa/src/time.cfa (modified)
	* 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/Type.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/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/Parser/LinkageSpec.h (modified)
	* src/Parser/ParseNode.h (modified)
	* src/Parser/StatementNode.cc (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.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/SymTab/Validate.cc (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.cc (modified)
	* src/SynTree/Expression.h (modified)
	* src/SynTree/Initializer.h (modified)
	* src/SynTree/Mutator.h (modified)
	* src/SynTree/Statement.cc (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)
	* src/main.cc (modified)
	* tests/.expect/completeTypeError.txt (modified)
	* tests/.expect/copyfile.txt (added)
	* tests/.in/copyfile.txt (added)
	* tests/copyfile.cfa (added)
	* tests/linking/.expect/nothreads.txt (added)
	* tests/linking/.expect/withthreads.txt (added)
	* tests/linking/nothreads.cfa (added)
	* tests/linking/withthreads.cfa (added)
	* tests/loopctrl.cfa (modified)
	* tests/math1.cfa (modified)
	* tests/pybin/tools.py (modified)
	* tests/sum.cfa (modified)
	* tests/swap.cfa (modified)
	* tests/test.py (modified)

	Merge branch 'master' into new-ast


Tue, 16 Jul 2019 14:38:32 GMT Thierry Delisle <tdelisle@…> [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


Fri, 12 Jul 2019 20:34:56 GMT Thierry Delisle <tdelisle@…> [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 14:49:02 GMT Thierry Delisle <tdelisle@…> [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 ...


Thu, 11 Jul 2019 14:39:54 GMT Andrew Beach <ajbeach@…> [1f1c102]
	* src/AST/Copy.hpp (added)

	Prototypes of shallowCopy and deepCopy, untested.


Fri, 28 Jun 2019 19:50:21 GMT Aaron Moss <a3moss@…> [417117e]
	* src/AST/Eval.hpp (added)
	* src/AST/Expr.cpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)

	Assorted cleanup


Fri, 28 Jun 2019 17:29:52 GMT Michael Brooks <mlbrooks@…> [55b6476]
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)

	Activated TypeSubstitution applying its modification behaviour, which ...


Fri, 28 Jun 2019 15:59:00 GMT Michael Brooks <mlbrooks@…> [7d0881c]
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)

	Aaron added decrement-without delete option to Node infrastructure


Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss <a3moss@…> [e0e9a0b]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (added)
	* src/AST/ForallSubstitutionTable.hpp (added)
	* src/AST/ForallSubstitutor.hpp (added)
	* 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/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Common/ScopedMap.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Somewhat deeper clone for types with forall qualifiers.
	* Added ...


Tue, 25 Jun 2019 18:51:50 GMT Aaron Moss <a3moss@…> [92f5279]
	* src/AST/Decl.hpp (modified)
	* src/AST/Type.hpp (modified)

	Deeper clone on forall-lists on types to fix weak-ref error


Tue, 25 Jun 2019 18:49:56 GMT Aaron Moss <a3moss@…> [bcb311b]
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)

	Move trap to ref count updates from create/destroy


Tue, 25 Jun 2019 15:26:30 GMT Aaron Moss <a3moss@…> [9ea38de]
	* Jenkinsfile (deleted)
	* 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/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/main.cc (modified)

	Fix ast::Pass guard classes


Mon, 24 Jun 2019 18:28:10 GMT Aaron Moss <a3moss@…> [0f6a7752]
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)

	Put in temporary patch to finish new resolver port


Mon, 24 Jun 2019 17:49:59 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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 <ajbeach@…> [fb2bde4]
	* src/AST/Fwd.hpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	ConversionCost has been ported to the new AST.


Mon, 24 Jun 2019 15:24:31 GMT Thierry Delisle <tdelisle@…> [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:11:59 GMT Aaron Moss <a3moss@…> [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 <tdelisle@…> [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


Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss <a3moss@…> [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:50:42 GMT Aaron Moss <a3moss@…> [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 18:32:55 GMT Aaron Moss <a3moss@…> [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 <tdelisle@…> [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 <a3moss@…> [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 <a3moss@…> [b69233ac]
	* 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 <ajbeach@…> [1ae47de]
	* src/AST/Convert.cpp (modified)
	* src/AST/Type.hpp (modified)

	Convert now handles attributes on types.


Wed, 19 Jun 2019 15:50:30 GMT Aaron Moss <a3moss@…> [c829320]
	* src/AST/Type.hpp (modified)

	Hoist attributes back up to Type in new AST


Tue, 18 Jun 2019 22:05:34 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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 18:28:36 GMT Michael Brooks <mlbrooks@…> [a2a85658]
	* src/AST/Convert.cpp (modified)

	Fixed conversion of tuple assignments to reuse the common part ...


Tue, 18 Jun 2019 15:12:55 GMT Thierry Delisle <tdelisle@…> [1e5dedc4]
	* src/AST/Convert.cpp (modified)

	Fixed conversion for waitforstmt


Mon, 17 Jun 2019 23:15:09 GMT Aaron Moss <a3moss@…> [ea05f8d]
	* doc/papers/concurrency/Makefile (modified)
	* doc/papers/concurrency/Paper.tex (modified)
	* doc/papers/concurrency/SPEOldPaper.pdf (added)
	* doc/papers/concurrency/examples/RWMonitor.cfa (added)
	* doc/papers/concurrency/figures/CondSigWait.fig (added)
	* doc/papers/concurrency/figures/monitor.fig (modified)
	* doc/papers/concurrency/figures/monitor.old.fig (added)
	* src/AST/Convert.cpp (modified)
	* src/Makefile.in (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/Tuples.cc (added)
	* src/Tuples/Tuples.h (modified)
	* src/Tuples/module.mk (modified)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc


Mon, 17 Jun 2019 23:14:58 GMT Aaron Moss <a3moss@…> [9d5089e]
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	Port CandidateFinder::makeFunctionCandidates() and deps


Mon, 17 Jun 2019 20:45:23 GMT Andrew Beach <ajbeach@…> [e6faef4]
	* src/AST/Convert.cpp (modified)

	One DeclWithType::asmName conversion was missing.