# # ChangeLog for src/GenPoly/Box.cc # # Generated by Trac 1.2.1 # Jun 1, 2024, 10:10:45 AM Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr [07de76b] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (moved) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * tests/.expect/completeTypeError.txt (modified) remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move ... Thu, 26 Sep 2019 17:25:49 GMT Andrew Beach [b4f8808] * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Removed lvalue from types in the old ast. Thu, 08 Aug 2019 15:29:53 GMT Andrew Beach [2d80111] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Lvalue is checked through Expression::get_lvalue. Only three other ... 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 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 ... 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, 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 Sun, 02 Sep 2018 14:19:50 GMT Rob Schluntz [029e330] * src/GenPoly/Box.cc (modified) Minor code cleanup Thu, 19 Apr 2018 19:40:22 GMT Aaron Moss [e16294d] * src/GenPoly/Box.cc (modified) Fix sizeof expressions for generic types Wed, 07 Mar 2018 22:02:11 GMT Rob Schluntz [661214c] * src/GenPoly/Box.cc (modified) Apply generic substitution to member type when transforming generic ... Wed, 07 Mar 2018 22:00:25 GMT Rob Schluntz [02c816fc] * src/GenPoly/Box.cc (modified) Strip address-of from generic member-access expressions Mon, 05 Mar 2018 20:33:36 GMT Rob Schluntz [2097cd4] * src/GenPoly/Box.cc (modified) Minor code cleanup 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 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 Fri, 02 Feb 2018 20:44:27 GMT Rob Schluntz [20cba76] * src/GenPoly/Box.cc (modified) Minor code cleanup Fri, 12 Jan 2018 22:03:16 GMT Rob Schluntz [1a4bef3] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) Ensure that dereference type is marked as lvalue after reference ... 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 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 Mon, 27 Nov 2017 19:38:37 GMT Rob Schluntz [1f370451] * src/GenPoly/Box.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/tests/polymorphism.c (modified) Carry attributes through typedefs Thu, 23 Nov 2017 21:41:05 GMT Rob Schluntz [8dceeb7] * src/GenPoly/Box.cc (modified) Monomorphize polymorphic aggregate (but not generic) members [fixes #61] Wed, 25 Oct 2017 20:31:58 GMT Rob Schluntz [4573e3c] * src/GenPoly/Box.cc (modified) Fix pointer cast warning Thu, 19 Oct 2017 15:15:36 GMT Rob Schluntz [ae1b9ea] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/FixInit.cc (modified) Always copy construct arguments that require boxing Mon, 02 Oct 2017 20:58:51 GMT Rob Schluntz [d29fa5f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) Remove has_result Mon, 25 Sep 2017 23:28:28 GMT Rob Schluntz [a31b384] * src/GenPoly/Box.cc (modified) Convert Box Pass2 to PassVisitor Mon, 25 Sep 2017 23:10:17 GMT Rob Schluntz [201182a] * src/GenPoly/Box.cc (modified) Convert Box Pass1 to PassVisitor Mon, 25 Sep 2017 22:36:46 GMT Rob Schluntz [fc72845d] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) Convert Box Pass3 to PassVisitor Mon, 25 Sep 2017 21:04:00 GMT Rob Schluntz [b4bfa0a] * src/GenPoly/Box.cc (modified) Convert LayoutFunctionBuilder to PassVisitor Sat, 16 Sep 2017 00:04:51 GMT Rob Schluntz [eada3cf] * src/GenPoly/Box.cc (modified) Minor cleanup in Box Wed, 13 Sep 2017 18:44:01 GMT Thierry Delisle [982832e] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Generate.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (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 (added) * 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 (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/charStringConstants.c (deleted) * src/tests/io.c (modified) * src/tests/io.data (modified) * src/tests/literals.c (added) * src/tests/user_literals.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 13 Sep 2017 18:34:55 GMT Thierry Delisle [e3e16bc] * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.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/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) Renamed safe_dynamic_cast to strict_dynamic_cast Tue, 12 Sep 2017 21:14:32 GMT Rob Schluntz [a0c7dc36] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) Convert PolyGenericCalculator to PassVisitor and generate size/align ... Fri, 01 Sep 2017 20:26:14 GMT Rob Schluntz [bc3127d] * src/CodeGen/OperatorTable.cc (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) Handle user-defined literals in OperatorTable, 0/1 from operator table Fri, 01 Sep 2017 18:37:35 GMT Rob Schluntz [9b18044] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) Handle TraitDecl in Box Pass2 Fri, 01 Sep 2017 14:27:39 GMT Rob Schluntz [cccc534] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/Parser/ExpressionNode.cc (modified) Minor cleanup in Box and GenPoly Sun, 27 Aug 2017 15:23:31 GMT Rob Schluntz [2ae171d8] * src/GenPoly/Box.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) Minor clean up Tue, 22 Aug 2017 23:31:52 GMT Rob Schluntz [8135d4c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/CodeLocation.h (added) * src/Common/PassVisitor.h (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/Specialize.h (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/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (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/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (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/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.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/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (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/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.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/Unify.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/ExpandCasts.h (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/libhdr.h (modified) * src/main.cc (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/KRfunctions.c (modified) * src/tests/except-0.c (modified) * src/tests/except-1.c (modified) * src/tests/except-2.c (modified) * src/tests/except-3.c (added) * src/tests/except-mac.h (added) * tools/build/clean_hdr.awk (added) * tools/build/clean_hdrs (added) * tools/build/time_make (added) Merge branch 'master' into references Tue, 15 Aug 2017 15:36:14 GMT Thierry Delisle [08fc48f] * src/CodeGen/CodeGenerator.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/PassVisitor.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/Specialize.h (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/ExpandCasts.h (modified) * src/main.cc (modified) Big header cleaning pass - commit 1 Mon, 14 Aug 2017 18:03:39 GMT Rob Schluntz [9236060] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/generic_types.bib (deleted) * doc/generic_types/generic_types.tex (modified) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/tagged-struct.txt (deleted) * doc/proposals/virtual.txt (modified) * doc/refrat/Makefile (modified) * doc/refrat/keywords.tex (added) * doc/refrat/operidents.tex (added) * doc/refrat/refrat.tex (modified) * doc/rob_thesis/Makefile (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/EHMHierarchy.fig (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * 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.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (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.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Virtual/ExpandCasts.cc (added) * src/Virtual/ExpandCasts.h (added) * src/Virtual/module.mk (added) * src/benchmark/create_pthrd.c (modified) * src/include/cassert (moved) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (deleted) * src/libcfa/assert.c (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.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 (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (deleted) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/gmp.h (modified) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdhdr/malloc.h (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/virtual.c (added) * src/libcfa/virtual.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-barge.txt (deleted) * src/tests/.expect/div.txt (added) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/designations.c (modified) * src/tests/div.c (added) * src/tests/except-0.c (modified) * src/tests/except-1.c (added) * src/tests/except-2.c (added) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (deleted) * 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/yield.c (modified) * src/tests/result.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/test.py (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * src/tests/virtualCast.c (added) * tools/cfa.nanorc (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) Merge branch 'master' into references Wed, 09 Aug 2017 00:22:34 GMT Rob Schluntz [83794e1] * src/GenPoly/Box.cc (modified) Add unused attributes to assertion parameters and adapters Tue, 08 Aug 2017 18:49:47 GMT Rob Schluntz [acd7c5dd] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) Apply generalized lvalue pass to MemberExpr Wed, 26 Jul 2017 20:47:10 GMT Aaron Moss [2edd80ae] * src/GenPoly/Box.cc (modified) Fixes #29 Tue, 25 Jul 2017 14:48:07 GMT Rob Schluntz [d335627] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) Add address-of to intrinsic reference-returning functions that are ... Fri, 21 Jul 2017 19:57:11 GMT Rob Schluntz [bff227f] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Refactor operator predicates into OperatorTable.cc Wed, 19 Jul 2017 15:49:33 GMT Aaron Moss [b826e6b] * .gitignore (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/missing (modified) * automake/test-driver (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (deleted) * doc/LaTeXmacros/enumitem/enumitem.pdf (deleted) * doc/LaTeXmacros/enumitem/enumitem.sty (deleted) * doc/LaTeXmacros/enumitem/enumitem.tex (deleted) * doc/LaTeXmacros/listings/README (deleted) * doc/LaTeXmacros/listings/listings-acm.prf (deleted) * doc/LaTeXmacros/listings/listings-bash.prf (deleted) * doc/LaTeXmacros/listings/listings-fortran.prf (deleted) * doc/LaTeXmacros/listings/listings-lua.prf (deleted) * doc/LaTeXmacros/listings/listings-python.prf (deleted) * doc/LaTeXmacros/listings/listings.cfg (deleted) * doc/LaTeXmacros/listings/listings.dtx (deleted) * doc/LaTeXmacros/listings/listings.ins (deleted) * doc/LaTeXmacros/listings/listings.log (deleted) * doc/LaTeXmacros/listings/listings.pdf (deleted) * doc/LaTeXmacros/listings/listings.sty (deleted) * doc/LaTeXmacros/listings/listings.sty.new (deleted) * doc/LaTeXmacros/listings/lstdoc.sty (deleted) * doc/LaTeXmacros/listings/lstdrvrs.dtx (deleted) * doc/LaTeXmacros/listings/lstdrvrs.ins (deleted) * doc/LaTeXmacros/listings/lstdrvrs.pdf (deleted) * doc/LaTeXmacros/listings/lstlang1.sty (deleted) * doc/LaTeXmacros/listings/lstlang2.sty (deleted) * doc/LaTeXmacros/listings/lstlang3.sty (deleted) * doc/LaTeXmacros/listings/lstmisc.sty (deleted) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/generic_types/mail (modified) * doc/proposals/references.md (modified) * doc/proposals/tagged-struct.txt (modified) * doc/user/EHMHierarchy.fig (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/MakeLibCfa.h (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/ParserTypes.h (moved) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (moved) * src/Parser/parserutility.h (moved) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CurrentObject.cc (added) * src/ResolvExpr/CurrentObject.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/TreeStruct.cc (added) * src/SymTab/TreeStruct.h (added) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.h (modified) * src/benchmark/create_pthrd.c (modified) * src/benchmark/csv-data.c (modified) * src/benchmark/interrupt_linux.c (added) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/include/assert.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.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 (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (added) * src/libcfa/exception.h (added) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/gmp (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/limits (modified) * src/libcfa/lsda.h (added) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdlib (modified) * src/libcfa/typeobject.c (added) * src/libcfa/typeobject.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/concurrent/preempt.txt (added) * src/tests/.expect/concurrent/sched-int-disjoint.txt (modified) * src/tests/.expect/designations.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/designations.c (added) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * src/tests/gmp.c (modified) * src/tests/io.c (modified) * src/tests/preempt.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 (added) * src/tests/preempt_longrun/enter3.c (added) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.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/test.py (modified) * src/tests/thread.c (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (added) * tools/prettyprinter/Makefile.in (added) * tools/prettyprinter/ParserTypes.h (added) * tools/prettyprinter/filter.cc (added) * tools/prettyprinter/filter.h (added) * tools/prettyprinter/lex.ll (added) * tools/prettyprinter/main.cc (added) * tools/prettyprinter/parser.hh (added) * tools/prettyprinter/parser.yy (added) * tools/prettyprinter/test.tex (added) * tools/prettyprinter/test.y (added) * tools/prettyprinter/test1.y (added) * tools/prettyprinter/token.cc (added) * tools/prettyprinter/token.h (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 19 Jul 2017 15:48:01 GMT Aaron Moss [fea3faa] * src/Common/VectorMap.h (modified) * src/GenPoly/Box.cc (modified) Strip bodies of generic structs pre-codegen [fixes #18] Tue, 18 Jul 2017 20:20:02 GMT Rob Schluntz [795d450] * src/GenPoly/Box.cc (modified) Correct the expression type after boxing intrinsic dereference to the ... Thu, 13 Jul 2017 17:44:58 GMT Rob Schluntz [0a81c3f] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) Remove several missing-reference related hacks Mon, 26 Jun 2017 20:13:36 GMT Rob Schluntz [2a7b3ca] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) convert InstantiateGeneric to PassVisitor, add missing mutate and ... Wed, 21 Jun 2017 21:47:44 GMT Peter A. Buhr [d56e5bc] * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parseutility.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/Tuples/TupleExpansion.cc (modified) add constant value into constants Sun, 18 Jun 2017 13:22:22 GMT Rob Schluntz [436c0de] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/generic_types/refereeReport.txt (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/build/bump_ver.sh (modified) * doc/proposals/concurrency/build/version (deleted) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (added) * doc/proposals/tagged-struct.txt (added) * doc/user/user.tex (modified) * doc/working/exception/design.txt (modified) * doc/working/exception/impl/except.c (deleted) * doc/working/exception/impl/except.h (deleted) * doc/working/exception/impl/exception.c (added) * doc/working/exception/impl/exception.h (added) * doc/working/exception/impl/main.c (deleted) * doc/working/exception/impl/resume-main.c (deleted) * doc/working/exception/impl/test-main.c (added) * doc/working/exception/translate.c (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.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/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/examples/fwrite.c (deleted) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/tests/.expect/identity.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/maybe.txt (added) * src/tests/.expect/result.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (modified) * src/tests/identity.c (moved) * src/tests/io.c (modified) * src/tests/maybe.c (added) * src/tests/preempt_longrun/Makefile.am (added) * src/tests/preempt_longrun/Makefile.in (added) * src/tests/preempt_longrun/create.c (added) * src/tests/preempt_longrun/processor.c (added) * src/tests/preempt_longrun/stack.c (added) * src/tests/preempt_longrun/yield.c (added) * src/tests/result.c (added) * tools/cfa.nanorc (modified) * tools/repeat (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa ... Wed, 07 Jun 2017 20:53:42 GMT Thierry Delisle [d7dc824] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) Removed more warnings Tue, 06 Jun 2017 18:50:57 GMT Rob Schluntz [10e90cb] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (added) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (added) * src/libcfa/concurrency/preemption.h (added) * src/libcfa/concurrency/signal.c (deleted) * src/main.cc (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 05 Jun 2017 21:49:43 GMT Rob Schluntz [8ca3a72] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SynTree/Attribute.h (modified) remove redundant noLabels variables Mon, 05 Jun 2017 17:59:11 GMT Thierry Delisle [7e003011] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/ImplementationType.cc (modified) Some more unused argument removal, also removed some functions Fri, 02 Jun 2017 21:05:00 GMT Rob Schluntz [2164637] * src/GenPoly/Box.cc (modified) don't clone member in conversion of OffsetPackExpr to OffsetofExpr ... Sun, 14 May 2017 22:23:58 GMT Peter A. Buhr [7b2c0a99] * src/GenPoly/Box.cc (modified) fix unbound type-variable error Thu, 11 May 2017 18:09:51 GMT Rob Schluntz [a28bc02] * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) assignment argument and return value are now always copy constructed Tue, 09 May 2017 17:56:16 GMT Rob Schluntz [c10ee66] * src/GenPoly/Box.cc (modified) fix nested generic member expressions, fix generic union member ... Fri, 07 Apr 2017 22:12:50 GMT Aaron Moss [a0ad7dc] * src/GenPoly/Box.cc (modified) Switch alloca's to VLA's for safe in-loop use Tue, 21 Mar 2017 19:25:01 GMT Rob Schluntz [f5392c1] * src/GenPoly/Box.cc (modified) don't generate return value temporaries for adapters Fri, 17 Mar 2017 13:58:23 GMT Peter A. Buhr [615a096] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) fix BFCommon problem on gcc-4.9, and begin consistent renaming Thu, 16 Mar 2017 12:47:36 GMT Peter A. Buhr [ddfd945] * src/GenPoly/Box.cc (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/SymTab/Autogen.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) move type FuncSpecifiers from DeclarationNode to Type Thu, 16 Mar 2017 12:23:42 GMT Peter A. Buhr [68fe077a] * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (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/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) move type StorageClasses from DeclarationNode to Type Wed, 15 Mar 2017 21:02:25 GMT Aaron Moss [9b443c7f] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/GenPoly/Box.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/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/ThrdCtxSwitch.c (modified) * src/benchmark/bench.c (modified) * src/benchmark/csv-data.c (modified) * src/examples/multicore.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine (moved) * src/libcfa/concurrency/coroutine.c (moved) * src/libcfa/concurrency/invoke.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 (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (moved) * src/libcfa/concurrency/thread.c (moved) * src/main.cc (modified) * src/tests/coroutine.c (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 15 Mar 2017 21:01:18 GMT Aaron Moss [5a3ac84] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Fixed Box(T*) generic instantiation bug Tue, 14 Mar 2017 15:29:34 GMT Peter A. Buhr [08d5507b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.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/ParseNode.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) change type of function specifier and storage class to bit fields Tue, 07 Mar 2017 13:33:43 GMT Peter A. Buhr [a7c90d4] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.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/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change StorageClass to bitset, support _Thread_local as separate ... Sat, 04 Mar 2017 03:12:02 GMT Peter A. Buhr [dd020c0] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.h (modified) first attempt to create function specifiers Thu, 16 Feb 2017 20:36:45 GMT Peter A. Buhr [3a5131ed] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/core (added) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/.expect/KRfunctions.txt (added) * src/tests/KRfunctions.c (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) handle KR function declarations Tue, 14 Feb 2017 20:53:52 GMT Thierry Delisle [138e29e] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Implemented filename and linenumber errors in most cases, only ... Fri, 03 Feb 2017 21:02:13 GMT Rob Schluntz [064cb18] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Mangler.cc (modified) Fixed code gen for default argument functions Wed, 11 Jan 2017 20:29:33 GMT Rob Schluntz [dd0c97b] * src/GenPoly/Box.cc (modified) * src/tests/.expect/tupleVariadic.txt (modified) * src/tests/tupleVariadic.c (modified) prevent generic parameters from polluting the outer scope in Box Pass2 Thu, 05 Jan 2017 20:47:36 GMT Rob Schluntz [6c3a988f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) fix inferred parameter data structures to correctly associate ... Wed, 21 Dec 2016 21:15:47 GMT Rob Schluntz [b940dc71] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) replace type variables in InstantiateGeneric, fix call passTypeVars ... Wed, 21 Dec 2016 19:54:31 GMT Rob Schluntz [8bf784a] * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) name mangling for ttype, fix SynTree operator<< to work with nullptr, ... Thu, 15 Dec 2016 21:16:52 GMT Rob Schluntz [5802a4f] * src/GenPoly/Box.cc (modified) remove assignment to polymorphic return values in Box Tue, 13 Dec 2016 23:42:39 GMT Rob Schluntz [cce9429] * src/GenPoly/Box.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) fix function return type in Validate and add single return decl, ... Fri, 25 Nov 2016 23:11:03 GMT Rob Schluntz [2c57025] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/libcfa/prelude.cf (modified) * src/tests/.expect/completeTypeError.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/completeTypeError.c (added) add support for built-in sized trait which decouples size/alignment ... Wed, 16 Nov 2016 21:37:50 GMT Rob Schluntz [d9fa60a] * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Expression.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) * src/tests/tupleFunction.c (modified) moved substituion into MemberExpr constructor, change generated tuple ... Tue, 15 Nov 2016 22:30:52 GMT Rob Schluntz [33a7b6d] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/tests/.expect/simpleGenericTriple.txt (added) * src/tests/simpleGenericTriple.c (added) * src/tests/tupleAssign.c (modified) * src/tests/tupleFunction.c (modified) * src/tests/tupleMember.c (modified) changed use of formal types to actual types for boxing return ... Wed, 09 Nov 2016 19:51:42 GMT Rob Schluntz [b726084] * .gitignore (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (added) * doc/proposals/concurrency/version (modified) * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) * src/ControlStruct/LabelFixer.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/tests/Makefile.in (modified) * version (deleted) Merge branch 'master' into tuples Conflicts: ... Thu, 27 Oct 2016 20:22:27 GMT Thierry Delisle [62e5546] * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) Removed warnings when compiling with clang Mon, 19 Sep 2016 20:39:33 GMT Rob Schluntz [8c49c0e] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) decouple code that uses Type's forall list from std::list in ... Thu, 15 Sep 2016 14:17:16 GMT Rob Schluntz [906e24d] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelTypeChecker.cc (deleted) * src/ControlStruct/LabelTypeChecker.h (deleted) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) replace results list on Expressions with a single Type field Wed, 07 Sep 2016 13:30:25 GMT Thierry Delisle [5fda714] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (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/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/ctorWarnings.txt (deleted) * src/tests/.expect/memberCtors-ERR1.txt (added) * src/tests/.expect/memberCtors.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/ctorWarnings.c (deleted) * src/tests/memberCtors.c (added) * src/tests/typeof.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Sun, 04 Sep 2016 19:25:32 GMT Rob Schluntz [1ba88a0] * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) implement implicit ctor/dtor deletion, track managed types when ... Wed, 31 Aug 2016 15:20:03 GMT Thierry Delisle [e491159] * src/Common/ScopedMap.h (added) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScopedMap.h (deleted) * src/SymTab/Validate.cc (modified) Moved ScopedMap to Common folder Wed, 10 Aug 2016 18:29:40 GMT Aaron Moss [f18a711] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Fix bug in replacing dtype-only generics with stripped versions Mon, 08 Aug 2016 19:44:56 GMT Aaron Moss [3bb195cb] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/SymTab/Autogen.cc (modified) Dtypes now erased on dtype-only generic types, tests pass, build ... Thu, 04 Aug 2016 23:39:46 GMT Aaron Moss [ea5daeb] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Move generic instantiation earlier Wed, 03 Aug 2016 15:21:47 GMT Rob Schluntz [9799ec8] * src/GenPoly/Box.cc (modified) fix bug where the wrong scope level is used for assertion parameters ... Thu, 30 Jun 2016 17:47:52 GMT Peter A. Buhr [ca35c51] * src/ControlStruct/CaseRangeMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Constant.h (modified) move implementation of ConstantNode to ConstantExpr Thu, 23 Jun 2016 19:46:10 GMT Aaron Moss [c2ad3c9] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) fix explicit cast error for returning polymorphic types, also ... Fri, 03 Jun 2016 18:02:29 GMT Rob Schluntz [10a7775] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) can use intrinsic constructors on const objects Fri, 13 May 2016 18:55:44 GMT Rob Schluntz [189243c] * src/GenPoly/Box.cc (modified) Merge branch 'master' into ctor Conflicts: src/GenPoly/Box.cc Fri, 13 May 2016 18:49:38 GMT Rob Schluntz [cc3528f] * src/GenPoly/Box.cc (modified) Added a few comments to Box.cc Thu, 12 May 2016 17:19:59 GMT Rob Schluntz [fb24492] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Merge branch 'master' into ctor Conflicts: ... Wed, 11 May 2016 17:09:33 GMT Aaron Moss [cb4c607] * src/GenPoly/Box.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Refactor Constant::from to disambiguate type Wed, 04 May 2016 15:07:41 GMT Rob Schluntz [2e3a379] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) Change cloneAndRename to clone all assertion parameters rather than ... Mon, 02 May 2016 19:09:08 GMT Rob Schluntz [540de412] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.h (modified) 'merge' type substitutions from resolved copy constructors, add case ...