# # ChangeLog for doc # # Generated by Trac 1.2.1 # Apr 18, 2024, 7:20:49 PM Wed, 24 Apr 2019 20:09:47 GMT Aaron Moss [39de1c5] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) move formalization paragraph to introduction Wed, 24 Apr 2019 20:06:28 GMT Aaron Moss [ec92b48] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: add comments on CFA formalization Wed, 24 Apr 2019 15:50:11 GMT Aaron Moss [71a12390] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: address comment about MaxSAT Wed, 24 Apr 2019 15:06:30 GMT Aaron Moss [6eed619] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: add reference to concurrent hash tries Wed, 24 Apr 2019 03:28:34 GMT Aaron Moss [70eaa80b] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: update discussion of Java type inference Tue, 23 Apr 2019 20:36:58 GMT Aaron Moss [3b40801b] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (modified) * 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/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: add changebars Tue, 23 Apr 2019 19:41:51 GMT Aaron Moss [c4b5486] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * 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/resolution-heuristics.tex (modified) thesis: integrate defence answers as clarifications into thesis Tue, 23 Apr 2019 15:52:28 GMT Aaron Moss [cf01d0b] * doc/bibliography/pl.bib (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/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (modified) * 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/resolution-heuristics.tex (modified) thesis: typo-fixing revisions from Werner, Ondrej Sun, 21 Apr 2019 01:40:54 GMT Aaron Moss [8f55e8e9] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: comment on general applications in conclusion, per Gregor Sat, 20 Apr 2019 23:28:50 GMT Aaron Moss [2834e99] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: add CFA usage example for type environment, per Gregor Sat, 20 Apr 2019 22:20:13 GMT Aaron Moss [c1f3d1a8] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: more motivation for expression resolution problem, per Gregor Sat, 20 Apr 2019 18:29:53 GMT Aaron Moss [e71272a] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: unify abstract with common thesis, per Gregor Tue, 16 Apr 2019 20:19:48 GMT Aaron Moss [a786586] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: fix URL line breaks in References Tue, 16 Apr 2019 19:51:40 GMT Aaron Moss [f1240b0] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) thesis: strip CFA-DCA results, add speedup graph Tue, 16 Apr 2019 18:50:33 GMT Aaron Moss [397848f5] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: typos from Gregor Tue, 16 Apr 2019 17:25:38 GMT Aaron Moss [0e54654] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) Merge branch 'aaron-thesis' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Fri, 12 Apr 2019 01:48:23 GMT Aaron Moss [5a801444] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) thesis: fix C layout citation Fri, 12 Apr 2019 01:24:46 GMT Aaron Moss [ab3a69c] * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (modified) thesis: fixes to graphs Wed, 13 Mar 2019 15:12:40 GMT Aaron Moss [320e72a2] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: tweak ascription cast Wed, 13 Mar 2019 14:20:24 GMT Aaron Moss [a2545593] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Add ascription casts to future work 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 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 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 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 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 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 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: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 03:26:18 GMT Aaron Moss [4eaefd1] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) thesis: second draft to end of 3.2 Thu, 28 Feb 2019 02:41:15 GMT Aaron Moss [4cdfcbd] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) Merge branch 'aaron-thesis' of plg2.cs.uwaterloo.ca:software/cfa/cfa- ... Thu, 28 Feb 2019 02:41:09 GMT Aaron Moss [1b1a8da] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) thesis: ch.2 second draft Wed, 27 Feb 2019 21:02:32 GMT Aaron Moss [e1e3578] * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) thesis: incorporate Peter's edits for introduction Wed, 27 Feb 2019 19:41:40 GMT Aaron Moss [b7175721] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: incorporate results of vector vs. list data structures ... Fri, 22 Feb 2019 23:51:09 GMT Aaron Moss [11b3053] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: first draft of abstract Fri, 22 Feb 2019 23:19:09 GMT Aaron Moss [8adcfee] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) thesis: first draft of conclusion Fri, 22 Feb 2019 22:41:56 GMT Aaron Moss [d065ded] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: polish Ch.6 to first draft Thu, 21 Feb 2019 23:40:58 GMT Aaron Moss [b3edf7f5] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: polish first draft of Ch.5 Thu, 21 Feb 2019 21:29:44 GMT Aaron Moss [f316c68] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: polish first draft of Ch.4 Wed, 20 Feb 2019 22:37:55 GMT Aaron Moss [a2971cc] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * 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/resolution-heuristics.tex (modified) thesis: first-pass edits to ch.1-3 Wed, 20 Feb 2019 19:00:37 GMT Aaron Moss [f728971] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * 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 (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (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/experiments.tex (modified) * 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) Merge branch 'aaron-thesis' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Wed, 20 Feb 2019 01:27:07 GMT Aaron Moss [7e9fa47] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: conclude experiments chapter Wed, 20 Feb 2019 01:01:44 GMT Aaron Moss [83a09648] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * 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 (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: Add CFA results to experiments section Tue, 19 Feb 2019 20:31:37 GMT Peter A. Buhr [45af7e1] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) start rewrite of concurrency paper for SPE Tue, 19 Feb 2019 18:49:20 GMT Aaron Moss [049d9a5] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (modified) Merge branch 'aaron-thesis' of plg2.cs.uwaterloo.ca:software/cfa/cfa- ... Tue, 19 Feb 2019 18:49:08 GMT Aaron Moss [d42969d] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (modified) thesis: fix data munging issue Tue, 19 Feb 2019 18:37:54 GMT Aaron Moss [60f214a] * 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) Merge branch 'aaron-thesis' of plg2.cs.uwaterloo.ca:software/cfa/cfa- ... Tue, 19 Feb 2019 18:37:49 GMT Aaron Moss [44eeddd] * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) Update data spreadsheet Tue, 19 Feb 2019 18:34:55 GMT Aaron Moss [a6f991f] * 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) thesis: Add test data from CFA-CC Sat, 16 Feb 2019 02:00:06 GMT Aaron Moss [060b12d] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (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/experiments.tex (modified) Add scatter plots describing instance difficulty Fri, 15 Feb 2019 23:55:02 GMT Aaron Moss [4c41b17] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) * 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/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: Add per-problem histogram Fri, 15 Feb 2019 04:40:17 GMT Aaron Moss [7c6eb64] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * 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: incorporate feedback on cost model section Thu, 14 Feb 2019 22:19:28 GMT Peter A. Buhr [65a7050] * doc/bibliography/pl.bib (modified) add more citations Thu, 14 Feb 2019 22:18:44 GMT Peter A. Buhr [3e491fd0] * doc/LaTeXmacros/lstlang.sty (modified) fix alphabetical ordering of keywords Thu, 14 Feb 2019 20:11:33 GMT Aaron Moss [95c0ebe] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: Notes from Thierry on how to extract timing data from Jenkins Thu, 14 Feb 2019 00:39:12 GMT Aaron Moss [96bf5781] * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) * 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/time-by-max-depth.tsv (added) thesis: start evaluating instance difficulty Wed, 13 Feb 2019 20:16:08 GMT Aaron Moss [72b20c9] * doc/theses/aaron_moss_PhD/phd/Makefile (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/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) thesis: Add charts and discussion of summary results for different ... Wed, 13 Feb 2019 03:40:29 GMT Aaron Moss [9e43aff] * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: introduce experimental results from prototype Tue, 12 Feb 2019 01:39:22 GMT Aaron Moss [0f78f3c7] * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Fix one bug from Glen, initial exploration of data Fri, 08 Feb 2019 22:55:43 GMT Aaron Moss [902b123] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * 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/resolution-heuristics.tex (modified) thesis: expand details of conversion cost based on recent exploration ... Tue, 05 Feb 2019 03:20:43 GMT Aaron Moss [8d752592] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: discuss design differences between cfa-cc and resolv-proto Fri, 01 Feb 2019 02:58:34 GMT Aaron Moss [0e6a0be] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * 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) thesis: Started Experiments chapter Tue, 29 Jan 2019 03:46:46 GMT Aaron Moss [21cf101] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: finish first draft of type environment analysis section Fri, 25 Jan 2019 22:19:24 GMT Aaron Moss [b4fd981] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * 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/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/type-environment.tex (modified) thesis: port figures from presentation into union-find chapter Fri, 25 Jan 2019 20:37:07 GMT Aaron Moss [c58bb11] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Complete background work on resolution algorithms Thu, 24 Jan 2019 23:17:26 GMT Aaron Moss [3deb316] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * 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/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) thesis: further description of resolution algorithm variants Wed, 23 Jan 2019 22:46:49 GMT Aaron Moss [e451c0f] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: further analysis of expression resolution Wed, 23 Jan 2019 04:23:43 GMT Aaron Moss [104a13e] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: continue asymptotic analysis of resolution Tue, 22 Jan 2019 21:49:23 GMT Aaron Moss [f2c5726] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: start asymptotic analysis of resolution problem Mon, 21 Jan 2019 22:09:46 GMT Aaron Moss [9a38436c] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Thesis: further background material on resolution and some contributions Fri, 18 Jan 2019 22:22:21 GMT Aaron Moss [2240ec4] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Thesis: further elaboration of cost model Thu, 17 Jan 2019 22:23:31 GMT Aaron Moss [266f36d] * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Thesis edits; more detail on CFA cost model Wed, 16 Jan 2019 22:06:53 GMT Aaron Moss [af00c45] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Thesis edits Tue, 15 Jan 2019 15:57:49 GMT Thierry Delisle [3e06da2] * doc/working/exception/impl/Makefile (modified) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/pdc.s (moved) * doc/working/exception/impl/pic.s (modified) Apparent fix for debug resolution problem with exceptions Mon, 14 Jan 2019 22:02:08 GMT Thierry Delisle [fd73248] * doc/working/exception/impl/Makefile (added) * doc/working/exception/impl/exception.c (modified) * doc/working/exception/impl/nopic.s (modified) * doc/working/exception/impl/pic.s (modified) Some progress on pic exceptions Sun, 23 Dec 2018 04:20:12 GMT Peter A. Buhr [bd07b15] * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (modified) add comments Thu, 20 Dec 2018 19:19:02 GMT Peter A. Buhr [760235a] * doc/theses/lynn_tran_SE499/.gitignore (deleted) remove spurious file Thu, 20 Dec 2018 18:59:38 GMT Peter A. Buhr [1b34b87] * doc/theses/lynn_tran_SE499/.gitignore (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) Lynn's GDB essay Thu, 13 Dec 2018 19:59:13 GMT Andrew Beach [1b94115] * doc/proposals/vtable.md (modified) The vtable proposal has been updated from the early feedback. Thu, 13 Dec 2018 18:49:02 GMT Thierry Delisle [1645a2a] * doc/proposals/vtable.md (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 13 Dec 2018 18:42:39 GMT Andrew Beach [24662ff] * doc/proposals/vtable.md (added) Added the vtable proposal after much delay. Wed, 12 Dec 2018 20:48:10 GMT Thierry Delisle [85acec94] * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/flags.md (modified) * doc/user/user.tex (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/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/time.cfa (modified) * tests/abs.cfa (modified) * tests/ato.cfa (modified) * tests/complex.cfa (modified) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/examples/boundedBufferEXT.c (modified) * tests/concurrent/examples/boundedBufferINT.c (modified) * tests/concurrent/examples/datingService.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/concurrent/examples/quickSort.c (modified) * tests/concurrent/monitor.c (modified) * tests/concurrent/multi-monitor.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/concurrent/thread.c (modified) * tests/concurrent/waitfor/barge.c (modified) * tests/concurrent/waitfor/dtor.c (modified) * tests/concurrent/waitfor/else.c (modified) * tests/concurrent/waitfor/recurse.c (modified) * tests/concurrent/waitfor/simple.c (modified) * tests/concurrent/waitfor/statment.c (modified) * tests/concurrent/waitfor/when.c (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.c (modified) * tests/coroutine/fibonacci_1.c (modified) * tests/coroutine/fmtLines.c (modified) * tests/coroutine/pingpong.c (modified) * tests/coroutine/prodcons.c (modified) * tests/coroutine/runningTotal.c (modified) * tests/div.cfa (modified) * tests/except-0.cfa (modified) * tests/fallthrough.cfa (modified) * tests/fstream_test.cfa (modified) * tests/function-operator.cfa (modified) * tests/gmp.cfa (modified) * tests/heap.cfa (modified) * tests/hello.cfa (modified) * tests/identity.cfa (modified) * tests/ifwhileCtl.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/math2.cfa (modified) * tests/math3.cfa (modified) * tests/math4.cfa (modified) * tests/minmax.cfa (modified) * tests/quotedKeyword.cfa (modified) * tests/raii/dtor-early-exit.c (modified) * tests/raii/globals.c (modified) * tests/random.cfa (modified) * tests/rational.cfa (modified) * tests/searchsort.cfa (modified) * tests/shortCircuit.cfa (modified) * tests/sum.cfa (modified) * tests/swap.cfa (modified) * tests/time.cfa (modified) * tests/tuple/tupleAssign.c (modified) * tests/userLiterals.cfa (modified) * tests/vector.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 12 Dec 2018 14:16:23 GMT Peter A. Buhr [5ebb1368] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 12 Dec 2018 14:16:12 GMT Peter A. Buhr [200fcb3] * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/flags.md (modified) * doc/user/user.tex (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/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/time.cfa (modified) * tests/abs.cfa (modified) * tests/ato.cfa (modified) * tests/complex.cfa (modified) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/examples/boundedBufferEXT.c (modified) * tests/concurrent/examples/boundedBufferINT.c (modified) * tests/concurrent/examples/datingService.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/concurrent/examples/quickSort.c (modified) * tests/concurrent/monitor.c (modified) * tests/concurrent/multi-monitor.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/concurrent/thread.c (modified) * tests/concurrent/waitfor/barge.c (modified) * tests/concurrent/waitfor/dtor.c (modified) * tests/concurrent/waitfor/else.c (modified) * tests/concurrent/waitfor/recurse.c (modified) * tests/concurrent/waitfor/simple.c (modified) * tests/concurrent/waitfor/statment.c (modified) * tests/concurrent/waitfor/when.c (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.c (modified) * tests/coroutine/fibonacci_1.c (modified) * tests/coroutine/fmtLines.c (modified) * tests/coroutine/pingpong.c (modified) * tests/coroutine/prodcons.c (modified) * tests/coroutine/runningTotal.c (modified) * tests/div.cfa (modified) * tests/except-0.cfa (modified) * tests/fallthrough.cfa (modified) * tests/fstream_test.cfa (modified) * tests/function-operator.cfa (modified) * tests/gmp.cfa (modified) * tests/heap.cfa (modified) * tests/hello.cfa (modified) * tests/identity.cfa (modified) * tests/ifwhileCtl.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/math2.cfa (modified) * tests/math3.cfa (modified) * tests/math4.cfa (modified) * tests/minmax.cfa (modified) * tests/quotedKeyword.cfa (modified) * tests/raii/dtor-early-exit.c (modified) * tests/raii/globals.c (modified) * tests/random.cfa (modified) * tests/rational.cfa (modified) * tests/searchsort.cfa (modified) * tests/shortCircuit.cfa (modified) * tests/sum.cfa (modified) * tests/swap.cfa (modified) * tests/time.cfa (modified) * tests/tuple/tupleAssign.c (modified) * tests/userLiterals.cfa (modified) * tests/vector.cfa (modified) add auto newline to sout, change endl to nl Tue, 11 Dec 2018 19:42:27 GMT Thierry Delisle [90cfc16] * benchmark/Makefile.am (modified) * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iterator.cfa (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.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/loopctrl.txt (moved) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/concurrent/preempt.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/context.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.cfa (moved) * 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.cfa (moved) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.cfa (moved) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.cfa (moved) * tests/ifwhileCtl.cfa (moved) * tests/io1.cfa (moved) * tests/io2.cfa (moved) * 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.cfa (moved) * 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/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/quotedKeyword.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.cfa (moved) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.cfa (moved) * 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/time.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/withStatement.cfa (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 08 Dec 2018 21:06:32 GMT Aaron Moss [29207bf] * benchmark/Makefile.am (modified) * doc/bibliography/pl.bib (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iterator.cfa (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.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/loopctrl.txt (moved) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/concurrent/preempt.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/context.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.cfa (moved) * 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.cfa (moved) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.cfa (moved) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.cfa (moved) * tests/ifwhileCtl.cfa (moved) * tests/io1.cfa (moved) * tests/io2.cfa (moved) * 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.cfa (moved) * 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/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/quotedKeyword.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.cfa (moved) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.cfa (moved) * 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/time.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/withStatement.cfa (moved) Merge branch 'master' of plg2.cs.uwaterloo.ca:software/cfa/cfa-cc Sat, 08 Dec 2018 21:06:25 GMT Aaron Moss [47ed726] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Added asymptotic analysis to type environment chapter of thesis Wed, 21 Nov 2018 19:04:19 GMT Aaron Moss [df43791] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) tweaks to type environment chapter Wed, 07 Nov 2018 22:13:08 GMT Peter A. Buhr [61dafb8] * doc/user/user.tex (modified) * tests/.expect/loopctrl.txt (modified) * tests/loopctrl.cfa (modified) finish test and documentation for loop-control