#
# ChangeLog for doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex
#
# Generated by Trac 1.2.1
# Sep 2, 2024, 9:24:44 PM

Thu, 25 Apr 2019 18:58:48 GMT Aaron Moss <a3moss@…> [bd405fa]
	* 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)

	thesis: final edits


Thu, 25 Apr 2019 18:23:48 GMT Aaron Moss <a3moss@…> [f845e80]
	* 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: apply round 2 revisions and strip change bars


Thu, 25 Apr 2019 02:49:48 GMT Aaron Moss <a3moss@…> [69c37cc]
	* 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/generic-types.tex (modified)
	* doc/theses/aaron_moss_PhD/phd/introduction.tex (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	thesis: spelling and grammar fixes


Thu, 25 Apr 2019 01:31:21 GMT Aaron Moss <a3moss@…> [5d3a952]
	* doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	thesis: fix overfull hbox warnings


Wed, 24 Apr 2019 15:50:11 GMT Aaron Moss <a3moss@…> [71a12390]
	* doc/bibliography/pl.bib (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	thesis: address comment about MaxSAT


Tue, 23 Apr 2019 20:36:58 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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


Sat, 20 Apr 2019 22:20:13 GMT Aaron Moss <a3moss@…> [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


Tue, 16 Apr 2019 18:50:33 GMT Aaron Moss <a3moss@…> [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


Wed, 13 Mar 2019 15:12:40 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [a2545593]
	* doc/bibliography/pl.bib (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	Add ascription casts to future work


Tue, 05 Mar 2019 20:10:06 GMT Aaron Moss <a3moss@…> [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


Thu, 28 Feb 2019 19:54:05 GMT Aaron Moss <a3moss@…> [7db48364]
	* 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, 21 Feb 2019 21:29:44 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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


Fri, 15 Feb 2019 23:55:02 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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


Wed, 13 Feb 2019 03:40:29 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [0e6a0beb]
	* 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


Fri, 25 Jan 2019 20:37:07 GMT Aaron Moss <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [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 <a3moss@…> [af00c45]
	* doc/theses/aaron_moss_PhD/phd/background.tex (modified)
	* doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified)

	Thesis edits


Tue, 11 Sep 2018 03:15:29 GMT Peter A. Buhr <pabuhr@…> [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


