# # ChangeLog for doc/theses/aaron_moss_PhD # # Generated by Trac 1.2.1 # Mar 28, 2024, 11:01:52 AM 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 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 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 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 Tue, 23 Oct 2018 21:36:00 GMT Aaron Moss [57b0b1f] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Described persistent union-find in thesis Tue, 16 Oct 2018 23:22:39 GMT Aaron Moss [eeb0767] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Add discussion of variants of environment data structures to thesis Tue, 09 Oct 2018 21:27:17 GMT Aaron Moss [7b61ce8] * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) Started type environment thesis chapter (now after expression resolution) Thu, 04 Oct 2018 21:31:37 GMT Aaron Moss [6cb935d] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) Added benchmark results to generic chapter of thesis Thu, 04 Oct 2018 20:01:44 GMT Aaron Moss [a72b240] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) switched thesis to use latex instead of pdflatex Thu, 04 Oct 2018 19:52:45 GMT Aaron Moss [a332d432] * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) Added to related work, implementation, and future work for generic ... Tue, 25 Sep 2018 20:56:48 GMT Aaron Moss [48b7085e] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (modified) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (modified) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (modified) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) Start into generic types design in thesis Tue, 25 Sep 2018 17:39:34 GMT Aaron Moss [4075228] * doc/theses/aaron_moss_PhD/phd/.gitignore (modified) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) Start generics chapter of thesis, add code examples of C polymorphic ... Mon, 17 Sep 2018 20:21:10 GMT Aaron Moss [91a950c] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) Finish first draft of background chapter Mon, 17 Sep 2018 15:43:41 GMT Aaron Moss [f9c7d27] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) Draft reference types and resource management subsections of thesis ... Mon, 17 Sep 2018 12:34:19 GMT Aaron Moss [3271166] * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (moved) * doc/theses/aaron_moss_PhD/phd/background.tex (moved) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (moved) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (moved) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (moved) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (moved) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) * libcfa/configure (modified) * src/CodeTools/ResolvProtoDump.cc (added) * src/CodeTools/ResolvProtoDump.h (added) * src/CodeTools/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Makefile.in (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/main.cc (modified) Merge branch 'master' of plg2.cs.uwaterloo.ca:software/cfa/cfa-cc Tue, 11 Sep 2018 03:15:29 GMT Peter A. Buhr [67982887] * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (moved) * doc/theses/aaron_moss_PhD/phd/aaron-thesis.bib (moved) * doc/theses/aaron_moss_PhD/phd/background.tex (moved) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (moved) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (moved) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (moved) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (moved) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) specialize thesis directory-names