# # ChangeLog for / # # Generated by Trac 1.2.1 # Apr 30, 2024, 7:23:01 AM Thu, 28 Mar 2019 14:22:57 GMT tdelisle [1241851] * configure (modified) * configure.ac (modified) * longrun_tests/Makefile.am (moved) * longrun_tests/Makefile.in (moved) * longrun_tests/block.c (moved) * longrun_tests/coroutine.c (moved) * longrun_tests/create.c (moved) * longrun_tests/disjoint.c (moved) * longrun_tests/enter.c (moved) * longrun_tests/enter3.c (moved) * longrun_tests/preempt.c (moved) * longrun_tests/processor.c (moved) * longrun_tests/stack.c (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.c (moved) * longrun_tests/yield.c (moved) Moved longrun tests outside of tests folder Wed, 27 Mar 2019 18:44:34 GMT tdelisle [a45fc7b] * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Tests no longer use subprocess.run(shell=True), which solves leak ... Wed, 27 Mar 2019 15:09:23 GMT tdelisle [86fb8f2] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Pingpong.cfa (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/ProdCons.cpp (modified) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/user/user.tex (modified) * libcfa/prelude/builtins.c (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/math1.txt (modified) * tests/coroutine/pingpong.cfa (modified) * tests/math1.cfa (modified) * tests/rational.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 27 Mar 2019 15:09:15 GMT tdelisle [2b10f95] * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Improved printing, added support for cpp tests and fix byte string ... Wed, 27 Mar 2019 13:07:47 GMT Peter A. Buhr [1e5d0f0c] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Pingpong.cfa (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/ProdCons.py (added) start rewrite of coroutine section Wed, 27 Mar 2019 12:58:53 GMT Peter A. Buhr [0087e0e] * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * tests/rational.cfa (modified) add rational exponentiation, code clean up Wed, 27 Mar 2019 12:55:18 GMT Peter A. Buhr [8a30423] * libcfa/prelude/builtins.c (modified) more exponential clean up Wed, 27 Mar 2019 02:30:42 GMT Peter A. Buhr [697e484] * doc/user/user.tex (modified) update exponential documentation Wed, 27 Mar 2019 02:29:25 GMT Peter A. Buhr [7726839] * libcfa/prelude/builtins.c (modified) exponential clean up and fix forall version Tue, 26 Mar 2019 21:59:05 GMT Peter A. Buhr [c274df2] * tests/math1.cfa (modified) update and add exponential tests Tue, 26 Mar 2019 21:57:44 GMT Peter A. Buhr [980aa4a] * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/math1.txt (modified) update expected output Tue, 26 Mar 2019 21:55:29 GMT Peter A. Buhr [363b48f] * tests/coroutine/pingpong.cfa (modified) change to reference, formatting Tue, 26 Mar 2019 21:07:10 GMT Peter A. Buhr [8dbfb7e] * libcfa/prelude/builtins.c (modified) update exponential operator, formatting Tue, 26 Mar 2019 18:12:57 GMT tdelisle [ae6b6cf] * doc/papers/concurrency/examples/ProdCons.cpp (modified) Implemented ProdCons using C++20 coroutines and a dispatcher pattern, ... Tue, 26 Mar 2019 15:15:49 GMT tdelisle [1bb2488] * tests/pybin/tools.py (modified) * tests/test.py (modified) No longer need to use popen and signal handling in test.py Tue, 26 Mar 2019 14:36:58 GMT tdelisle [5bf1f3e] * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Code review of test.py and pybin Mon, 25 Mar 2019 17:40:35 GMT tdelisle [eb60b04] * libcfa/src/stdhdr/stdbool.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 25 Mar 2019 17:40:20 GMT tdelisle [d3c1c6a] * tests/pybin/settings.py (modified) * tests/test.py (modified) Tests now prints path+name when runnning Mon, 25 Mar 2019 16:05:29 GMT tdelisle [5b993e0] * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/config.py.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Updated test scripts to use python3 Mon, 25 Mar 2019 14:45:18 GMT Peter A. Buhr [1097bb7] * libcfa/src/stdhdr/stdbool.h (modified) cast boolean constants false/true to tyoe _Bool in stdbool.h Mon, 25 Mar 2019 14:07:13 GMT tdelisle [d4a60ac] * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.cc (modified) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (moved) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/Refactor.py (added) * libcfa/src/heap.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * 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/raii/init_once.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 22 Mar 2019 19:45:28 GMT Peter A. Buhr [e73d449] * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.cc (modified) formatting Fri, 22 Mar 2019 19:44:08 GMT Peter A. Buhr [f8cd310] * doc/papers/concurrency/examples/ProdCons.cfa (modified) * libcfa/src/heap.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/raii/init_once.cfa (modified) update file names in emacs compile directive 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 Fri, 22 Mar 2019 14:52:46 GMT tdelisle [7a8f5246] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/tls-fetch_add.c (added) Added benchmark for relaxed atomic store to tls 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