# # ChangeLog for src/Common # # Generated by Trac 1.2.1 # Nov 15, 2024, 12:19:08 AM Mon, 28 Mar 2022 14:41:45 GMT Andrew Beach [400b8be] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (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/CodeLocationTools.cpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Added StmtClause and converted the existing nodes that should be clauses. Thu, 17 Mar 2022 17:53:48 GMT Andrew Beach [f7496c5] * src/Common/CodeLocationTools.hpp (modified) class -> struct, silences a warning. Tue, 15 Mar 2022 14:14:05 GMT Andrew Beach [33b7d49] * src/AST/Util.cpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CodeLocationTools.hpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/main.cc (modified) * tests/collections/.expect/vector-err-pass-perm-it-byval.txt (modified) Added another check to checkInvariants for code locations. I also ... Fri, 11 Mar 2022 16:08:19 GMT Andrew Beach [4f6dda0] * src/AST/GenericSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/concurrent/.expect/keywordErrors.nast.txt (added) * tests/concurrent/.expect/keywordErrors.oast.txt (moved) * tests/concurrent/.expect/mainError.nast.txt (added) * tests/concurrent/.expect/mainError.oast.txt (moved) Converted Implement Concurrent Keywords to the new AST. Includes ... Fri, 11 Feb 2022 21:57:07 GMT Andrew Beach [eb211bf] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/CodeLocation.h (modified) Did some clean-up with the ast::Pass class. Moved some things out of ... Fri, 11 Feb 2022 17:16:52 GMT Thierry Delisle [1f7dc61] * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/CodeGen/FixNames.h (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/ResolvProtoDump.hpp (modified) * src/InitTweak/FixInit.h (modified) * src/MakeLibCfa.h (modified) * src/ResolvExpr/Resolver.h (modified) Consistently changed TranslationUnit from struct to class. Tue, 08 Feb 2022 22:05:44 GMT Thierry Delisle [968f280] * src/Common/CodeLocation.h (modified) Made some implicit methods explicit due to clang warning Mon, 07 Feb 2022 17:50:05 GMT Thierry Delisle [f8143a6] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Common/utility.h (modified) Change pass visitor to avoid more transient strong references Wed, 02 Feb 2022 01:22:12 GMT Peter A. Buhr [3b0bc16] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (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/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/HoistControlDecls.cpp (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (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) change class name WhileStmt to WhileDoStmt, add else clause to ... Mon, 18 Oct 2021 19:09:29 GMT Andrew Beach [55cbff8] * src/Common/ResolvProtoDump.cpp (added) * src/Common/ResolvProtoDump.hpp (added) * src/Common/module.mk (modified) * src/main.cc (modified) Added new ast resolver prototype support. Not exactly the same but ... Fri, 08 Oct 2021 15:38:22 GMT Andrew Beach [68fe946e] * src/AST/porting.md (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/DeclStats.cpp (added) * src/Common/DeclStats.hpp (added) * src/Common/module.mk (modified) * src/main.cc (modified) Updated DeclStats for the new ast. Also fixed a bug in the old ... Fri, 13 Aug 2021 19:59:15 GMT caparsons [de52331] * src/Common/CodeLocationTools.cpp (modified) * src/Parser/StatementNode.cc (modified) some more files related to mutex stmt Fri, 13 Aug 2021 19:58:19 GMT caparsons [6cebfef] * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (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/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/ParseNode.h (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 mutex stmt monitor Wed, 14 Jul 2021 20:17:52 GMT Thierry Delisle [ccb6fd8] * src/Common/CodeLocationTools.cpp (modified) Fix CodeLocation boiler-plate for vtable Wed, 14 Jul 2021 20:01:37 GMT Thierry Delisle [7ff35e0e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Implemented old ast boiler-plate for vtabletype. Fri, 18 Jun 2021 16:20:59 GMT Michael Brooks [6e50a6b] * libcfa/src/containers/array.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/Visitor.h (modified) * tests/array-container/.expect/language-dim-mismatch.txt (added) * tests/array-container/array-basic.cfa (modified) * tests/array-container/array-md-sbscr-cases.cfa (modified) * tests/array-container/language-dim-mismatch.cfa (added) Implementing language-provided syntax for (array) dimensions. ... Wed, 16 Jun 2021 18:44:09 GMT Thierry Delisle [798a8b3] * src/AST/Pass.impl.hpp (modified) * src/Common/PassVisitor.impl.h (modified) * src/SymTab/Validate.cc (modified) Attributes are now correctly visited when replacing typedefs Sat, 13 Mar 2021 04:14:29 GMT Peter A. Buhr [2d019af] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) parser global pragmas, fixes #241 Thu, 10 Dec 2020 21:00:29 GMT Fangren Yu [3e3f236] * Jenkins/Distribute (modified) * Jenkins/FullBuild (modified) * Jenkins/tools.groovy (modified) * Jenkinsfile (modified) * Makefile.am (modified) * configure.ac (modified) * driver/Makefile.am (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/bits/collection.hfa (modified) * libcfa/src/bits/queue.hfa (modified) * libcfa/src/bits/sequence.hfa (modified) * libcfa/src/bits/stack.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/module.mk (modified) * src/Common/CodeLocationTools.cpp (added) * src/Common/CodeLocationTools.hpp (added) * src/Common/module.mk (modified) * src/main.cc (modified) * tests/.expect/multi_list.txt (added) * tests/.expect/queue.txt (added) * tests/.expect/sequence.txt (added) * tests/.expect/stack.txt (added) * tests/Makefile.am (modified) * tests/multi_list.cfa (moved) * tests/pybin/tools.py (modified) * tests/queue.cfa (moved) * tests/sequence.cfa (moved) * tests/stack.cfa (moved) * tests/test.py (modified) * tools/Makefile.am (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 10 Dec 2020 20:59:41 GMT Fangren Yu [6a45bd78] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/TypeData.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) cleanup: remove params in TypeDecl (never used) Wed, 09 Dec 2020 15:05:55 GMT Andrew Beach [364a03c] * src/Common/CodeLocationTools.cpp (modified) * src/Common/CodeLocationTools.hpp (modified) Added more information to checkAllCodeLocations. Mon, 07 Dec 2020 22:42:21 GMT Andrew Beach [c9e0991] * src/Common/CodeLocationTools.cpp (modified) Clean-up the code location tools. Mon, 07 Dec 2020 20:49:17 GMT Andrew Beach [f57faf6f] * src/Common/CodeLocationTools.cpp (added) * src/Common/CodeLocationTools.hpp (added) * src/Common/module.mk (modified) * src/main.cc (modified) Added a new-ast tools for code locations. The fill pass is being used ... Wed, 02 Dec 2020 18:01:01 GMT Thierry Delisle [ddcedfe] * src/Common/CodeLocation.h (modified) * src/Common/SemanticError.cc (modified) Errors are now sorted by code-location/description Wed, 11 Nov 2020 21:49:40 GMT Thierry Delisle [b0b1e15] * src/Common/Stats/ResolveTime.cc (modified) fix timestamp generation for arm inside the compiler Thu, 29 Oct 2020 20:46:04 GMT Andrew Beach [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 ... Tue, 27 Oct 2020 20:14:48 GMT Thierry Delisle [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 Sat, 24 Oct 2020 01:06:16 GMT Fangren Yu [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 Thu, 17 Sep 2020 17:43:09 GMT Thierry Delisle [57e0289] * src/Common/Stats/ResolveTime.cc (added) * src/Common/Stats/ResolveTime.h (added) * src/Common/Stats/Stats.cc (modified) * src/Common/module.mk (modified) * src/ResolvExpr/Resolver.cc (modified) Added stats option to print stats per expression in new-ast resolution Wed, 09 Sep 2020 21:03:40 GMT Andrew Beach [1c01c58] * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/exception.cfa (modified) * libcfa/src/concurrency/exception.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/exception.h (modified) * libcfa/src/exception.hfa (modified) * src/Common/Examine.cc (added) * src/Common/Examine.h (added) * src/Common/module.mk (modified) * src/Concurrency/Keywords.cc (modified) * src/Virtual/Tables.cc (added) * src/Virtual/Tables.h (added) * src/Virtual/module.mk (modified) * tests/exceptions/cancel/.expect/coroutine.txt (added) * tests/exceptions/cancel/coroutine.cfa (added) Rather large commit to get coroutine cancellation working. This ... Tue, 25 Aug 2020 15:58:21 GMT Thierry Delisle [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) Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach [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 20:40:15 GMT Thierry Delisle [22f94a4] * .gitignore (modified) * Jenkinsfile_disabled (modified) * Makefile.in (deleted) * aclocal.m4 (deleted) * autogen.sh (added) * automake/compile (deleted) * automake/config.guess (deleted) * automake/config.sub (deleted) * automake/depcomp (deleted) * automake/install-sh (deleted) * automake/libtool.m4 (deleted) * automake/ltmain.sh (deleted) * automake/ltoptions.m4 (deleted) * automake/ltsugar.m4 (deleted) * automake/ltversion.m4 (deleted) * automake/lt~obsolete.m4 (deleted) * automake/missing (deleted) * automake/test-driver (deleted) * automake/ylwrap (deleted) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (deleted) * benchmark/benchcltr.hfa (added) * benchmark/creation/node_cor.js (modified) * benchmark/creation/rust_tokio_thrd.rs (added) * benchmark/ctxswitch/node_cor.js (modified) * benchmark/ctxswitch/rust_await.rs (added) * benchmark/ctxswitch/rust_tokio_thrd.rs (added) * benchmark/exclude (modified) * benchmark/io/batch-readv.c (added) * benchmark/io/http/channel.cfa (added) * benchmark/io/http/channel.hfa (added) * benchmark/io/http/filecache.cfa (added) * benchmark/io/http/filecache.hfa (added) * benchmark/io/http/main.cfa (added) * benchmark/io/http/options.cfa (added) * benchmark/io/http/options.hfa (added) * benchmark/io/http/protocol.cfa (added) * benchmark/io/http/protocol.hfa (added) * benchmark/io/http/worker.cfa (added) * benchmark/io/http/worker.hfa (added) * benchmark/io/io_uring.h (added) * benchmark/io/readv.cfa (modified) * benchmark/readyQ/yield.cfa (added) * benchmark/readyQ/yield.cpp (added) * configure (deleted) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (modified) * doc/papers/concurrency/mail2 (modified) * doc/papers/concurrency/response2 (added) * doc/proposals/vtable.md (modified) * doc/theses/thierry_delisle_PhD/code/bitbench/select.cpp (added) * doc/theses/thierry_delisle_PhD/code/links.hpp (added) * doc/theses/thierry_delisle_PhD/code/process.sh (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/runperf.sh (added) * doc/theses/thierry_delisle_PhD/code/snzi-packed.hpp (added) * doc/theses/thierry_delisle_PhD/code/snzi.hpp (added) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) * doc/theses/thierry_delisle_PhD/code/work_stealing.hpp (added) * driver/Makefile.in (deleted) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/hashtable.cfa (added) * examples/hashtable2.cfa (added) * examples/io/cat.c (moved) * examples/io/filereader.c (modified) * examples/io/simple/server.c (modified) * examples/io/simple/server_epoll.c (added) * libcfa/Makefile.in (deleted) * libcfa/aclocal.m4 (deleted) * libcfa/automake/compile (deleted) * libcfa/automake/config.guess (deleted) * libcfa/automake/config.sub (deleted) * libcfa/automake/depcomp (deleted) * libcfa/automake/install-sh (deleted) * libcfa/automake/libtool.m4 (deleted) * libcfa/automake/ltmain.sh (deleted) * libcfa/automake/ltoptions.m4 (deleted) * libcfa/automake/ltsugar.m4 (deleted) * libcfa/automake/ltversion.m4 (deleted) * libcfa/automake/lt~obsolete.m4 (deleted) * libcfa/automake/missing (deleted) * libcfa/configure (deleted) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (deleted) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/defines.hfa.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (deleted) * libcfa/src/bitmanip.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/random.hfa (added) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.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 (added) * libcfa/src/concurrency/io/types.hfa (added) * libcfa/src/concurrency/iocall.cfa (added) * libcfa/src/concurrency/iofwd.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (added) * libcfa/src/concurrency/kernel/startup.cfa (added) * 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/preemption.hfa (modified) * libcfa/src/concurrency/ready_queue.cfa (added) * libcfa/src/concurrency/ready_subqueue.hfa (added) * libcfa/src/concurrency/snzi.hfa (added) * libcfa/src/concurrency/stats.cfa (added) * libcfa/src/concurrency/stats.hfa (added) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/containers/stackLockFree.hfa (added) * libcfa/src/containers/vector.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/exception.hfa (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/heap.hfa (added) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/memory.cfa (added) * libcfa/src/memory.hfa (added) * libcfa/src/parseargs.cfa (added) * libcfa/src/parseargs.hfa (added) * libcfa/src/stdhdr/assert.h (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/stdhdr/sys/mman.h (added) * libcfa/src/stdhdr/sys/time.h (added) * libcfa/src/stdhdr/sys/ucontext.h (deleted) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * longrun_tests/Makefile.am (modified) * longrun_tests/Makefile.in (deleted) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.in (deleted) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/SynTree/Expression.h (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip3.x64.txt (modified) * tests/.expect/bitmanip3.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/copyfile.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/global-monomorph.txt (added) * tests/.expect/init1.txt (added) * tests/.expect/manipulatorsInput.x64.txt (added) * tests/.expect/manipulatorsInput.x86.txt (moved) * tests/.expect/manipulatorsOutput3.x64.txt (added) * tests/.expect/poly-cycle.txt (added) * tests/.expect/smart-pointers.txt (added) * tests/.expect/time.txt (modified) * tests/.in/copyfile.txt (modified) * tests/.in/manipulatorsInput.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (deleted) * tests/avltree/avl1.cfa (modified) * tests/bitmanip3.cfa (modified) * tests/bugs/10.cfa (added) * tests/bugs/104.cfa (added) * tests/bugs/140.cfa (added) * tests/bugs/194.cfa (added) * tests/bugs/20.cfa (added) * tests/bugs/203-2.cfa (added) * tests/bugs/203-7.cfa (added) * tests/bugs/203-9.cfa (added) * tests/bugs/44.cfa (added) * tests/bugs/46.cfa (added) * tests/bugs/5.cfa (added) * tests/bugs/66.cfa (added) * tests/bugs/7.cfa (added) * tests/bugs/91.cfa (added) * tests/bugs/92.cfa (added) * tests/bugs/95.cfa (added) * tests/castError.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/park/.expect/start_parked.txt (added) * tests/concurrent/park/start_parked.cfa (added) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/signal/disjoint.cfa (modified) * tests/concurrent/waitfor/when.cfa (modified) * tests/copyfile.cfa (modified) * tests/errors/.expect/completeType.x64.txt (moved) * tests/errors/.expect/completeType.x86.txt (added) * tests/exceptions/.expect/defaults.txt (added) * tests/exceptions/.expect/polymorphic.txt (added) * tests/exceptions/.expect/resume.txt (modified) * tests/exceptions/.expect/terminate.txt (modified) * tests/exceptions/.expect/type-check.txt (added) * tests/exceptions/.expect/virtual-cast.txt (added) * tests/exceptions/.expect/virtual-poly.txt (added) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/data-except.cfa (modified) * tests/exceptions/defaults.cfa (added) * tests/exceptions/finally.cfa (modified) * tests/exceptions/interact.cfa (modified) * tests/exceptions/polymorphic.cfa (added) * tests/exceptions/resume.cfa (modified) * tests/exceptions/terminate.cfa (modified) * tests/exceptions/type-check.cfa (added) * tests/exceptions/virtual-cast.cfa (moved) * tests/exceptions/virtual-poly.cfa (added) * tests/global-monomorph.cfa (added) * tests/heap.cfa (modified) * tests/init1.cfa (added) * tests/io2.cfa (modified) * tests/list/.expect/dlist-insert-remove.txt (modified) * tests/list/dlist-insert-remove.cfa (modified) * tests/manipulatorsInput.cfa (modified) * tests/manipulatorsOutput3.cfa (modified) * tests/poly-cycle.cfa (added) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/searchsort.cfa (modified) * tests/smart-pointers.cfa (added) * tests/test.py (modified) * tests/time.cfa (modified) * tools/Makefile.in (deleted) * tools/build/cfa.m4 (moved) * tools/build/cfa.make (moved) * tools/build/push2dist.sh (modified) * tools/gdb/utils-gdb.py (modified) * tools/perf/process_halts.sh (added) * tools/perf/view_halts.py (added) * tools/prettyprinter/Makefile.in (deleted) Merge branch 'master' into new-ast Fri, 31 Jul 2020 15:06:44 GMT Andrew Beach [6dba8755] * src/Common/ScopedMap.h (modified) * src/Virtual/ExpandCasts.cc (modified) I was given a trick with the indexer that fixes some scoping issues ... Tue, 28 Jul 2020 18:37:36 GMT Fangren Yu [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 Fri, 17 Jul 2020 19:46:07 GMT Thierry Delisle [680ae0e] * src/Common/PassVisitor.proto.h (modified) Changed cleanup stack in pass visitor to use std::vector Fri, 03 Jul 2020 20:50:21 GMT Fangren Yu [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 Mon, 06 Apr 2020 20:46:28 GMT Thierry Delisle [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 Thu, 27 Feb 2020 22:24:09 GMT Thierry Delisle [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 Tue, 11 Feb 2020 21:14:46 GMT Thierry Delisle [eeaa3e2] * src/CodeGen/OperatorTable.cc (modified) * src/Common/utility.h (modified) * src/SymTab/Demangle.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 11 Feb 2020 20:15:42 GMT Peter A. Buhr [8abca06] * src/Common/utility.h (modified) * src/SymTab/Demangle.cc (modified) rewrite isPrefix using memcmp to increase performance, same change in ... Tue, 11 Feb 2020 19:59:04 GMT Thierry Delisle [98538288] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/Common/SemanticError.h (modified) * src/SymTab/Validate.cc (modified) Moved VerifyCtorDtorAssign up and changed return type check to ... Fri, 07 Feb 2020 21:12:01 GMT Thierry Delisle [74e3263] * src/Common/PassVisitor.impl.h (modified) Fixed error in pass visitor where UnionInstType added wrong thing to ... Fri, 17 Jan 2020 15:49:22 GMT Andrew Beach [095b99a] * src/Common/Stats/Time.h (modified) * src/SymTab/Validate.cc (modified) Added TimeCall as a more flexible alternative to TimeBlock. TimeBlock ... Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr [07de76b] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (moved) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * tests/.expect/completeTypeError.txt (modified) remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move ... Thu, 21 Nov 2019 18:03:17 GMT Thierry Delisle [1a69a90] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/main.cc (modified) Added --colors command line arguments to have more control on whether ... Thu, 21 Nov 2019 15:52:18 GMT Thierry Delisle [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 [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 ... Fri, 27 Sep 2019 19:35:46 GMT Andrew Beach [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 ... Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr [033ff37] * examples/Attributes.c (deleted) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) remove attribute expression '@'name mechanism Wed, 24 Jul 2019 22:47:41 GMT Peter A. Buhr [77d2432] * src/Common/Eval.cc (modified) * src/Common/utility.h (modified) patch sizeof evaluation problem temporarily, and make parameters constant Fri, 19 Jul 2019 18:16:01 GMT Thierry Delisle [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 [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 21:42:33 GMT Thierry Delisle [e3d7f9f] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) Const PassVisitor now supports the indexer Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle [7870799] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Cast cost and conversion cost now take constant parameters. This ... Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss [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 ... Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss [c1ed2ee] * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Continued resolver porting * mostly initialization and validation ... Thu, 20 Jun 2019 18:32:55 GMT Aaron Moss [234b1cb] * src/AST/Init.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Port TupleAssignment to new AST Mon, 17 Jun 2019 15:26:14 GMT Thierry Delisle [120a28c3] * configure (modified) * configure.ac (modified) * src/Common/Stats/Heap.cc (modified) Added support for address-sanitizer which requires disabling Heap ... 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 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 ... Mon, 27 May 2019 15:08:54 GMT Thierry Delisle [d908563] * doc/proposals/vtable.md (modified) * libcfa/src/iostream.cfa (modified) * src/AST/Attribute.cpp (modified) * src/AST/Attribute.hpp (modified) * src/AST/Bitfield.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (added) * src/AST/GenericSubstitution.hpp (added) * src/AST/Label.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.cpp (added) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (added) * src/AST/Print.hpp (added) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) * src/main.cc (modified) Merge branch 'master' into cleanup-dtors Fri, 24 May 2019 14:19:41 GMT Thierry Delisle [933f32f] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (added) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * benchmark/tls-fetch_add.c (added) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/C++Cor-ts.cpp (added) * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.cpp (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Fib.sim (added) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (added) * doc/papers/concurrency/examples/Fmt.sim (added) * doc/papers/concurrency/examples/Format.cc (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.cpp (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/ProdCons.cpp (added) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/papers/concurrency/examples/ProdCons.sim (added) * doc/papers/concurrency/examples/Refactor.py (added) * doc/papers/concurrency/examples/counter.cpp (added) * doc/papers/concurrency/mail (modified) * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) * doc/proposals/specialized_casts.md (added) * doc/proposals/unicode.html (added) * doc/proposals/virtual.txt (deleted) * doc/proposals/vtable.md (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/bu-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/metric-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/user.tex (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdhdr/stdbool.h (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.am (added) * longrun_tests/Makefile.in (moved) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) * src/AST/Attribute.cpp (added) * src/AST/Attribute.hpp (added) * src/AST/Bitfield.hpp (added) * src/AST/CVQualifiers.hpp (added) * src/AST/Convert.cpp (added) * src/AST/Convert.hpp (added) * src/AST/Decl.cpp (added) * src/AST/Decl.hpp (added) * src/AST/DeclReplacer.cpp (added) * src/AST/DeclReplacer.hpp (added) * src/AST/Expr.cpp (added) * src/AST/Expr.hpp (added) * src/AST/FunctionSpec.hpp (added) * src/AST/Fwd.hpp (added) * src/AST/Init.cpp (added) * src/AST/Init.hpp (added) * src/AST/Label.hpp (added) * src/AST/LinkageSpec.cpp (added) * src/AST/LinkageSpec.hpp (added) * src/AST/Node.cpp (added) * src/AST/Node.hpp (added) * src/AST/ParseNode.hpp (added) * src/AST/Pass.hpp (added) * src/AST/Pass.impl.hpp (added) * src/AST/Pass.proto.hpp (added) * src/AST/Stmt.cpp (added) * src/AST/Stmt.hpp (added) * src/AST/StorageClasses.hpp (added) * src/AST/Type.cpp (added) * src/AST/Type.hpp (added) * src/AST/TypeSubstitution.cpp (added) * src/AST/TypeSubstitution.hpp (added) * src/AST/TypeVar.hpp (added) * src/AST/Visitor.hpp (added) * src/AST/module.mk (added) * src/AST/porting.md (added) * src/BasicTypes-gen.cc (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Options.h (added) * src/CodeGen/module.mk (modified) * src/Common/Assert.cc (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/PersistentMap.h (added) * src/Common/SemanticError.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/config.h.in (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/abs.txt (modified) * tests/.expect/ato.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/complex.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/identity.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/math1.txt (modified) * tests/.expect/math2.txt (modified) * tests/.expect/math3.txt (modified) * tests/.expect/math4.txt (modified) * tests/.expect/minmax.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/array.cfa (modified) * tests/builtins/sync.cfa (modified) * tests/castError.cfa (modified) * tests/completeTypeError.cfa (modified) * tests/concurrent/coroutineThen.cfa (added) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (added) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/config.py.in (modified) * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (added) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (added) * tests/declarationSpecifier.cfa (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.am (deleted) * tests/preempt_longrun/block.c (deleted) * tests/preempt_longrun/coroutine.c (deleted) * tests/preempt_longrun/disjoint.c (deleted) * tests/preempt_longrun/preempt.c (deleted) * tests/preempt_longrun/wait.c (deleted) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/init_once.cfa (modified) * tests/rational.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/expanded-line-count.sh (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Thu, 23 May 2019 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:29:00 GMT Thierry Delisle [342146e1] * src/Common/PassVisitor.impl.h (modified) Old pass visitor no longer leaks macros Wed, 22 May 2019 21:01:53 GMT Michael Brooks [8abee136] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/Common/utility.h (modified) * src/include/cassert (modified) early bug fixes from running conversion old-new-old, just before resolver Tue, 21 May 2019 15:26:40 GMT Thierry Delisle [0588d8c] * src/Common/Eval.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Stubbed a few routines for later to help compilation Fri, 17 May 2019 16:08:46 GMT Thierry Delisle [77bfc80] * src/Common/SemanticError.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/SynTree/Declaration.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Fixed some warnings and better messaging for unimplemented stubs Thu, 16 May 2019 20:13:19 GMT Thierry Delisle [87701b6] * src/AST/Attribute.hpp (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/Init.cpp (modified) * src/AST/Init.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/Node.cpp (added) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/Common/utility.h (modified) Tentative fix for increment/decrement and implented a few more visits Mon, 13 May 2019 21:10:04 GMT Thierry Delisle [712348a] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Removed all traces of SubRange which didn't actually exist and made ... Fri, 10 May 2019 18:48:09 GMT Thierry Delisle [37e3af4] * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) Check that no-one returns null from mutate and prevent macro from leaking Fri, 10 May 2019 16:02:12 GMT Thierry Delisle [292d599b] * src/Common/Stats/Heap.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) Fixed problem with TCMALLOC and heap stats Wed, 08 May 2019 20:19:13 GMT Thierry Delisle [6a625de] * src/AST/Node.hpp (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/include/cassert (modified) * src/main.cc (modified) Some clean-up, some more assertions to check assumptions and changes ... Tue, 07 May 2019 17:39:08 GMT Thierry Delisle [02fdb8e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (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/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/Tuples/TupleExpansion.cc (modified) Added WithConstTypeSubstitution accessory on pass visitor. Mostly ... Thu, 21 Mar 2019 18:21:59 GMT Aaron Moss [1febef62] * src/Common/PersistentMap.h (modified) Fix gcc-7 errors in persistent map Wed, 20 Mar 2019 17:53:02 GMT Aaron Moss [181a6af] * src/Common/PersistentMap.h (modified) Walk back history changes to persistent map Tue, 19 Mar 2019 15:31:06 GMT Aaron Moss [42f1279c] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Eagerly remove over-ridden generated functions Fri, 15 Mar 2019 19:43:39 GMT Aaron Moss [fdae913] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) modify persistent map to not re-initialize history nodes facing deletion Fri, 15 Mar 2019 18:22:25 GMT Aaron Moss [b419abb] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Lazy scope initialization for indexer Thu, 14 Mar 2019 15:53:28 GMT Aaron Moss [b8665e3] * src/Common/PassVisitor.cc (modified) * src/Common/PersistentMap.h (added) * src/Common/Stats/Counter.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/main.cc (modified) First build with persistent-map indexer Wed, 06 Mar 2019 15:33:52 GMT tdelisle [fca6ca6] * src/Common/Stats/Time.cc (modified) Fixed % of parent when more than one level ends at the same time Wed, 06 Mar 2019 14:56:47 GMT tdelisle [61dbb54] * src/Common/Stats/Time.cc (modified) Fixed initialization of chrono stack not supported by g++-5 Tue, 05 Mar 2019 20:08:46 GMT tdelisle [c884f2d] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/SymTab/Validate.cc (modified) Fixed error for % of parent printing in timing sections and added ... Tue, 05 Mar 2019 19:17:45 GMT tdelisle [3c0d4cd] * src/Common/Stats/Time.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Fixed/implemented % of parent printing in timing sections Tue, 05 Mar 2019 18:14:52 GMT tdelisle [79eaeb7] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/main.cc (modified) Improved printing, parent printing still incorrect Mon, 04 Mar 2019 20:52:46 GMT tdelisle [4f97937] * src/Common/Stats/Base.h (modified) * src/Common/Stats/Stats.cc (modified) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) First draft at timing results, left is better printing and more data Mon, 04 Mar 2019 20:05:55 GMT tdelisle [1bb9a9a] * src/Common/Stats.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) Some clean-up and comenting Mon, 04 Mar 2019 19:53:55 GMT tdelisle [1cb7fab2] * src/Common/Stats.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/SymTab/Indexer.cc (modified) * src/main.cc (modified) Added better support for enabling/disabling/compiling-out statistics Fri, 01 Mar 2019 20:10:09 GMT tdelisle [675716e] * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Instrumented PassVisitor to print average/max depth Fri, 01 Mar 2019 19:10:34 GMT tdelisle [8e70823] * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) Extracted out BaseCounter as a generic key-value tree Thu, 28 Feb 2019 21:23:34 GMT tdelisle [351c519] * src/Common/Stats/Counter.h (modified) Added max counter to stats Thu, 28 Feb 2019 20:24:03 GMT tdelisle [a1099278] * src/Common/Stats/Counter.cc (modified) Fix printing of empty counters Thu, 28 Feb 2019 19:33:20 GMT tdelisle [8f74a6a] * src/Common/Stats.h (modified) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Added code to support generic statistic counters in the compiler Thu, 28 Feb 2019 17:03:24 GMT tdelisle [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... Wed, 23 Jan 2019 21:52:16 GMT Thierry Delisle [cde3891] * .gitignore (modified) * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/cfa.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/compile/empty.cfa (moved) * benchmark/creation/cfa_cor.cfa (moved) * benchmark/creation/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_cor.cfa (moved) * benchmark/ctxswitch/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_thrd2.cfa (moved) * benchmark/cxx.cpp (added) * benchmark/mutex/cfa1.cfa (moved) * benchmark/mutex/cfa2.cfa (moved) * benchmark/mutex/cfa4.cfa (moved) * benchmark/schedext/cfa1.cfa (moved) * benchmark/schedext/cfa2.cfa (moved) * benchmark/schedext/cfa4.cfa (moved) * benchmark/schedint/cfa1.cfa (moved) * benchmark/schedint/cfa2.cfa (moved) * benchmark/schedint/cfa4.cfa (moved) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Makefile (modified) * doc/proposals/flags.md (modified) * doc/proposals/virtual.txt (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss/phd/Makefile (deleted) * doc/theses/aaron_moss/phd/aaron-thesis.bib (deleted) * doc/theses/aaron_moss/phd/background.tex (deleted) * doc/theses/aaron_moss/phd/conclusion.tex (deleted) * doc/theses/aaron_moss/phd/generic-types.tex (deleted) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (deleted) * doc/theses/aaron_moss/phd/type-environment.tex (deleted) * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (added) * doc/theses/aaron_moss_PhD/phd/background.tex (added) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (added) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (added) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (added) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/Makefile (added) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/pdc.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (moved) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * src/CodeTools/ResolvProtoDump.cc (added) * src/CodeTools/ResolvProtoDump.h (added) * src/CodeTools/module.mk (modified) * src/Common/FilterCombos.h (added) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (added) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (added) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/forctrl.txt (deleted) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (added) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Thu, 18 Oct 2018 20:26:11 GMT Aaron Moss [fbecee5] * src/Common/utility.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) rational.cfa passes deferred resolution pass now Fri, 12 Oct 2018 19:19:35 GMT Aaron Moss [6d6e829] * src/Common/FilterCombos.h (added) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) First compiling draft of deferred assertions (build failure) Thu, 06 Sep 2018 14:51:37 GMT Rob Schluntz [2f86ddf] * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Add __Destructor handlers for argument and return temporaries, merge ... Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [5cbacf1] * src/Common/Eval.cc (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/Makefile.in (modified) * src/Validate/HandleAttributes.cc (modified) Refactor eval into Common Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [fd2debf] * src/Common/SemanticError.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) Add checks for constructor/destructor attribute arguments