# # ChangeLog for / # # Generated by Trac 1.2.1 # May 5, 2024, 2:21:24 AM Fri, 22 Mar 2019 19:28:14 GMT Peter A. Buhr [386e710] * doc/papers/concurrency/examples/pingpong.py (deleted) * tests/coroutine/fibonacci_1.cfa (modified) refactor to look more like python Fri, 22 Mar 2019 19:10:27 GMT Peter A. Buhr [17c6c1c3] * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.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/Refactor.py (added) add more paper examples Thu, 21 Mar 2019 20:28:14 GMT Aaron Moss [17129659] * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/warnings/.expect/self-assignment.txt (modified) Fix line numbers in tests Thu, 21 Mar 2019 18:22:09 GMT Aaron Moss [ca59826] * doc/papers/concurrency/examples/Fib.sim (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/ProdCons.sim (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 21 Mar 2019 18:21:59 GMT Aaron Moss [1febef62] * src/Common/PersistentMap.h (modified) Fix gcc-7 errors in persistent map Wed, 20 Mar 2019 21:15:54 GMT Peter A. Buhr [9399057] * src/Common/PassVisitor.cc (modified) * src/Common/PersistentMap.h (added) * src/Common/Stats/Counter.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/main.cc (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/warnings/.expect/self-assignment.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 20 Mar 2019 21:15:34 GMT Peter A. Buhr [90b9e4b] * doc/papers/concurrency/examples/Fib.sim (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/ProdCons.sim (added) add Simila, Python and uC++ example coroutines Wed, 20 Mar 2019 20:42:12 GMT Aaron Moss [b5cff2b] * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/warnings/.expect/self-assignment.txt (modified) Fix tests after symbol table merge Wed, 20 Mar 2019 20:19:29 GMT Aaron Moss [92d41a4] * src/Common/PassVisitor.cc (modified) * src/Common/PersistentMap.h (added) * src/Common/Stats/Counter.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/main.cc (modified) Merge branch 'persistent-indexer' Wed, 20 Mar 2019 20:16:54 GMT Aaron Moss [114bde6] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Trim old version of removeSpecialOverrides Wed, 20 Mar 2019 20:00:13 GMT tdelisle [709e0e0] * doc/papers/concurrency/examples/ProdCons.cpp (added) Added C++20 ProdCons example draft: It does not work, might be impossible Wed, 20 Mar 2019 19:42:24 GMT tdelisle [571bf75] * doc/papers/concurrency/examples/Fib.cpp (modified) * doc/papers/concurrency/examples/Format.cpp (modified) * doc/papers/concurrency/examples/base.hpp (deleted) * doc/papers/concurrency/examples/counter.cpp (modified) Clean existing coroutines using std::experimental::suspend_never and ... Wed, 20 Mar 2019 18:16:10 GMT tdelisle [13b1b1d] * doc/papers/concurrency/examples/Format.cpp (modified) C++ Format coroutine now "properly" destroys itself Wed, 20 Mar 2019 17:53:02 GMT Aaron Moss [181a6af] * src/Common/PersistentMap.h (modified) Walk back history changes to persistent map Tue, 19 Mar 2019 20:58:03 GMT tdelisle [aa22c60] * doc/papers/concurrency/examples/C++Cor-ts.cpp (moved) * doc/papers/concurrency/examples/Fib.cpp (moved) * doc/papers/concurrency/examples/Format.cpp (moved) * doc/papers/concurrency/examples/base.hpp (moved) * doc/papers/concurrency/examples/counter.cpp (moved) Moved c++Cor example to examples folder Tue, 19 Mar 2019 20:30:42 GMT tdelisle [79b018f3] * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/pingpong.py (added) * tests/coroutine/devicedriver.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 19 Mar 2019 20:30:33 GMT tdelisle [8f936bf] * doc/papers/concurrency/c++-cor/C++Cor-ts.cpp (modified) * doc/papers/concurrency/c++-cor/fmt.cpp (modified) Got rid of weird yield in fmt example Tue, 19 Mar 2019 20:07:18 GMT Peter A. Buhr [81a05ca] * doc/papers/concurrency/c++-cor/C++Cor-ts.cpp (added) * doc/papers/concurrency/c++-cor/base.hpp (added) * doc/papers/concurrency/c++-cor/counter.cpp (modified) * doc/papers/concurrency/c++-cor/fib.cpp (modified) * doc/papers/concurrency/c++-cor/fmt.cpp (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 19 Mar 2019 20:07:13 GMT Peter A. Buhr [7cfd6d4] * tests/coroutine/devicedriver.cfa (modified) illustrate coroutine refactoring Tue, 19 Mar 2019 20:04:47 GMT Peter A. Buhr [2e041e27] * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/pingpong.py (added) add examples directory for testing code in the paper Tue, 19 Mar 2019 19:09:42 GMT tdelisle [be3416d] * doc/papers/concurrency/c++-cor/C++Cor-ts.cpp (added) * doc/papers/concurrency/c++-cor/base.hpp (added) * doc/papers/concurrency/c++-cor/counter.cpp (modified) * doc/papers/concurrency/c++-cor/fib.cpp (modified) * doc/papers/concurrency/c++-cor/fmt.cpp (added) Added more examples of c++20 coroutines Tue, 19 Mar 2019 17:01:54 GMT tdelisle [f1c1339] * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * tests/concurrent/examples/quickSort.generic.cfa (added) * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/devicedriver.cfa (added) * tests/forall.cfa (modified) * tests/rational.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 19 Mar 2019 17:01:33 GMT tdelisle [9cb4fc8] * doc/papers/concurrency/c++-cor/counter.cpp (added) * doc/papers/concurrency/c++-cor/fib.cpp (added) Addded C++ example for fibonacci and counter with C++20 coroutines Tue, 19 Mar 2019 15:31:06 GMT Aaron Moss [42f1279c] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Eagerly remove over-ridden generated functions Tue, 19 Mar 2019 14:46:50 GMT Peter A. Buhr [0c81320] * libcfa/prelude/prelude-gen.cc (modified) * tests/forall.cfa (modified) * tests/rational.cfa (modified) add one_t constructor to prelude, remove one_t constructor from test ... Tue, 19 Mar 2019 02:41:12 GMT Peter A. Buhr [1528a2c] * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) parse new casts Tue, 19 Mar 2019 02:39:37 GMT Peter A. Buhr [083203b] * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/devicedriver.cfa (added) coroutine device-driver example Tue, 19 Mar 2019 01:03:15 GMT Peter A. Buhr [78e109f] * tests/concurrent/examples/quickSort.generic.cfa (added) generic quickSort that fails with thread thunk problem Mon, 18 Mar 2019 18:32:26 GMT tdelisle [466b1c9] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/specialized_casts.md (added) * 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) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/prelude-gen.cc (modified) * src/BasicTypes-gen.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * tests/.expect/completeTypeError.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 18 Mar 2019 18:32:17 GMT tdelisle [76d3ca6] * libcfa/src/concurrency/coroutine.hfa (modified) Fixed error in libcfa where suspend() should have been declared ... Mon, 18 Mar 2019 14:28:04 GMT Peter A. Buhr [a927662] * doc/papers/concurrency/Paper.tex (modified) more intro and coroutine changes Sat, 16 Mar 2019 16:00:10 GMT Peter A. Buhr [3f8ec70] * doc/proposals/specialized_casts.md (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 16 Mar 2019 15:59:51 GMT Peter A. Buhr [1ecee81] * doc/papers/concurrency/Paper.tex (modified) update title/introduction Fri, 15 Mar 2019 19:43:39 GMT Aaron Moss [fdae913] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) modify persistent map to not re-initialize history nodes facing deletion Fri, 15 Mar 2019 18:22:25 GMT Aaron Moss [b419abb] * src/Common/PersistentMap.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Lazy scope initialization for indexer Fri, 15 Mar 2019 15:17:16 GMT Aaron Moss [501b08a] * doc/bibliography/pl.bib (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/SynTree/Statement.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 15 Mar 2019 15:17:12 GMT Aaron Moss [6dbeef7] * doc/proposals/specialized_casts.md (modified) Minor fix to specialized casts proposal Thu, 14 Mar 2019 15:53:28 GMT Aaron Moss [b8665e3] * src/Common/PassVisitor.cc (modified) * src/Common/PersistentMap.h (added) * src/Common/Stats/Counter.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/main.cc (modified) First build with persistent-map indexer Thu, 14 Mar 2019 02:18:08 GMT Peter A. Buhr [35a2d47] * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/SynTree/Statement.h (modified) formatting Wed, 13 Mar 2019 15:45:00 GMT Peter A. Buhr [d078afd] * doc/proposals/specialized_casts.md (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 13 Mar 2019 15:37:31 GMT Aaron Moss [9fe46e6] * doc/proposals/specialized_casts.md (added) Add proposal document for other cast operators Wed, 13 Mar 2019 15:35:33 GMT Peter A. Buhr [8b590a4] * doc/bibliography/pl.bib (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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 13 Mar 2019 15:35:30 GMT Peter A. Buhr [1c35c78] * doc/bibliography/pl.bib (modified) add Ritchie C history paper Tue, 12 Mar 2019 19:12:23 GMT Aaron Moss [30e32b2] * Jenkinsfile (added) Restore Jenkinsfile lost in merge Tue, 12 Mar 2019 19:00:54 GMT Aaron Moss [53bb8f1] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * 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/jenkins.sh (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/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail (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/src/Makefile.in (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/BasicTypes-gen.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.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/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (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/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (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/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/array.cfa (modified) * tests/castError.cfa (modified) * 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/io1.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (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/prettyprinter/Makefile.in (modified) Merge second draft of Aaron's thesis Tue, 12 Mar 2019 18:49:34 GMT Aaron Moss [9d9a451] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) thesis: fix zero_t reference to generic chapter Tue, 12 Mar 2019 03:13:09 GMT Aaron Moss [e402bbc] * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: finish second draft Tue, 12 Mar 2019 03:06:10 GMT Aaron Moss [834f634] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: second draft of ch.6 Tue, 12 Mar 2019 02:38:01 GMT Aaron Moss [811466d] * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (modified) thesis: color-code experiment graph by traversal direction Mon, 11 Mar 2019 21:34:55 GMT Aaron Moss [4ba22b8] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: initial ch.6 revisions Mon, 11 Mar 2019 02:57:03 GMT Peter A. Buhr [91d6584] * src/Common/Stats/Time.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 11 Mar 2019 02:55:16 GMT Peter A. Buhr [9e6955d] * tests/.expect/completeTypeError.txt (modified) update generated code Mon, 11 Mar 2019 02:54:33 GMT Peter A. Buhr [0a616e0] * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) clean up constant code and add pointer suffix Mon, 11 Mar 2019 02:53:03 GMT Peter A. Buhr [7579ac0] * libcfa/prelude/builtins.c (modified) formatting and temporarily add polymorphic intptr Mon, 11 Mar 2019 02:51:40 GMT Peter A. Buhr [6fd1955] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) update GENERATED BY file name Mon, 11 Mar 2019 02:49:16 GMT Peter A. Buhr [c2fe922] * src/BasicTypes-gen.cc (modified) remove path from generating file name Mon, 11 Mar 2019 01:25:47 GMT Peter A. Buhr [f910df5] * src/BasicTypes-gen.cc (modified) formatting Mon, 11 Mar 2019 01:25:10 GMT Peter A. Buhr [b830e046] * libcfa/prelude/prelude-gen.cc (modified) formatting output Thu, 07 Mar 2019 20:44:17 GMT Aaron Moss [d438111] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: update second draft of ch.5 Thu, 07 Mar 2019 20:17:13 GMT Aaron Moss [1836081] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: second draft of ch.5 Wed, 06 Mar 2019 15:33:52 GMT tdelisle [fca6ca6] * src/Common/Stats/Time.cc (modified) Fixed % of parent when more than one level ends at the same time Wed, 06 Mar 2019 14:57:42 GMT tdelisle [c101756] * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 06 Mar 2019 14:56:47 GMT tdelisle [61dbb54] * src/Common/Stats/Time.cc (modified) Fixed initialization of chrono stack not supported by g++-5 Tue, 05 Mar 2019 23:17:55 GMT Peter A. Buhr [b38433b] * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats.h (modified) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Makefile.in (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Mar 2019 22:35:02 GMT Peter A. Buhr [34737de] * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) add intptr_t and uintptr_t to extras Tue, 05 Mar 2019 20:28:52 GMT Aaron Moss [247c8f3] * doc/bibliography/pl.bib (modified) Fixed link in Clang citation Tue, 05 Mar 2019 20:21:58 GMT Aaron Moss [3fad907] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: Include full committee in front matter Tue, 05 Mar 2019 20:10:06 GMT Aaron Moss [8b1dc66] * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: second draft of ch.4 Tue, 05 Mar 2019 20:08:55 GMT tdelisle [972540e] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/io1.txt (modified) * tests/io1.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Mar 2019 20:08:46 GMT tdelisle [c884f2d] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/SymTab/Validate.cc (modified) Fixed error for % of parent printing in timing sections and added ... Tue, 05 Mar 2019 19:17:45 GMT tdelisle [3c0d4cd] * src/Common/Stats/Time.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Fixed/implemented % of parent printing in timing sections Tue, 05 Mar 2019 18:37:32 GMT Peter A. Buhr [97a1544] * doc/papers/concurrency/mail (modified) email related to paper Tue, 05 Mar 2019 18:36:51 GMT Peter A. Buhr [ca0f061f] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) second introduction update Tue, 05 Mar 2019 18:14:52 GMT tdelisle [79eaeb7] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/main.cc (modified) Improved printing, parent printing still incorrect Tue, 05 Mar 2019 13:45:24 GMT Peter A. Buhr [17a1b21] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/io1.txt (modified) * tests/io1.cfa (modified) add printing and testing for zero_t and one_t Mon, 04 Mar 2019 21:44:32 GMT Aaron Moss [6a787f8] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) Fix acknowledgements, note resolver prototype publication Mon, 04 Mar 2019 20:52:46 GMT tdelisle [4f97937] * src/Common/Stats/Base.h (modified) * src/Common/Stats/Stats.cc (modified) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) First draft at timing results, left is better printing and more data Mon, 04 Mar 2019 20:05:55 GMT tdelisle [1bb9a9a] * src/Common/Stats.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) Some clean-up and comenting Mon, 04 Mar 2019 19:54:05 GMT tdelisle [874ffa4] * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 04 Mar 2019 19:53:55 GMT tdelisle [1cb7fab2] * src/Common/Stats.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/SymTab/Indexer.cc (modified) * src/main.cc (modified) Added better support for enabling/disabling/compiling-out statistics Mon, 04 Mar 2019 18:57:28 GMT Aaron Moss [01300c4] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) Merge branch 'aaron-thesis' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Mon, 04 Mar 2019 18:57:24 GMT Aaron Moss [5934c5f] * doc/bibliography/pl.bib (modified) add Checked C citation to bibliography file Mon, 04 Mar 2019 04:02:08 GMT Aaron Moss [6e4411f] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: add acknowledgements Fri, 01 Mar 2019 20:10:09 GMT tdelisle [675716e] * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Instrumented PassVisitor to print average/max depth Fri, 01 Mar 2019 19:10:34 GMT tdelisle [8e70823] * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) Extracted out BaseCounter as a generic key-value tree Fri, 01 Mar 2019 03:59:47 GMT Peter A. Buhr [0050a5f] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.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/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 01 Mar 2019 03:59:39 GMT Peter A. Buhr [f56c32e] * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) update constant parsing and add 'n' suffix for integer constants Thu, 28 Feb 2019 22:13:47 GMT tdelisle [0633cf2] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.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/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Feb 2019 22:13:38 GMT tdelisle [5509ff4] * src/Parser/TypeData.h (modified) Added proper initialization to TypeData Thu, 28 Feb 2019 21:23:52 GMT tdelisle [79de2210] * src/SymTab/Indexer.cc (modified) Instrumented Indexer at little Thu, 28 Feb 2019 21:23:34 GMT tdelisle [351c519] * src/Common/Stats/Counter.h (modified) Added max counter to stats Thu, 28 Feb 2019 21:13:15 GMT tdelisle [ebcc940] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/main.cc (modified) Added --stats flag to enable statistics Thu, 28 Feb 2019 20:24:11 GMT tdelisle [be30a90] * src/SynTree/AddressExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Feb 2019 20:24:03 GMT tdelisle [a1099278] * src/Common/Stats/Counter.cc (modified) Fix printing of empty counters Thu, 28 Feb 2019 19:54:05 GMT Aaron Moss [7db4836] * 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/safe-conv-graph.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: modify conversion graphs to use subfigures Thu, 28 Feb 2019 19:43:01 GMT tdelisle [c9e640e] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) Fixed benign warning when compiling with nolib Thu, 28 Feb 2019 19:33:20 GMT tdelisle [8f74a6a] * src/Common/Stats.h (modified) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Added code to support generic statistic counters in the compiler Thu, 28 Feb 2019 19:24:42 GMT Aaron Moss [58732d1] * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) thesis: ch.3 second draft Thu, 28 Feb 2019 18:42:39 GMT Aaron Moss [d1b1063] * doc/theses/aaron_moss_PhD/phd/Makefile (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/thesis.tex (modified) thesis: Add appendix with generic benchmark code Thu, 28 Feb 2019 18:36:19 GMT Peter A. Buhr [734ceb3e] * src/SynTree/AddressExpr.cc (modified) print error message rather than fail when taking address of non- ...