# # ChangeLog for src/SynTree # # Generated by Trac 1.2.1 # Apr 27, 2024, 3:06:43 PM 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 Wed, 22 May 2019 19:23:25 GMT Thierry Delisle [f4c2f1a] * doc/proposals/vtable.md (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Stmt.hpp (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 22 May 2019 19:17:48 GMT Thierry Delisle [09ab71a] * src/SynTree/Declaration.h (modified) Made print function final because it effectively was Wed, 22 May 2019 17:02:13 GMT Michael Brooks [20de6fb] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) finished draft past of converting expressions Fri, 17 May 2019 20:01:50 GMT Michael Brooks [172d9342] * src/AST/Convert.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (added) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) added old-to-new conversion for TypeSubstitution, within a framework ... 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 22:51:18 GMT Aaron Moss [246c245] * libcfa/src/concurrency/coroutine.hfa (modified) * 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.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.cpp (added) * src/AST/TypeSubstitution.hpp (added) * src/AST/porting.md (modified) * src/Common/utility.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/SynTree/SynTree.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 16 May 2019 22:46:51 GMT Aaron Moss [9b4f329] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SynTree/SynTree.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Finished porting AST::Expr subclasses Thu, 16 May 2019 17:36:51 GMT Thierry Delisle [3d8d7a7] * src/Parser/ExpressionNode.cc (modified) * src/SynTree/SynTree.h (modified) Remove some unnecessary code 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:49:18 GMT Thierry Delisle [1f93c2c] * src/SynTree/Declaration.h (modified) Made some more fields prublic in order to ease conversion 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, 02 May 2019 17:57:05 GMT Andrew Beach [76f7fc7] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Options.h (modified) * src/SynTree/Declaration.h (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) Reduced cases where unused is placed on anonymous objects. ... Wed, 01 May 2019 11:49:16 GMT Peter A. Buhr [1690778] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeSubstitution.h (modified) change from map/set to unordered map/set Wed, 10 Apr 2019 19:15:41 GMT Aaron Moss [7a63486] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) Allow merging between complete/incomplete type variables Thu, 21 Mar 2019 20:28:14 GMT Aaron Moss [17129659] * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/warnings/.expect/self-assignment.txt (modified) Fix line numbers in tests Wed, 20 Mar 2019 20:19:29 GMT Aaron Moss [92d41a4] * 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) Merge branch 'persistent-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 Thu, 14 Mar 2019 02:18:08 GMT Peter A. Buhr [35a2d47] * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/SynTree/Statement.h (modified) formatting Mon, 11 Mar 2019 02:51:40 GMT Peter A. Buhr [6fd1955] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) update GENERATED BY file name Thu, 28 Feb 2019 20:24:11 GMT tdelisle [be30a90] * src/SynTree/AddressExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Feb 2019 18:36:19 GMT Peter A. Buhr [734ceb3e] * src/SynTree/AddressExpr.cc (modified) print error message rather than fail when taking address of non- ... 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, 20 Feb 2019 04:24:40 GMT Peter A. Buhr [5170d95] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) fix implict void cast problem Fri, 15 Feb 2019 19:37:56 GMT Peter A. Buhr [ada4575] * src/BasicTypes-gen.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) programmatically creation basic-type declarations Thu, 14 Feb 2019 15:26:59 GMT Peter A. Buhr [e15853c] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleExpansion.cc (modified) remove leading underscores in enums for _FloatNN and _Bool Tue, 12 Feb 2019 02:37:43 GMT Peter A. Buhr [cdcddfe1] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) add signedness to cost model and _FloatNN Mon, 11 Feb 2019 13:30:38 GMT Peter A. Buhr [aac99da] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change BasicType::Bool to BasicType::_Bool Wed, 23 Jan 2019 21:52:16 GMT Thierry Delisle [cde3891] * .gitignore (modified) * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/cfa.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/compile/empty.cfa (moved) * benchmark/creation/cfa_cor.cfa (moved) * benchmark/creation/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_cor.cfa (moved) * benchmark/ctxswitch/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_thrd2.cfa (moved) * benchmark/cxx.cpp (added) * benchmark/mutex/cfa1.cfa (moved) * benchmark/mutex/cfa2.cfa (moved) * benchmark/mutex/cfa4.cfa (moved) * benchmark/schedext/cfa1.cfa (moved) * benchmark/schedext/cfa2.cfa (moved) * benchmark/schedext/cfa4.cfa (moved) * benchmark/schedint/cfa1.cfa (moved) * benchmark/schedint/cfa2.cfa (moved) * benchmark/schedint/cfa4.cfa (moved) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Makefile (modified) * doc/proposals/flags.md (modified) * doc/proposals/virtual.txt (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss/phd/Makefile (deleted) * doc/theses/aaron_moss/phd/aaron-thesis.bib (deleted) * doc/theses/aaron_moss/phd/background.tex (deleted) * doc/theses/aaron_moss/phd/conclusion.tex (deleted) * doc/theses/aaron_moss/phd/generic-types.tex (deleted) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (deleted) * doc/theses/aaron_moss/phd/type-environment.tex (deleted) * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (added) * doc/theses/aaron_moss_PhD/phd/background.tex (added) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (added) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (added) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (added) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/Makefile (added) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/pdc.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (moved) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * src/CodeTools/ResolvProtoDump.cc (added) * src/CodeTools/ResolvProtoDump.h (added) * src/CodeTools/module.mk (modified) * src/Common/FilterCombos.h (added) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (added) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (added) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/forctrl.txt (deleted) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (added) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Mon, 14 Jan 2019 20:38:28 GMT Thierry Delisle [276a55b2] * src/Common/FilterCombos.h (added) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * 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/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/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/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/.expect/castError.txt (modified) * tests/searchsort.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 14 Jan 2019 20:35:49 GMT Thierry Delisle [07ec1a2] * src/Parser/TypeData.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) Removed unnecessary trailing whitespaces in tests Thu, 10 Jan 2019 20:50:34 GMT Aaron Moss [e99e43f] * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (added) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/cxx.cpp (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/flags.md (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/nopic.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (moved) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge remote-tracking branch 'plg/master' into deferred_resn Thu, 10 Jan 2019 18:32:06 GMT Thierry Delisle [08222c7] * src/ResolvExpr/Alternative.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * tests/.expect/castError.txt (modified) * tests/.expect/scopeErrors.txt (modified) Fixed some errors with incorrect trailing whitespace in the tests Mon, 19 Nov 2018 22:05:12 GMT Aaron Moss [0b00df0] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) First draft of deferred expression resolution; DOES NOT BUILD Fri, 02 Nov 2018 20:14:33 GMT Aaron Moss [f441c88] * src/Parser/TypeData.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) Implement basetypeof Fri, 28 Sep 2018 18:51:18 GMT Andrew Beach [6c89ecc] * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Added Constant::from_string constructor wrapper. 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, 27 Aug 2018 20:40:34 GMT Rob Schluntz [90152a4] * .autom4te.cfg (added) * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * README (modified) * aclocal.m4 (modified) * automake/cfa.m4 (added) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/missing (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * benchmark/Makefile.am (added) * benchmark/Makefile.in (added) * benchmark/Monitor.c (added) * benchmark/bench.h (added) * benchmark/compile/empty.c (moved) * benchmark/creation/JavaThread.java (moved) * benchmark/creation/cfa_cor.c (added) * benchmark/creation/cfa_thrd.c (added) * benchmark/creation/goroutine.go (moved) * benchmark/creation/pthreads.c (moved) * benchmark/creation/upp_cor.cc (moved) * benchmark/creation/upp_thrd.cc (moved) * benchmark/ctxswitch/JavaThread.java (moved) * benchmark/ctxswitch/cfa_cor.c (added) * benchmark/ctxswitch/cfa_thrd.c (added) * benchmark/ctxswitch/cfa_thrd2.c (added) * benchmark/ctxswitch/goroutine.go (moved) * benchmark/ctxswitch/kos_fibre.cpp (added) * benchmark/ctxswitch/kos_fibre2.cpp (added) * benchmark/ctxswitch/pthreads.c (moved) * benchmark/ctxswitch/upp_cor.cc (moved) * benchmark/ctxswitch/upp_thrd.cc (moved) * benchmark/fetch_add.c (moved) * benchmark/function.c (added) * benchmark/interrupt_linux.c (moved) * benchmark/loop.c (added) * benchmark/mutex/JavaThread.java (moved) * benchmark/mutex/cfa1.c (added) * benchmark/mutex/cfa2.c (added) * benchmark/mutex/cfa4.c (added) * benchmark/mutex/pthreads.c (moved) * benchmark/mutex/upp.cc (moved) * benchmark/schedext/cfa1.c (added) * benchmark/schedext/cfa2.c (added) * benchmark/schedext/cfa4.c (added) * benchmark/schedext/upp.cc (moved) * benchmark/schedint/JavaThread.java (moved) * benchmark/schedint/cfa1.c (added) * benchmark/schedint/cfa2.c (added) * benchmark/schedint/cfa4.c (added) * benchmark/schedint/pthreads.c (added) * benchmark/schedint/upp.cc (moved) * config.h.in (deleted) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/NDA/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf (moved) * doc/NDA/Cover_Letter.pdf (moved) * doc/NDA/Daniel_Caccamo.pdf (moved) * doc/NDA/NDA.pdf (moved) * doc/NDA/Neda_Paryab.pdf (moved) * doc/NDA/Peter_Buhr-30-jul-2014.pdf (moved) * doc/aaron_comp_II/.gitignore (deleted) * doc/aaron_comp_II/Makefile (deleted) * doc/aaron_comp_II/comp_II.tex (deleted) * doc/bibliography/cfa.bib (deleted) * doc/bibliography/pl.bib (added) * doc/generic_types/.gitignore (deleted) * doc/generic_types/Makefile (deleted) * doc/generic_types/evaluation/timing.gp (deleted) * doc/generic_types/generic_types.tex (deleted) * doc/papers/AMA/AMA-stix-1510051231000.zip (added) * doc/papers/AMA/AMA-stix/Documents/.log (added) * doc/papers/AMA/AMA-stix/Documents/README.txt (added) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.pdf (added) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (added) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-BoldItalic.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Italic.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Regular.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/Windows-Stix-fontinstaller.exe (added) * doc/papers/AMA/AMA-stix/Stix-fonts/a_axxd65.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stix.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixbb.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixfrak.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixscr.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixsf.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stix.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixcal.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixex.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixtt.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-italic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1stix.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-italic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2stix.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra1.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra1.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra2.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra2.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra3.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra3.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt.pfb (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ot1.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ot2.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-t1.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ts1.enc (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.dtx (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.fdd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.map (added) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.sty (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bolditalic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-italic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.vf (added) * doc/papers/AMA/AMA-stix/Stix-fonts/t1stix.fd (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bold.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-italic.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral.tfm (added) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1stix.fd (added) * doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty (added) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst (added) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst.orig (added) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (added) * doc/papers/AMA/AMA-stix/ama/empty.eps (added) * doc/papers/AMA/AMA-stix/ama/empty.pdf (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.pdf (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.tex (added) * doc/papers/OOPSLA17/.gitignore (added) * doc/papers/OOPSLA17/ACM-Reference-Format.bst (moved) * doc/papers/OOPSLA17/Makefile (added) * doc/papers/OOPSLA17/acmart-pacmpl-template.tex (moved) * doc/papers/OOPSLA17/acmart.cls (moved) * doc/papers/OOPSLA17/evaluation/.gitignore (moved) * doc/papers/OOPSLA17/evaluation/Makefile (moved) * doc/papers/OOPSLA17/evaluation/bench.h (moved) * doc/papers/OOPSLA17/evaluation/bench.hpp (moved) * doc/papers/OOPSLA17/evaluation/c-bench.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.h (moved) * doc/papers/OOPSLA17/evaluation/c-print.c (moved) * doc/papers/OOPSLA17/evaluation/c-print.h (moved) * doc/papers/OOPSLA17/evaluation/c-stack.c (moved) * doc/papers/OOPSLA17/evaluation/c-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-bench.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cpp-bench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-pair.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-print.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-stack.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vbench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vprint.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.hpp (moved) * doc/papers/OOPSLA17/evaluation/object.hpp (moved) * doc/papers/OOPSLA17/evaluation/timing.dat (moved) * doc/papers/OOPSLA17/evaluation/timing.gp (added) * doc/papers/OOPSLA17/evaluation/timing.xlsx (moved) * doc/papers/OOPSLA17/generic_types.tex (added) * doc/papers/OOPSLA17/mail (moved) * doc/papers/OOPSLA17/refereeReport.txt (moved) * doc/papers/concurrency/.gitignore (added) * doc/papers/concurrency/Makefile (added) * doc/papers/concurrency/Paper.tex (added) * doc/papers/concurrency/annex/local.bib (added) * doc/papers/concurrency/figures/RunTimeStructure.fig (added) * doc/papers/concurrency/figures/dependency.fig (moved) * doc/papers/concurrency/figures/ext_monitor.fig (added) * doc/papers/concurrency/figures/int_monitor.fig (moved) * doc/papers/concurrency/figures/monitor.fig (added) * doc/papers/concurrency/figures/monitor_structs.fig (moved) * doc/papers/concurrency/figures/system.fig (added) * doc/papers/concurrency/mail (added) * doc/papers/general/.gitignore (added) * doc/papers/general/Makefile (added) * doc/papers/general/Paper.tex (added) * doc/papers/general/evaluation/.gitignore (added) * doc/papers/general/evaluation/Makefile (added) * doc/papers/general/evaluation/bench.h (added) * doc/papers/general/evaluation/bench.hpp (added) * doc/papers/general/evaluation/c-bench.c (added) * doc/papers/general/evaluation/c-pair.c (added) * doc/papers/general/evaluation/c-pair.h (added) * doc/papers/general/evaluation/c-print.c (added) * doc/papers/general/evaluation/c-print.h (added) * doc/papers/general/evaluation/c-stack.c (added) * doc/papers/general/evaluation/c-stack.h (added) * doc/papers/general/evaluation/cfa-bench.c (added) * doc/papers/general/evaluation/cfa-pair.c (added) * doc/papers/general/evaluation/cfa-pair.h (added) * doc/papers/general/evaluation/cfa-print.c (added) * doc/papers/general/evaluation/cfa-print.h (added) * doc/papers/general/evaluation/cfa-stack.c (added) * doc/papers/general/evaluation/cfa-stack.h (added) * doc/papers/general/evaluation/cpp-bench.cpp (added) * doc/papers/general/evaluation/cpp-pair.hpp (added) * doc/papers/general/evaluation/cpp-print.hpp (added) * doc/papers/general/evaluation/cpp-stack.hpp (added) * doc/papers/general/evaluation/cpp-vbench.cpp (added) * doc/papers/general/evaluation/cpp-vprint.hpp (added) * doc/papers/general/evaluation/cpp-vstack.cpp (added) * doc/papers/general/evaluation/cpp-vstack.hpp (added) * doc/papers/general/evaluation/object.hpp (added) * doc/papers/general/evaluation/timing.dat (added) * doc/papers/general/evaluation/timing.gp (added) * doc/papers/general/evaluation/timing.xlsx (added) * doc/papers/general/fig.tex (added) * doc/papers/general/figures/Cdecl.fig (moved) * doc/papers/general/response (added) * doc/proposals/concurrency/.gitignore (deleted) * doc/proposals/concurrency/Makefile (deleted) * doc/proposals/concurrency/annex/glossary.tex (deleted) * doc/proposals/concurrency/annex/local.bib (deleted) * doc/proposals/concurrency/figures/system.fig (deleted) * doc/proposals/concurrency/text/basics.tex (deleted) * doc/proposals/concurrency/text/cforall.tex (deleted) * doc/proposals/concurrency/text/concurrency.tex (deleted) * doc/proposals/concurrency/text/frontpgs.tex (deleted) * doc/proposals/concurrency/text/future.tex (deleted) * doc/proposals/concurrency/text/internals.tex (deleted) * doc/proposals/concurrency/text/intro.tex (deleted) * doc/proposals/concurrency/text/parallelism.tex (deleted) * doc/proposals/concurrency/text/results.tex (deleted) * doc/proposals/concurrency/text/together.tex (deleted) * doc/proposals/concurrency/thesis.tex (deleted) * doc/proposals/concurrency/version (deleted) * doc/proposals/ctordtor/Makefile (modified) * doc/proposals/ctordtor/ctor.tex (modified) * doc/proposals/tuples/Makefile (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/proposals/user_conversions.md (modified) * doc/refrat/.gitignore (modified) * doc/refrat/Makefile (modified) * doc/refrat/keywords.tex (modified) * doc/refrat/refrat.bib (deleted) * doc/refrat/refrat.tex (modified) * doc/related_papers/Baker82.pdf (moved) * doc/related_papers/Bilson.pdf (moved) * doc/related_papers/Bilson03.pdf (moved) * doc/related_papers/Breuel.pdf (moved) * doc/related_papers/Buhr94.pdf (added) * doc/related_papers/Cormack81.pdf (moved) * doc/related_papers/CormackWright90.pdf (moved) * doc/related_papers/Ditchfield92.pdf (moved) * doc/related_papers/Grossman06.pdf (moved) * doc/related_papers/Jones97.pdf (moved) * doc/related_papers/Laufer92.pdf (moved) * doc/related_papers/Ziegler92.pdf (moved) * doc/related_papers/refrat98.pdf (moved) * doc/rob_thesis/.gitignore (deleted) * doc/rob_thesis/Makefile (deleted) * doc/rob_thesis/intro.tex (deleted) * doc/rob_thesis/thesis.tex (deleted) * doc/theses/aaron_moss/comp_II/.gitignore (added) * doc/theses/aaron_moss/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss/comp_II/Makefile (added) * doc/theses/aaron_moss/comp_II/comp_II.tex (added) * doc/theses/aaron_moss/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.png (moved) * doc/theses/rob_schluntz/.gitignore (added) * doc/theses/rob_schluntz/Makefile (added) * doc/theses/rob_schluntz/cfa-format.tex (moved) * doc/theses/rob_schluntz/conclusions.tex (moved) * doc/theses/rob_schluntz/ctordtor.tex (moved) * doc/theses/rob_schluntz/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/member.c (moved) * doc/theses/rob_schluntz/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz/examples/intro/designation.c (moved) * doc/theses/rob_schluntz/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz/examples/intro/ires.java (moved) * doc/theses/rob_schluntz/examples/intro/res.java (moved) * doc/theses/rob_schluntz/examples/intro/res1.java (moved) * doc/theses/rob_schluntz/examples/intro/res2.java (moved) * doc/theses/rob_schluntz/examples/intro/res3.java (moved) * doc/theses/rob_schluntz/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz/examples/malloc.cc (moved) * doc/theses/rob_schluntz/examples/nested.c (moved) * doc/theses/rob_schluntz/examples/poly.c (moved) * doc/theses/rob_schluntz/examples/scope_guard.h (moved) * doc/theses/rob_schluntz/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz/examples/tuples/named.c (moved) * doc/theses/rob_schluntz/examples/variadic/new.c (moved) * doc/theses/rob_schluntz/examples/variadic/print.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz/intro.tex (added) * doc/theses/rob_schluntz/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz/thesis.bib (moved) * doc/theses/rob_schluntz/thesis.tex (added) * doc/theses/rob_schluntz/tuples.tex (moved) * doc/theses/rob_schluntz/variadic.tex (moved) * doc/theses/thierry_delisle/.gitignore (added) * doc/theses/thierry_delisle/Makefile (added) * doc/theses/thierry_delisle/annex/glossary.tex (added) * doc/theses/thierry_delisle/annex/local.bib (added) * doc/theses/thierry_delisle/figures/dependency.fig (added) * doc/theses/thierry_delisle/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle/figures/int_monitor.fig (added) * doc/theses/thierry_delisle/figures/monitor.fig (moved) * doc/theses/thierry_delisle/figures/monitor_structs.fig (added) * doc/theses/thierry_delisle/figures/system.fig (added) * doc/theses/thierry_delisle/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle/notes/lit-review.md (moved) * doc/theses/thierry_delisle/notes/notes.md (moved) * doc/theses/thierry_delisle/style/cfa-format.tex (moved) * doc/theses/thierry_delisle/style/style.tex (moved) * doc/theses/thierry_delisle/text/basics.tex (added) * doc/theses/thierry_delisle/text/cforall.tex (added) * doc/theses/thierry_delisle/text/concurrency.tex (added) * doc/theses/thierry_delisle/text/frontpgs.tex (added) * doc/theses/thierry_delisle/text/future.tex (added) * doc/theses/thierry_delisle/text/internals.tex (added) * doc/theses/thierry_delisle/text/intro.tex (added) * doc/theses/thierry_delisle/text/parallelism.tex (added) * doc/theses/thierry_delisle/text/results.tex (added) * doc/theses/thierry_delisle/text/together.tex (added) * doc/theses/thierry_delisle/thePlan.md (moved) * doc/theses/thierry_delisle/thesis.tex (added) * doc/theses/thierry_delisle/version (added) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/.gitignore (modified) * doc/user/Makefile (modified) * doc/user/figures/Cdecl.fig (added) * doc/user/figures/EHMHierarchy.fig (moved) * doc/user/figures/pointer1.fig (moved) * doc/user/figures/pointer2.fig (moved) * doc/user/user.tex (modified) * doc/working/assertion_resolution.md (added) * doc/working/glen_conversions/float_promo.dia (added) * doc/working/glen_conversions/float_promo.png (added) * doc/working/glen_conversions/index.html (added) * driver/Makefile.am (added) * driver/Makefile.in (added) * driver/as.cc (added) * driver/cc1.cc (added) * driver/cfa.cc (added) * examples/ArrayN.c (added) * examples/Attributes.c (moved) * examples/Initialization.c (moved) * examples/Initialization2.c (moved) * examples/Makefile.example (moved) * examples/Members.c (moved) * examples/Misc.c (moved) * examples/MiscError.c (moved) * examples/Rank2.c (moved) * examples/Tuple.c (added) * examples/abstype.c (moved) * examples/constructors.c (moved) * examples/forward.c (moved) * examples/gc_no_raii/.gitignore (moved) * examples/gc_no_raii/bug-repro/assert.c (moved) * examples/gc_no_raii/bug-repro/blockers.tar.gz (moved) * examples/gc_no_raii/bug-repro/blockers/explicit_cast.c (moved) * examples/gc_no_raii/bug-repro/blockers/file_scope.c (added) * examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c (added) * examples/gc_no_raii/bug-repro/crash.c (moved) * examples/gc_no_raii/bug-repro/deref.c (moved) * examples/gc_no_raii/bug-repro/field.c (added) * examples/gc_no_raii/bug-repro/find.c (moved) * examples/gc_no_raii/bug-repro/inline.c (moved) * examples/gc_no_raii/bug-repro/malloc.c (moved) * examples/gc_no_raii/bug-repro/not_equal.c (moved) * examples/gc_no_raii/bug-repro/oddtype.c (moved) * examples/gc_no_raii/bug-repro/push_back.c (moved) * examples/gc_no_raii/bug-repro/push_back.h (moved) * examples/gc_no_raii/bug-repro/realloc.c (moved) * examples/gc_no_raii/bug-repro/return.c (moved) * examples/gc_no_raii/bug-repro/return_template.c (moved) * examples/gc_no_raii/bug-repro/slow_malloc.c (added) * examples/gc_no_raii/bug-repro/static_const_local.c (moved) * examples/gc_no_raii/bug-repro/test-assert.cpp (moved) * examples/gc_no_raii/bug-repro/void_pointer.c (moved) * examples/gc_no_raii/bug-repro/while.c (moved) * examples/gc_no_raii/bug-repro/zero.c (moved) * examples/gc_no_raii/pool-alloc/allocate-malign.c (moved) * examples/gc_no_raii/pool-alloc/allocate-malloc.c (moved) * examples/gc_no_raii/pool-alloc/allocate-mmap.c (moved) * examples/gc_no_raii/pool-alloc/allocate-win-valloc.c (moved) * examples/gc_no_raii/premake4.lua (moved) * examples/gc_no_raii/src/allocate-pool.c (moved) * examples/gc_no_raii/src/allocate-pool.h (moved) * examples/gc_no_raii/src/gc.h (moved) * examples/gc_no_raii/src/gcpointers.c (moved) * examples/gc_no_raii/src/gcpointers.h (moved) * examples/gc_no_raii/src/internal/card_table.h (moved) * examples/gc_no_raii/src/internal/collector.c (added) * examples/gc_no_raii/src/internal/collector.h (moved) * examples/gc_no_raii/src/internal/gc_tools.h (moved) * examples/gc_no_raii/src/internal/globals.h (moved) * examples/gc_no_raii/src/internal/memory_pool.c (moved) * examples/gc_no_raii/src/internal/memory_pool.h (moved) * examples/gc_no_raii/src/internal/object_header.c (moved) * examples/gc_no_raii/src/internal/object_header.h (moved) * examples/gc_no_raii/src/internal/state.c (added) * examples/gc_no_raii/src/internal/state.h (added) * examples/gc_no_raii/src/test_include.c (moved) * examples/gc_no_raii/src/tools.h (moved) * examples/gc_no_raii/src/tools/checks.h (moved) * examples/gc_no_raii/src/tools/print.c (moved) * examples/gc_no_raii/src/tools/print.h (added) * examples/gc_no_raii/src/tools/worklist.h (added) * examples/gc_no_raii/test/badlll.c (moved) * examples/gc_no_raii/test/gctest.c (added) * examples/gc_no_raii/test/operators.c (moved) * examples/huge.c (moved) * examples/includes.c (added) * examples/index.h (moved) * examples/it_out.c (moved) * examples/multicore.c (added) * examples/new.c (moved) * examples/poly-bench.c (moved) * examples/prolog.c (added) * examples/quad.c (added) * examples/s.c (moved) * examples/simplePoly.c (moved) * examples/simpler.c (moved) * examples/specialize.c (moved) * examples/square.c (added) * examples/twice.c (added) * examples/wrapper/.gitignore (moved) * examples/wrapper/premake4.lua (moved) * examples/wrapper/src/main.c (moved) * examples/wrapper/src/pointer.h (added) * examples/zero_one.c (added) * libcfa/.autom4te.cfg (added) * libcfa/Makefile.am (added) * libcfa/Makefile.in (added) * libcfa/aclocal.m4 (added) * libcfa/automake/compile (added) * libcfa/automake/config.guess (added) * libcfa/automake/config.sub (added) * libcfa/automake/depcomp (added) * libcfa/automake/install-sh (added) * libcfa/automake/missing (added) * libcfa/configure (added) * libcfa/configure.ac (added) * libcfa/prelude/Makefile.am (added) * libcfa/prelude/Makefile.in (added) * libcfa/prelude/bootloader.cf (moved) * libcfa/prelude/builtins.c (added) * libcfa/prelude/builtins.def (added) * libcfa/prelude/extras.c (moved) * libcfa/prelude/extras.regx (added) * libcfa/prelude/prelude-gen.cc (added) * libcfa/prelude/prelude.old.cf (added) * libcfa/prelude/prototypes.awk (added) * libcfa/prelude/prototypes.c (moved) * libcfa/prelude/prototypes.sed (added) * libcfa/prelude/sync-builtins.cf (added) * libcfa/prelude/sync-builtins.def (moved) * libcfa/src/Makefile.am (added) * libcfa/src/Makefile.in (added) * libcfa/src/assert.cfa (added) * libcfa/src/bits/algorithm.hfa (added) * libcfa/src/bits/align.hfa (added) * libcfa/src/bits/containers.hfa (added) * libcfa/src/bits/debug.cfa (added) * libcfa/src/bits/debug.hfa (added) * libcfa/src/bits/defs.hfa (added) * libcfa/src/bits/locks.hfa (added) * libcfa/src/bits/signal.hfa (added) * libcfa/src/clock.hfa (added) * libcfa/src/common.cfa (added) * libcfa/src/common.hfa (added) * libcfa/src/concurrency/CtxSwitch-armv7l.S (added) * libcfa/src/concurrency/CtxSwitch-i386.S (moved) * libcfa/src/concurrency/CtxSwitch-i686.S (moved) * libcfa/src/concurrency/CtxSwitch-x64.S (added) * libcfa/src/concurrency/CtxSwitch-x86.S (added) * libcfa/src/concurrency/CtxSwitch-x86_64.S (moved) * libcfa/src/concurrency/alarm.cfa (added) * libcfa/src/concurrency/alarm.hfa (added) * libcfa/src/concurrency/coroutine.cfa (added) * libcfa/src/concurrency/coroutine.hfa (added) * libcfa/src/concurrency/invoke.c (added) * libcfa/src/concurrency/invoke.h (added) * libcfa/src/concurrency/kernel.cfa (added) * libcfa/src/concurrency/kernel.hfa (added) * libcfa/src/concurrency/kernel_private.hfa (added) * libcfa/src/concurrency/monitor.cfa (added) * libcfa/src/concurrency/monitor.hfa (added) * libcfa/src/concurrency/mutex.cfa (added) * libcfa/src/concurrency/mutex.hfa (added) * libcfa/src/concurrency/preemption.cfa (added) * libcfa/src/concurrency/preemption.hfa (added) * libcfa/src/concurrency/thread.cfa (added) * libcfa/src/concurrency/thread.hfa (added) * libcfa/src/containers/maybe.cfa (added) * libcfa/src/containers/maybe.hfa (moved) * libcfa/src/containers/pair.cfa (added) * libcfa/src/containers/pair.hfa (moved) * libcfa/src/containers/result.cfa (added) * libcfa/src/containers/result.hfa (added) * libcfa/src/containers/vector.cfa (added) * libcfa/src/containers/vector.hfa (moved) * libcfa/src/exception.c (added) * libcfa/src/exception.h (added) * libcfa/src/expat.h (moved) * libcfa/src/fstream.cfa (added) * libcfa/src/fstream.hfa (added) * libcfa/src/gmp.hfa (added) * libcfa/src/heap.cfa (added) * libcfa/src/interpose.cfa (added) * libcfa/src/iostream.cfa (added) * libcfa/src/iostream.hfa (added) * libcfa/src/iterator.cfa (added) * libcfa/src/iterator.hfa (moved) * libcfa/src/limits.cfa (added) * libcfa/src/limits.hfa (added) * libcfa/src/lsda.h (moved) * libcfa/src/math.hfa (added) * libcfa/src/memcheck.awk (moved) * libcfa/src/rational.cfa (added) * libcfa/src/rational.hfa (added) * libcfa/src/startup.cfa (added) * libcfa/src/startup.hfa (added) * libcfa/src/stdhdr/assert.h (added) * libcfa/src/stdhdr/bfdlink.h (added) * libcfa/src/stdhdr/complex.h (moved) * libcfa/src/stdhdr/ctype.h (moved) * libcfa/src/stdhdr/errno.h (moved) * libcfa/src/stdhdr/fenv.h (moved) * libcfa/src/stdhdr/float.h (moved) * libcfa/src/stdhdr/gmp.h (moved) * libcfa/src/stdhdr/hwloc.h (added) * libcfa/src/stdhdr/inttypes.h (moved) * libcfa/src/stdhdr/iso646.h (moved) * libcfa/src/stdhdr/krb5.h (added) * libcfa/src/stdhdr/limits.h (moved) * libcfa/src/stdhdr/locale.h (moved) * libcfa/src/stdhdr/malloc.h (added) * libcfa/src/stdhdr/math.h (added) * libcfa/src/stdhdr/setjmp.h (moved) * libcfa/src/stdhdr/signal.h (moved) * libcfa/src/stdhdr/stdalign.h (moved) * libcfa/src/stdhdr/stdarg.h (moved) * libcfa/src/stdhdr/stdatomic.h (moved) * libcfa/src/stdhdr/stdbool.h (moved) * libcfa/src/stdhdr/stddef.h (moved) * libcfa/src/stdhdr/stdint.h (moved) * libcfa/src/stdhdr/stdio.h (moved) * libcfa/src/stdhdr/stdlib.h (moved) * libcfa/src/stdhdr/stdnoreturn.h (moved) * libcfa/src/stdhdr/string.h (moved) * libcfa/src/stdhdr/sys/ucontext.h (added) * libcfa/src/stdhdr/tgmath.h (moved) * libcfa/src/stdhdr/threads.h (moved) * libcfa/src/stdhdr/time.h (moved) * libcfa/src/stdhdr/uchar.h (moved) * libcfa/src/stdhdr/unistd.h (moved) * libcfa/src/stdhdr/wchar.h (moved) * libcfa/src/stdhdr/wctype.h (moved) * libcfa/src/stdlib.cfa (added) * libcfa/src/stdlib.hfa (added) * libcfa/src/time.cfa (added) * libcfa/src/time.hfa (added) * libcfa/src/time_t.hfa (added) * libcfa/src/virtual.c (moved) * libcfa/src/virtual.h (moved) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/Debug.h (modified) * src/Common/ErrorObjects.h (added) * src/Common/Eval.cc (added) * src/Common/Heap.cc (added) * src/Common/Heap.h (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (added) * src/CompilationState.h (added) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/Docs/Makefile (deleted) * src/Docs/cfa-cpp.1 (deleted) * src/Docs/design.tex (deleted) * src/Docs/uml.dia (deleted) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.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/InitializerNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.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/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (deleted) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (added) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/Demangle.cc (added) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.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 (added) * src/SymTab/Validate.cc (modified) * src/SymTab/demangler.cc (added) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclReplacer.cc (added) * src/SynTree/DeclReplacer.h (added) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (deleted) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/ReferenceType.cc (modified) * src/SynTree/Statement.cc (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/VarExprReplacer.cc (deleted) * src/SynTree/VarExprReplacer.h (deleted) * src/SynTree/Visitor.cc (deleted) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) * src/benchmark/Makefile.am (deleted) * src/benchmark/Makefile.in (deleted) * src/benchmark/Monitor.c (deleted) * src/benchmark/bench.h (deleted) * src/benchmark/creation/cfa_cor.c (deleted) * src/benchmark/creation/cfa_thrd.c (deleted) * src/benchmark/ctxswitch/cfa_cor.c (deleted) * src/benchmark/ctxswitch/cfa_thrd.c (deleted) * src/benchmark/mutex/cfa1.c (deleted) * src/benchmark/mutex/cfa2.c (deleted) * src/benchmark/mutex/cfa4.c (deleted) * src/benchmark/mutex/function.c (deleted) * src/benchmark/schedext/cfa1.c (deleted) * src/benchmark/schedext/cfa2.c (deleted) * src/benchmark/schedext/cfa4.c (deleted) * src/benchmark/schedint/cfa1.c (deleted) * src/benchmark/schedint/cfa2.c (deleted) * src/benchmark/schedint/cfa4.c (deleted) * src/cfa.make (added) * src/config.h.in (added) * src/driver/Makefile.am (deleted) * src/driver/Makefile.in (deleted) * src/driver/cc1.cc (deleted) * src/driver/cfa.cc (deleted) * src/examples/ArrayN.c (deleted) * src/examples/Makefile.am (deleted) * src/examples/Makefile.in (deleted) * src/examples/Tuple.c (deleted) * src/examples/gc_no_raii/bug-repro/blockers/file_scope.c (deleted) * src/examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c (deleted) * src/examples/gc_no_raii/bug-repro/field.c (deleted) * src/examples/gc_no_raii/bug-repro/slow_malloc.c (deleted) * src/examples/gc_no_raii/src/internal/collector.c (deleted) * src/examples/gc_no_raii/src/internal/state.c (deleted) * src/examples/gc_no_raii/src/internal/state.h (deleted) * src/examples/gc_no_raii/src/tools/print.h (deleted) * src/examples/gc_no_raii/src/tools/worklist.h (deleted) * src/examples/gc_no_raii/test/gctest.c (deleted) * src/examples/includes.c (deleted) * src/examples/multicore.c (deleted) * src/examples/prolog.c (deleted) * src/examples/quad.c (deleted) * src/examples/square.c (deleted) * src/examples/twice.c (deleted) * src/examples/wrapper/src/pointer.h (deleted) * src/examples/zero_one.c (deleted) * src/libcfa/Makefile.am (deleted) * src/libcfa/Makefile.in (deleted) * src/libcfa/assert.c (deleted) * src/libcfa/bits/algorithms.h (deleted) * src/libcfa/bits/align.h (deleted) * src/libcfa/bits/containers.h (deleted) * src/libcfa/bits/debug.c (deleted) * src/libcfa/bits/debug.h (deleted) * src/libcfa/bits/defs.h (deleted) * src/libcfa/bits/locks.h (deleted) * src/libcfa/concurrency/alarm.c (deleted) * src/libcfa/concurrency/alarm.h (deleted) * src/libcfa/concurrency/coroutine (deleted) * src/libcfa/concurrency/coroutine.c (deleted) * src/libcfa/concurrency/invoke.c (deleted) * src/libcfa/concurrency/invoke.h (deleted) * src/libcfa/concurrency/kernel (deleted) * src/libcfa/concurrency/kernel.c (deleted) * src/libcfa/concurrency/kernel_private.h (deleted) * src/libcfa/concurrency/monitor (deleted) * src/libcfa/concurrency/monitor.c (deleted) * src/libcfa/concurrency/preemption.c (deleted) * src/libcfa/concurrency/preemption.h (deleted) * src/libcfa/concurrency/thread (deleted) * src/libcfa/concurrency/thread.c (deleted) * src/libcfa/containers/maybe.c (deleted) * src/libcfa/containers/pair.c (deleted) * src/libcfa/containers/result (deleted) * src/libcfa/containers/result.c (deleted) * src/libcfa/containers/vector.c (deleted) * src/libcfa/exception.c (deleted) * src/libcfa/exception.h (deleted) * src/libcfa/fstream (deleted) * src/libcfa/fstream.c (deleted) * src/libcfa/gmp (deleted) * src/libcfa/interpose.c (deleted) * src/libcfa/interpose.h (deleted) * src/libcfa/iostream (deleted) * src/libcfa/iostream.c (deleted) * src/libcfa/iterator.c (deleted) * src/libcfa/limits (deleted) * src/libcfa/limits.c (deleted) * src/libcfa/math (deleted) * src/libcfa/rational (deleted) * src/libcfa/rational.c (deleted) * src/libcfa/startup.h (deleted) * src/libcfa/stdhdr/assert.h (deleted) * src/libcfa/stdhdr/bfdlink.h (deleted) * src/libcfa/stdhdr/hwloc.h (deleted) * src/libcfa/stdhdr/krb5.h (deleted) * src/libcfa/stdhdr/malloc.h (deleted) * src/libcfa/stdhdr/math.h (deleted) * src/libcfa/stdlib (deleted) * src/libcfa/stdlib.c (deleted) * src/main.cc (modified) * src/prelude/Makefile.am (deleted) * src/prelude/Makefile.in (deleted) * src/prelude/builtins.c (deleted) * src/prelude/builtins.def (deleted) * src/prelude/extras.regx (deleted) * src/prelude/prelude.cf (deleted) * src/prelude/prototypes.awk (deleted) * src/prelude/prototypes.sed (deleted) * src/tests/.expect/KRfunctions.x64.txt (deleted) * src/tests/.expect/KRfunctions.x86.txt (deleted) * src/tests/.expect/alloc-ERROR.txt (deleted) * src/tests/.expect/alloc.txt (deleted) * src/tests/.expect/ato.txt (deleted) * src/tests/.expect/attributes.x64.txt (deleted) * src/tests/.expect/attributes.x86.txt (deleted) * src/tests/.expect/ctor-autogen-ERR1.txt (deleted) * src/tests/.expect/ctor-autogen.txt (deleted) * src/tests/.expect/declarationErrors.txt (deleted) * src/tests/.expect/declarationSpecifier.x64.txt (deleted) * src/tests/.expect/declarationSpecifier.x86.txt (deleted) * src/tests/.expect/dtor-early-exit-ERR1.txt (deleted) * src/tests/.expect/dtor-early-exit-ERR2.txt (deleted) * src/tests/.expect/extension.x64.txt (deleted) * src/tests/.expect/extension.x86.txt (deleted) * src/tests/.expect/fstream_test.txt (deleted) * src/tests/.expect/functions.x64.txt (deleted) * src/tests/.expect/functions.x86.txt (deleted) * src/tests/.expect/gccExtensions.x64.txt (deleted) * src/tests/.expect/gccExtensions.x86.txt (deleted) * src/tests/.expect/ifcond.txt (deleted) * src/tests/.expect/io.txt (deleted) * src/tests/.expect/literals.x64.txt (deleted) * src/tests/.expect/literals.x86.txt (deleted) * src/tests/.expect/math1.x64.txt (deleted) * src/tests/.expect/math1.x86.txt (deleted) * src/tests/.expect/math2.x64.txt (deleted) * src/tests/.expect/math2.x86.txt (deleted) * src/tests/.expect/math3.x86.txt (deleted) * src/tests/.expect/memberCtors-ERR1.txt (deleted) * src/tests/.expect/random.txt (deleted) * src/tests/.expect/references.txt (deleted) * src/tests/.expect/searchsort.txt (deleted) * src/tests/.expect/sum.txt (deleted) * src/tests/.expect/user_literals.txt (deleted) * src/tests/.expect/vector_test.txt (deleted) * src/tests/.gitignore (deleted) * src/tests/.in/vector_test.txt (deleted) * src/tests/Makefile.am (deleted) * src/tests/Makefile.in (deleted) * src/tests/abs.c (deleted) * src/tests/alloc.c (deleted) * src/tests/ato.c (deleted) * src/tests/attributes.c (deleted) * src/tests/avltree/avl1.c (deleted) * src/tests/avltree/avl3.c (deleted) * src/tests/avltree/avl_test.c (deleted) * src/tests/complex.c (deleted) * src/tests/concurrent/.expect/preempt.txt (deleted) * src/tests/concurrent/examples/.expect/boundedBuffer.txt (deleted) * src/tests/concurrent/examples/boundedBuffer.c (deleted) * src/tests/concurrent/examples/datingService.c (deleted) * src/tests/concurrent/examples/matrixSum.c (deleted) * src/tests/concurrent/monitor.c (deleted) * src/tests/concurrent/multi-monitor.c (deleted) * src/tests/concurrent/preempt.c (deleted) * src/tests/concurrent/signal/barge.c (deleted) * src/tests/concurrent/signal/block.c (deleted) * src/tests/concurrent/signal/disjoint.c (deleted) * src/tests/concurrent/signal/wait.c (deleted) * src/tests/concurrent/thread.c (deleted) * src/tests/concurrent/waitfor/barge.c (deleted) * src/tests/concurrent/waitfor/dtor.c (deleted) * src/tests/concurrent/waitfor/else.c (deleted) * src/tests/concurrent/waitfor/parse.c (deleted) * src/tests/concurrent/waitfor/recurse.c (deleted) * src/tests/concurrent/waitfor/simple.c (deleted) * src/tests/concurrent/waitfor/statment.c (deleted) * src/tests/concurrent/waitfor/when.c (deleted) * src/tests/coroutine/.expect/fmtLines.txt (deleted) * src/tests/coroutine/.in/fmtLines.txt (deleted) * src/tests/coroutine/coroutine.c (deleted) * src/tests/coroutine/fmtLines.c (deleted) * src/tests/coroutine/pingpong.c (deleted) * src/tests/coroutine/prodcons.c (deleted) * src/tests/div.c (deleted) * src/tests/dtor-early-exit.c (deleted) * src/tests/except-2.c (deleted) * src/tests/forall.c (deleted) * src/tests/fstream_test.c (deleted) * src/tests/function-operator.c (deleted) * src/tests/functions.c (deleted) * src/tests/genericUnion.c (deleted) * src/tests/globals.c (deleted) * src/tests/gmp.c (deleted) * src/tests/hello.c (deleted) * src/tests/identFuncDeclarator.c (deleted) * src/tests/identParamDeclarator.c (deleted) * src/tests/identity.c (deleted) * src/tests/ifcond.c (deleted) * src/tests/io.c (deleted) * src/tests/io.data (deleted) * src/tests/labelledExit.c (deleted) * src/tests/libcfa_vector.c (deleted) * src/tests/limits.c (deleted) * src/tests/literals.c (deleted) * src/tests/math1.c (deleted) * src/tests/math2.c (deleted) * src/tests/math3.c (deleted) * src/tests/maybe.c (deleted) * src/tests/minmax.c (deleted) * src/tests/operators.c (deleted) * src/tests/preempt_longrun/Makefile.am (deleted) * src/tests/preempt_longrun/Makefile.in (deleted) * src/tests/preempt_longrun/block.c (deleted) * src/tests/preempt_longrun/create.c (deleted) * src/tests/preempt_longrun/disjoint.c (deleted) * src/tests/preempt_longrun/enter.c (deleted) * src/tests/preempt_longrun/enter3.c (deleted) * src/tests/preempt_longrun/processor.c (deleted) * src/tests/preempt_longrun/stack.c (deleted) * src/tests/preempt_longrun/wait.c (deleted) * src/tests/preempt_longrun/yield.c (deleted) * src/tests/pybin/settings.py (deleted) * src/tests/pybin/test_run.py (deleted) * src/tests/pybin/tools.py (deleted) * src/tests/quoted_keyword.c (deleted) * src/tests/random.c (deleted) * src/tests/rational.c (deleted) * src/tests/references.c (deleted) * src/tests/result.c (deleted) * src/tests/searchsort.c (deleted) * src/tests/shortCircuit.c (deleted) * src/tests/structMember.c (deleted) * src/tests/sum.c (deleted) * src/tests/swap.c (deleted) * src/tests/switch.c (deleted) * src/tests/test.py (deleted) * src/tests/tupleAssign.c (deleted) * src/tests/tupleVariadic.c (deleted) * src/tests/user_literals.c (deleted) * src/tests/vector/array.c (deleted) * src/tests/vector/array.h (deleted) * src/tests/vector/vector_int.c (deleted) * src/tests/vector/vector_int.h (deleted) * src/tests/vector/vector_test.c (deleted) * src/tests/virtualCast.c (deleted) * tests/.expect/KRfunctions.x64.txt (added) * tests/.expect/KRfunctions.x86.txt (added) * tests/.expect/abs.txt (moved) * tests/.expect/alloc-ERROR.txt (added) * tests/.expect/alloc.txt (added) * tests/.expect/array.txt (moved) * tests/.expect/ato.txt (added) * tests/.expect/attributes.x64.txt (added) * tests/.expect/attributes.x86.txt (added) * tests/.expect/avl_test.txt (moved) * tests/.expect/cast.txt (moved) * tests/.expect/castError.txt (moved) * tests/.expect/completeTypeError.txt (moved) * tests/.expect/complex.txt (moved) * tests/.expect/counter.txt (added) * tests/.expect/declarationErrors.txt (added) * tests/.expect/declarationSpecifier.x64.txt (added) * tests/.expect/declarationSpecifier.x86.txt (added) * tests/.expect/designations.txt (moved) * tests/.expect/div.txt (moved) * tests/.expect/enum.txt (moved) * tests/.expect/expression.txt (moved) * tests/.expect/extension.x64.txt (added) * tests/.expect/extension.x86.txt (added) * tests/.expect/fallthrough.txt (added) * tests/.expect/forall.txt (moved) * tests/.expect/forctrl.txt (added) * tests/.expect/fstream_test.txt (added) * tests/.expect/function-operator.txt (moved) * tests/.expect/functions.x64.txt (added) * tests/.expect/functions.x86.txt (added) * tests/.expect/gccExtensions.x64.txt (added) * tests/.expect/gccExtensions.x86.txt (added) * tests/.expect/genericUnion.txt (moved) * tests/.expect/gmp.x64.txt (moved) * tests/.expect/heap.txt (moved) * tests/.expect/hello.txt (moved) * tests/.expect/identFuncDeclarator.txt (moved) * tests/.expect/identParamDeclarator.txt (moved) * tests/.expect/identity.txt (moved) * tests/.expect/ifwhileCtl.txt (added) * tests/.expect/io1.txt (added) * tests/.expect/io2.txt (added) * tests/.expect/labelledExit.txt (moved) * tests/.expect/limits.txt (moved) * tests/.expect/literals.txt (added) * tests/.expect/math1.txt (added) * tests/.expect/math2.txt (added) * tests/.expect/math3.txt (added) * tests/.expect/math4.txt (moved) * tests/.expect/maybe.txt (moved) * tests/.expect/minmax.txt (moved) * tests/.expect/nested-types-ERR1.txt (added) * tests/.expect/nested-types-ERR2.txt (added) * tests/.expect/nested-types.txt (moved) * tests/.expect/numericConstants.txt (moved) * tests/.expect/operators.txt (moved) * tests/.expect/polymorphism.txt (moved) * tests/.expect/quoted_keyword.txt (moved) * tests/.expect/random.txt (added) * tests/.expect/rational.txt (moved) * tests/.expect/references.txt (added) * tests/.expect/result.txt (moved) * tests/.expect/scopeErrors.txt (moved) * tests/.expect/searchsort.txt (added) * tests/.expect/shortCircuit.txt (moved) * tests/.expect/simpleGenericTriple.txt (moved) * tests/.expect/stdincludes.txt (moved) * tests/.expect/sum.txt (added) * tests/.expect/swap.txt (moved) * tests/.expect/switch.txt (moved) * tests/.expect/time.txt (added) * tests/.expect/typedefRedef-ERR1.txt (moved) * tests/.expect/typedefRedef.txt (moved) * tests/.expect/typeof.txt (moved) * tests/.expect/user_literals.txt (added) * tests/.expect/variableDeclarator.txt (moved) * tests/.expect/vector.txt (moved) * tests/.expect/voidPtr.txt (added) * tests/.expect/with-statement.txt (moved) * tests/.gitignore (added) * tests/.in/fstream_test.txt (moved) * tests/.in/gmp.txt (moved) * tests/.in/io.data (added) * tests/.in/rational.txt (moved) * tests/KRfunctions.c (moved) * tests/Makefile.am (added) * tests/Makefile.in (added) * tests/abs.c (added) * tests/alloc.c (added) * tests/array.c (moved) * tests/ato.c (added) * tests/attributes.c (added) * tests/avltree/avl-private.c (moved) * tests/avltree/avl-private.h (moved) * tests/avltree/avl.h (moved) * tests/avltree/avl0.c (moved) * tests/avltree/avl1.c (added) * tests/avltree/avl2.c (moved) * tests/avltree/avl3.c (added) * tests/avltree/avl4.c (moved) * tests/avltree/avl_test.c (added) * tests/builtins/.expect/sync.txt (added) * tests/builtins/sync.c (added) * tests/cast.c (moved) * tests/castError.c (moved) * tests/commentMisc.c (moved) * tests/completeTypeError.c (moved) * tests/complex.c (added) * tests/concurrent/.expect/coroutineYield.txt (added) * tests/concurrent/.expect/monitor.txt (moved) * tests/concurrent/.expect/multi-monitor.txt (moved) * tests/concurrent/.expect/preempt.txt (added) * tests/concurrent/.expect/thread.txt (moved) * tests/concurrent/coroutineYield.c (added) * tests/concurrent/examples/.expect/boundedBufferEXT.txt (added) * tests/concurrent/examples/.expect/boundedBufferINT.txt (added) * tests/concurrent/examples/.expect/datingService.txt (added) * tests/concurrent/examples/.expect/matrixSum.txt (moved) * tests/concurrent/examples/.expect/quickSort.txt (added) * tests/concurrent/examples/.in/quickSort.txt (added) * tests/concurrent/examples/boundedBufferEXT.c (added) * tests/concurrent/examples/boundedBufferINT.c (added) * tests/concurrent/examples/datingService.c (added) * tests/concurrent/examples/matrixSum.c (added) * tests/concurrent/examples/quickSort.c (added) * tests/concurrent/monitor.c (added) * tests/concurrent/multi-monitor.c (added) * tests/concurrent/preempt.c (added) * tests/concurrent/signal/.expect/block.txt (moved) * tests/concurrent/signal/.expect/disjoint.txt (moved) * tests/concurrent/signal/.expect/wait.txt (moved) * tests/concurrent/signal/block.c (added) * tests/concurrent/signal/disjoint.c (added) * tests/concurrent/signal/wait.c (added) * tests/concurrent/thread.c (added) * tests/concurrent/waitfor/.expect/barge.txt (moved) * tests/concurrent/waitfor/.expect/dtor.txt (moved) * tests/concurrent/waitfor/.expect/else.txt (moved) * tests/concurrent/waitfor/.expect/recurse.txt (moved) * tests/concurrent/waitfor/.expect/statment.txt (moved) * tests/concurrent/waitfor/.expect/when.txt (moved) * tests/concurrent/waitfor/barge.c (added) * tests/concurrent/waitfor/dtor.c (added) * tests/concurrent/waitfor/else.c (added) * tests/concurrent/waitfor/parse.c (added) * tests/concurrent/waitfor/parse2.c (moved) * tests/concurrent/waitfor/recurse.c (added) * tests/concurrent/waitfor/simple.c (added) * tests/concurrent/waitfor/statment.c (added) * tests/concurrent/waitfor/when.c (added) * tests/config.py.in (added) * tests/context.c (moved) * tests/coroutine/.expect/fibonacci.txt (moved) * tests/coroutine/.expect/fmtLines.txt (added) * tests/coroutine/.expect/pingpong.txt (moved) * tests/coroutine/.expect/prodcons.txt (moved) * tests/coroutine/.expect/runningTotal.txt (added) * tests/coroutine/.in/fmtLines.txt (added) * tests/coroutine/fibonacci.c (added) * tests/coroutine/fibonacci_1.c (added) * tests/coroutine/fmtLines.c (added) * tests/coroutine/pingpong.c (added) * tests/coroutine/prodcons.c (added) * tests/coroutine/runningTotal.c (added) * tests/counter.c (added) * tests/declarationErrors.c (moved) * tests/declarationSpecifier.c (moved) * tests/designations.c (moved) * tests/div.c (added) * tests/enum.c (moved) * tests/except-0.c (moved) * tests/except-1.c (moved) * tests/except-2.c (added) * tests/except-3.c (moved) * tests/except-mac.h (moved) * tests/expression.c (moved) * tests/extension.c (moved) * tests/fallthrough.c (added) * tests/forall.c (added) * tests/forctrl.c (added) * tests/fstream_test.c (added) * tests/function-operator.c (added) * tests/functions.c (added) * tests/gccExtensions.c (moved) * tests/genericUnion.c (added) * tests/gmp.c (added) * tests/heap.c (added) * tests/hello.c (added) * tests/identFuncDeclarator.c (added) * tests/identParamDeclarator.c (added) * tests/identity.c (added) * tests/ifwhileCtl.c (added) * tests/io1.c (added) * tests/io2.c (added) * tests/labelledExit.c (added) * tests/limits.c (added) * tests/literals.c (added) * tests/long_tests.h (added) * tests/math1.c (added) * tests/math2.c (added) * tests/math3.c (added) * tests/math4.c (added) * tests/maybe.c (added) * tests/minmax.c (added) * tests/namedParmArg.c (moved) * tests/nested-types.c (added) * tests/numericConstants.c (moved) * tests/occursError.c (moved) * tests/operators.c (added) * tests/polymorphism.c (moved) * tests/preempt_longrun/Makefile.am (added) * tests/preempt_longrun/Makefile.in (added) * tests/preempt_longrun/block.c (added) * tests/preempt_longrun/coroutine.c (added) * tests/preempt_longrun/create.c (added) * tests/preempt_longrun/disjoint.c (added) * tests/preempt_longrun/enter.c (added) * tests/preempt_longrun/enter3.c (added) * tests/preempt_longrun/preempt.c (added) * tests/preempt_longrun/processor.c (added) * tests/preempt_longrun/stack.c (added) * tests/preempt_longrun/update-type (added) * tests/preempt_longrun/wait.c (added) * tests/preempt_longrun/yield.c (added) * tests/pybin/__init__.py (moved) * tests/pybin/settings.py (added) * tests/pybin/test_run.py (added) * tests/pybin/tools.py (added) * tests/quoted_keyword.c (added) * tests/raii/.expect/ctor-autogen-ERR1.txt (added) * tests/raii/.expect/ctor-autogen.txt (added) * tests/raii/.expect/dtor-early-exit-ERR1.txt (added) * tests/raii/.expect/dtor-early-exit-ERR2.txt (added) * tests/raii/.expect/dtor-early-exit.txt (moved) * tests/raii/.expect/globals.txt (moved) * tests/raii/.expect/init_once.txt (added) * tests/raii/.expect/memberCtors-ERR1.txt (added) * tests/raii/.expect/memberCtors.txt (moved) * tests/raii/ctor-autogen.c (moved) * tests/raii/dtor-early-exit.c (added) * tests/raii/globals.c (added) * tests/raii/init_once.c (moved) * tests/raii/memberCtors.c (moved) * tests/raii/multiDimension.c (moved) * tests/raii/multiDimension.txt (moved) * tests/random.c (added) * tests/rational.c (added) * tests/references.c (added) * tests/result.c (added) * tests/scope.c (moved) * tests/scopeErrors.c (moved) * tests/searchsort.c (added) * tests/shortCircuit.c (added) * tests/simpleGenericTriple.c (moved) * tests/stdincludes.c (moved) * tests/structMember.c (added) * tests/subrange.c (moved) * tests/sum.c (added) * tests/swap.c (added) * tests/switch.c (added) * tests/test.py (added) * tests/time.c (added) * tests/tuple/.expect/tupleAssign.txt (moved) * tests/tuple/.expect/tupleCast.txt (moved) * tests/tuple/.expect/tupleFunction.txt (moved) * tests/tuple/.expect/tupleMember.txt (moved) * tests/tuple/.expect/tuplePolymorphism.txt (moved) * tests/tuple/.expect/tupleVariadic.txt (moved) * tests/tuple/tupleAssign.c (added) * tests/tuple/tupleCast.c (moved) * tests/tuple/tupleFunction.c (moved) * tests/tuple/tupleMember.c (moved) * tests/tuple/tuplePolymorphism.c (moved) * tests/tuple/tupleVariadic.c (added) * tests/tuple/tuples.c (moved) * tests/typeGenerator.c (moved) * tests/typedef.c (moved) * tests/typedefDeclarator.c (moved) * tests/typedefRedef.c (moved) * tests/typeof.c (moved) * tests/user_literals.c (added) * tests/variableDeclarator.c (moved) * tests/vector.c (added) * tests/virtualCast.c (added) * tests/voidPtr.c (moved) * tests/warnings/.expect/self-assignment.txt (added) * tests/warnings/self-assignment.c (added) * tests/with-statement.c (moved) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (added) * tools/busy (added) * tools/busy.c (added) * tools/error (added) * tools/error.c (added) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (deleted) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/test.y (modified) * tools/repeat.c (modified) * tools/watchdog (added) * tools/watchdog.c (added) Merge branch 'master' into cleanup-dtors Sun, 19 Aug 2018 16:09:00 GMT Rob Schluntz [0e73845] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Declaration.h (modified) Fix name mangling for type variables and forall lists Fri, 03 Aug 2018 15:56:53 GMT Rob Schluntz [ac3362c] * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) Resolve enumerator initializers early to allow other passes to ... Tue, 10 Jul 2018 19:39:37 GMT Thierry Delisle [2dc6621] * src/SynTree/Type.h (modified) Removed warning in Type.h Thu, 28 Jun 2018 20:04:11 GMT Rob Schluntz [c653b37] * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (added) * doc/papers/concurrency/figures/ext_monitor.fig (modified) * doc/papers/concurrency/figures/monitor.fig (modified) * doc/papers/concurrency/style/cfa-format.tex (deleted) * doc/papers/concurrency/style/style.tex (deleted) * doc/papers/general/Makefile (modified) * doc/proposals/ctordtor/Makefile (modified) * doc/proposals/ctordtor/ctor.tex (modified) * doc/proposals/tuples/Makefile (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/user/Makefile (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (added) * src/SynTree/Type.cc (modified) * src/tests/.gitignore (modified) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/long_tests.h (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/update-type (added) * src/tests/preempt_longrun/yield.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 22 Jun 2018 19:43:19 GMT Rob Schluntz [0b3b2ae] * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Minor code cleanup Fri, 22 Jun 2018 17:50:42 GMT Peter A. Buhr [999c700] * src/SynTree/Type.cc (modified) interchange "fortran", "_Noreturn" Wed, 20 Jun 2018 15:23:42 GMT Rob Schluntz [c194661] * src/CodeGen/GenType.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Reorganize QualifiedType node Tue, 19 Jun 2018 18:11:38 GMT Rob Schluntz [47498bd] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Add nodes for global scope type Thu, 14 Jun 2018 21:34:39 GMT Rob Schluntz [c5d7701] * 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/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Add QualifiedType node Thu, 14 Jun 2018 20:43:52 GMT Rob Schluntz [29f9e20] * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Reorganize validate passes and reduce scope of HoistStruct pass Thu, 07 Jun 2018 13:55:28 GMT Rob Schluntz [0f79853] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (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 conversion cost for default arguments Mon, 04 Jun 2018 16:40:46 GMT Rob Schluntz [ee3c93d] * src/Common/PassVisitor.impl.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) Add support for while loops with control declarations Thu, 31 May 2018 19:46:59 GMT Rob Schluntz [4e7cc5ce] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SynTree/ReferenceToType.cc (modified) Minor cleanup Tue, 29 May 2018 19:26:31 GMT Rob Schluntz [054514d] * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * README (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/related_papers/Buhr94.pdf (added) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Heap.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (modified) * src/prelude/sync-builtins.cf (added) * src/tests/.expect/io1.txt (added) * src/tests/.expect/io2.txt (moved) * src/tests/.expect/math1.x64.txt (modified) * src/tests/.expect/math1.x86.txt (modified) * src/tests/.expect/math2.x64.txt (modified) * src/tests/.expect/math2.x86.txt (modified) * src/tests/.expect/math3.x64.txt (modified) * src/tests/.expect/math3.x86.txt (modified) * src/tests/.expect/math4.x64.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/builtins/.expect/sync.txt (added) * src/tests/builtins/sync.c (added) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/examples/datingService.c (modified) * src/tests/concurrent/examples/matrixSum.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/io1.c (added) * src/tests/io2.c (moved) * src/tests/math1.c (modified) * src/tests/math2.c (modified) * src/tests/math3.c (modified) * src/tests/math4.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 29 May 2018 18:02:47 GMT Rob Schluntz [3ed994e] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) Push deleted decls through the system Tue, 29 May 2018 14:50:03 GMT Rob Schluntz [4ee3b0c1] * src/Parser/TypeData.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Push __float80/__float128 through the system Fri, 25 May 2018 21:01:37 GMT Rob Schluntz [d807ca28] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (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) Add AST support for _Generic, along with C codegen Fri, 18 May 2018 22:45:18 GMT Rob Schluntz [cdb990a] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Strip redundant casts after every resolution Fri, 18 May 2018 21:40:48 GMT Rob Schluntz [4d6d62e] * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) Add move operators for ParamEntry Thu, 03 May 2018 20:10:05 GMT Rob Schluntz [cc32d83] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/StatementNode.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) Push pragma directives through the translator Fri, 27 Apr 2018 18:35:00 GMT Thierry Delisle [b9f383f] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Statement.cc (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) named threads in thread tests fixed bounded buffer expect added ... Thu, 19 Apr 2018 21:18:46 GMT Rob Schluntz [9a705dc8] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (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) Implement concurrency keyword casts Tue, 17 Apr 2018 20:24:05 GMT Rob Schluntz [c0bf94e] * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Add isGenerated flag to CastExpr to differentiate casts in source ... Thu, 12 Apr 2018 21:13:04 GMT Rob Schluntz [d0d5054] * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) Recursively substitute type variables when applying a substitution Thu, 12 Apr 2018 18:46:15 GMT Rob Schluntz [7862059] * src/ControlStruct/ExceptTranslate.cc (modified) * src/Makefile.in (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclReplacer.cc (added) * src/SynTree/DeclReplacer.h (moved) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/VarExprReplacer.cc (deleted) * src/SynTree/module.mk (modified) Change VarExprReplacer to DeclReplacer and implement TypeInstType ... Tue, 03 Apr 2018 15:13:10 GMT Rob Schluntz [f6e3e34] * 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) Add StaticAssertDecl node Wed, 14 Mar 2018 17:19:39 GMT Rob Schluntz [6a276a0] * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) Update parser for new fallthrough semantics Wed, 07 Mar 2018 21:59:00 GMT Rob Schluntz [9bfc9da] * src/SynTree/Expression.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/ReferenceType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Refactor makeSub into genericSubstitution Fri, 02 Mar 2018 22:34:52 GMT Rob Schluntz [09c72d5] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/TypeSubstitution.h (modified) Add function to add bindings from TypeSubstitution to TypeEnvironment Thu, 01 Mar 2018 21:58:58 GMT Rob Schluntz [2ec65ad] * src/GenPoly/Specialize.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) Refactor trimEnv into TypeSubstitution::newFromExpr Thu, 01 Mar 2018 21:58:03 GMT Rob Schluntz [a8a2b0a] * src/Common/PassVisitor.impl.h (modified) * src/Makefile.in (modified) * src/SynTree/Mutator.cc (deleted) * src/SynTree/Mutator.h (modified) * src/SynTree/Visitor.cc (deleted) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Expand VISIT/MUTATE_BODY for remaining node types Wed, 28 Feb 2018 21:48:22 GMT Thierry Delisle [a16764a6] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/ErrorObjects.h (added) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/InstantiateGeneric.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/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Changed warning system to prepare for toggling warnings Tue, 27 Feb 2018 22:50:22 GMT Rob Schluntz [cfaf9be] * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) Make all Visitor/Mutator functions pure virtual, remove unused ... Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz [7c782af] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.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/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.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/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 16 Feb 2018 19:36:29 GMT Thierry Delisle [0b0f1dd] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Propagated code location to TypeData Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle [d55d7a6] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.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/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Massive change to errors to enable warnings Wed, 14 Feb 2018 21:18:37 GMT Rob Schluntz [44b4114] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Add DeletedExpr node for use of deleted identifiers Tue, 13 Feb 2018 16:12:25 GMT Rob Schluntz [54c9000] * src/Common/utility.h (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/tests/.expect/attributes.x64.txt (modified) Fix missing attribute warning Thu, 01 Feb 2018 21:33:00 GMT Rob Schluntz [0992849] * src/SynTree/Expression.cc (modified) Assign a result type to StmtExpr based on returnDecl in FixInit Wed, 31 Jan 2018 21:47:30 GMT Rob Schluntz [574894d] * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) Add list of withExprs to FunctionDecl Wed, 31 Jan 2018 16:53:24 GMT Rob Schluntz [5e2c348] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Assign a result type to StmtExpr after resolution [fixes #79] Mon, 15 Jan 2018 19:38:39 GMT Rob Schluntz [c0b9f5d] * src/ControlStruct/ExceptTranslate.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) Convert VarExprReplacer to PassVisitor Fri, 12 Jan 2018 21:57:40 GMT Rob Schluntz [0690350] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Expression.cc (modified) Minor code cleanup Tue, 09 Jan 2018 21:03:54 GMT Rob Schluntz [e9a715d3] * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) Convert TypeSubstitution's apply functionality to PassVisitor Mon, 08 Jan 2018 19:34:32 GMT Rob Schluntz [94e025a2] * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/SynTree/Label.h (modified) Convert MLEMutator to PassVisitor Tue, 02 Jan 2018 19:16:49 GMT Rob Schluntz [8aa474a] * src/SynTree/Type.h (modified) Add isUnprototyped member to FunctionType Fri, 22 Dec 2017 21:17:52 GMT Rob Schluntz [fc9153d] * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) Add helper function for determining the value of an enumerator Fri, 22 Dec 2017 21:16:53 GMT Rob Schluntz [ddb80bd] * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Add intValue helper function to ConstantExpr Fri, 22 Dec 2017 18:48:44 GMT Rob Schluntz [9fe33947] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SynTree/Expression.cc (modified) Minor code cleanup Tue, 05 Dec 2017 19:35:03 GMT Rob Schluntz [c13e8dc8] * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.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/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/align.h (moved) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/debug.c (moved) * src/libcfa/bits/debug.h (added) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr.h (deleted) * src/libcfa/libhdr/libdebug.h (deleted) * src/libcfa/libhdr/libtools.h (deleted) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/KRfunctions.x64.txt (moved) * src/tests/.expect/KRfunctions.x86.txt (moved) * src/tests/.expect/attributes.x64.txt (moved) * src/tests/.expect/attributes.x86.txt (moved) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/declarationSpecifier.x64.txt (moved) * src/tests/.expect/declarationSpecifier.x86.txt (moved) * src/tests/.expect/extension.x64.txt (moved) * src/tests/.expect/extension.x86.txt (moved) * src/tests/.expect/functions.x64.txt (moved) * src/tests/.expect/functions.x86.txt (moved) * src/tests/.expect/gccExtensions.x64.txt (moved) * src/tests/.expect/gccExtensions.x86.txt (moved) * src/tests/.expect/gmp.x64.txt (moved) * src/tests/.expect/literals.x64.txt (moved) * src/tests/.expect/literals.x86.txt (moved) * src/tests/.expect/math1.x64.txt (moved) * src/tests/.expect/math1.x86.txt (moved) * src/tests/.expect/math2.x64.txt (moved) * src/tests/.expect/math2.x86.txt (moved) * src/tests/.expect/math3.x64.txt (moved) * src/tests/.expect/math3.x86.txt (moved) * src/tests/.expect/with-statement.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/concurrent/.expect/monitor.txt (moved) * src/tests/concurrent/.expect/multi-monitor.txt (moved) * src/tests/concurrent/.expect/preempt.txt (moved) * src/tests/concurrent/.expect/thread.txt (moved) * src/tests/concurrent/examples/.expect/boundedBuffer.txt (moved) * src/tests/concurrent/examples/.expect/datingService.txt (moved) * src/tests/concurrent/examples/.expect/matrixSum.txt (moved) * src/tests/concurrent/examples/boundedBuffer.c (moved) * src/tests/concurrent/examples/datingService.c (moved) * src/tests/concurrent/examples/matrixSum.c (moved) * src/tests/concurrent/monitor.c (moved) * src/tests/concurrent/multi-monitor.c (moved) * src/tests/concurrent/preempt.c (moved) * src/tests/concurrent/signal/.expect/block.txt (moved) * src/tests/concurrent/signal/.expect/disjoint.txt (moved) * src/tests/concurrent/signal/.expect/wait.txt (moved) * src/tests/concurrent/signal/barge.c (moved) * src/tests/concurrent/signal/block.c (moved) * src/tests/concurrent/signal/disjoint.c (moved) * src/tests/concurrent/signal/wait.c (moved) * src/tests/concurrent/thread.c (moved) * src/tests/concurrent/waitfor/.expect/barge.txt (moved) * src/tests/concurrent/waitfor/.expect/dtor.txt (moved) * src/tests/concurrent/waitfor/.expect/else.txt (moved) * src/tests/concurrent/waitfor/.expect/recurse.txt (moved) * src/tests/concurrent/waitfor/.expect/statment.txt (moved) * src/tests/concurrent/waitfor/.expect/when.txt (moved) * src/tests/concurrent/waitfor/barge.c (moved) * src/tests/concurrent/waitfor/dtor.c (moved) * src/tests/concurrent/waitfor/else.c (moved) * src/tests/concurrent/waitfor/parse.c (moved) * src/tests/concurrent/waitfor/parse2.c (moved) * src/tests/concurrent/waitfor/recurse.c (moved) * src/tests/concurrent/waitfor/simple.c (moved) * src/tests/concurrent/waitfor/statment.c (moved) * src/tests/concurrent/waitfor/when.c (moved) * src/tests/coroutine/.expect/coroutine.txt (moved) * src/tests/coroutine/.expect/fmtLines.txt (moved) * src/tests/coroutine/.expect/pingpong.txt (moved) * src/tests/coroutine/.expect/prodcons.txt (moved) * src/tests/coroutine/.in/fmtLines.txt (moved) * src/tests/coroutine/coroutine.c (moved) * src/tests/coroutine/fmtLines.c (moved) * src/tests/coroutine/pingpong.c (moved) * src/tests/coroutine/prodcons.c (moved) * src/tests/except-mac.h (modified) * src/tests/pybin/settings.py (added) * src/tests/pybin/test_run.py (added) * src/tests/pybin/tools.py (modified) * src/tests/test.py (modified) * src/tests/with-statement.c (added) Merge branch 'master' into cleanup-dtors Fri, 01 Dec 2017 19:55:41 GMT Rob Schluntz [3ca540f] * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/align.h (moved) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/debug.c (moved) * src/libcfa/bits/debug.h (added) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr.h (deleted) * src/libcfa/libhdr/libdebug.h (deleted) * src/libcfa/libhdr/libtools.h (deleted) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/except-mac.h (modified) Merge branch 'master' into with-statement Fri, 01 Dec 2017 19:49:52 GMT Rob Schluntz [373d0b5] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) Refactor getAggr as a Type member function Thu, 30 Nov 2017 21:43:59 GMT Rob Schluntz [ba3706f] * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) Remove label lists from various Statement constructors Thu, 30 Nov 2017 20:58:26 GMT Rob Schluntz [61255ad] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Mutator.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.cc (modified) * src/SynTree/Visitor.h (modified) Add WithStmt SynTree node Wed, 29 Nov 2017 19:00:32 GMT Rob Schluntz [9c35431] * .gitignore (modified) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/annex/local.bib (modified) * doc/proposals/concurrency/figures/ext_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (deleted) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (added) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * doc/refrat/refrat.tex (modified) * doc/user/user.tex (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.h (modified) * src/benchmark/creation/JavaThread.java (added) * src/benchmark/creation/goroutine.go (added) * src/benchmark/ctxswitch/JavaThread.java (added) * src/benchmark/ctxswitch/goroutine.go (added) * src/benchmark/mutex/JavaThread.java (added) * src/benchmark/mutex/fetch_add.c (added) * src/benchmark/schedint/JavaThread.java (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/virtual.h (modified) * src/tests/.expect/32/functions.txt (added) * src/tests/.expect/64/functions.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/designations.c (modified) * src/tests/functions.c (modified) Merge branch 'master' into cleanup-dtors Wed, 29 Nov 2017 18:56:42 GMT Rob Schluntz [487845d7] * src/SynTree/Expression.cc (modified) Add aggregate qualifiers to MemberExpr type [fixes #65] Sat, 25 Nov 2017 20:22:18 GMT Rob Schluntz [c0d00b6] * Jenkinsfile (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/local.bib (modified) * doc/proposals/concurrency/figures/int_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (added) * doc/proposals/concurrency/figures/monitor_structs.fig (added) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (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/ExplodedActual.cc (added) * src/ResolvExpr/ExplodedActual.h (added) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.c (deleted) * src/benchmark/compile/empty.c (added) * src/benchmark/creation/cfa_cor.c (modified) * src/benchmark/csv-data.c (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/containers.h (added) * src/libcfa/bits/defs.h (added) * src/libcfa/bits/locks.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/stdhdr/stddef.h (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/32/attributes.txt (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/32/literals.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/.expect/64/attributes.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/64/literals.txt (modified) * src/tests/.expect/alloc-ERROR.txt (added) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (modified) * src/tests/completeTypeError.c (modified) * src/tests/dtor-early-exit.c (modified) * src/tests/init_once.c (modified) * src/tests/multiDimension.c (modified) * src/tests/polymorphism.c (modified) * src/tests/tupleVariadic.c (modified) * src/tests/vector/vector_int.c (modified) Merge branch 'master' into cleanup-dtors Fri, 24 Nov 2017 20:05:47 GMT Rob Schluntz [3de176d] * src/SynTree/Expression.cc (modified) Add outline for stopping enumerators from being lvalues Wed, 22 Nov 2017 20:35:22 GMT Rob Schluntz [98a249fb] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Expression.cc (modified) Add operator<< for TypeEnvironment Thu, 09 Nov 2017 18:01:14 GMT Rob Schluntz [7543dec] * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) Modify VarExprReplacer to replace VariableExpr with arbitrary expression Fri, 03 Nov 2017 19:01:31 GMT Rob Schluntz [136ccd7] * .gitignore (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (deleted) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/PthrdCtxSwitch.c (deleted) * src/benchmark/ThrdCtxSwitch.c (deleted) * src/benchmark/bench.h (modified) * src/benchmark/create_cfaCor.c (deleted) * src/benchmark/create_cfaThrd.c (deleted) * src/benchmark/create_pthrd.c (deleted) * src/benchmark/create_uCor.cpp (deleted) * src/benchmark/create_uTask.cpp (deleted) * src/benchmark/creation/cfa_cor.c (added) * src/benchmark/creation/cfa_thrd.c (added) * src/benchmark/creation/pthreads.c (added) * src/benchmark/creation/upp_cor.cc (added) * src/benchmark/creation/upp_thrd.cc (added) * src/benchmark/ctxswitch/cfa_cor.c (added) * src/benchmark/ctxswitch/cfa_thrd.c (added) * src/benchmark/ctxswitch/pthreads.c (added) * src/benchmark/ctxswitch/upp_cor.cc (added) * src/benchmark/ctxswitch/upp_thrd.cc (added) * src/benchmark/mutex/cfa1.c (added) * src/benchmark/mutex/cfa2.c (added) * src/benchmark/mutex/cfa4.c (added) * src/benchmark/mutex/function.c (added) * src/benchmark/mutex/pthreads.c (added) * src/benchmark/mutex/upp.cc (added) * src/benchmark/schedext/cfa1.c (added) * src/benchmark/schedext/cfa2.c (added) * src/benchmark/schedext/cfa4.c (added) * src/benchmark/schedext/upp.cc (added) * src/benchmark/schedint/cfa1.c (added) * src/benchmark/schedint/cfa2.c (added) * src/benchmark/schedint/cfa4.c (added) * src/benchmark/schedint/upp.cc (added) * src/driver/cfa.cc (modified) * src/examples/sum.c (deleted) * src/libcfa/bits/algorithms.h (added) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr/libdebug.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/64/literals.txt (modified) * src/tests/.expect/concurrent/datingService.txt (added) * src/tests/.expect/sum.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/boundedBuffer.c (modified) * src/tests/datingService.c (added) * src/tests/matrixSum.c (modified) * src/tests/prodcons.c (modified) * src/tests/random.c (modified) * src/tests/rational.c (modified) * src/tests/sched-ext-barge.c (modified) * src/tests/sched-ext-dtor.c (modified) * src/tests/sched-ext-recurse.c (modified) * src/tests/sched-ext-when.c (modified) * src/tests/sched-ext.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/sum.c (added) * tools/Makefile.am (added) * tools/Makefile.in (added) * tools/catchsig.c (added) * tools/repeat.c (added) * tools/repeat.old (moved) * tools/stat.py (moved) Merge branch 'master' into cleanup-dtors