# # ChangeLog for doc/theses/aaron_moss_PhD/phd/evaluation # # Generated by Trac 1.2.1 # Apr 27, 2024, 11:11:59 PM 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 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 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 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