# # ChangeLog for doc/theses # # Generated by Trac 1.2.1 # Nov 2, 2024, 4:00:55 PM Mon, 24 Aug 2020 17:36:02 GMT Thierry Delisle [61b1447] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) Fixed small typing issues in comp-II Thu, 23 Jul 2020 17:37:31 GMT Thierry Delisle [f0c3120] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzi-packed.hpp (added) * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) Added unsuccesfull reverse rng attempt Wed, 22 Jul 2020 20:09:49 GMT Thierry Delisle [2e5fd8b6] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Changed seed to be more different per threads and added more snzi nodes Wed, 22 Jul 2020 20:05:29 GMT Thierry Delisle [9304ca2] * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) Changed snzi to group consecutive queues together and removed ... Wed, 22 Jul 2020 20:04:03 GMT Thierry Delisle [c0587193] * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Changed seed to unsigned Tue, 21 Jul 2020 20:59:34 GMT Thierry Delisle [a82a8f4] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Added two new variants to the ready queue which are based on the idea ... Mon, 22 Jun 2020 20:29:05 GMT Thierry Delisle [b232745] * doc/theses/thierry_delisle_PhD/code/links.hpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/work_stealing.hpp (added) Several changes to relaxed list prototype and added workstealing for ... Wed, 10 Jun 2020 16:13:18 GMT Thierry Delisle [a5873bd] * doc/theses/thierry_delisle_PhD/code/bitbench/select.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (modified) Merge branch 'relaxed_ready' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Wed, 10 Jun 2020 16:08:04 GMT Thierry Delisle [6089f4d] * doc/theses/thierry_delisle_PhD/code/process.sh (added) * doc/theses/thierry_delisle_PhD/code/runperf.sh (added) Added new scripts to help measure performance Wed, 10 Jun 2020 16:07:36 GMT Thierry Delisle [03045f18] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Improved printing of probing length Wed, 10 Jun 2020 16:03:53 GMT Thierry Delisle [5f259f3] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Missing some of the BMI2 fixes Wed, 10 Jun 2020 16:03:12 GMT Thierry Delisle [8c60d59] * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (modified) Fixed alignment of both SNZI and SNZM. Fixed SNZM with bmi2 Wed, 10 Jun 2020 16:02:22 GMT Thierry Delisle [edb2fe0] * doc/theses/thierry_delisle_PhD/code/bitbench/select.cpp (added) Added micro benchmark to evaluate instruction costs Fri, 05 Jun 2020 19:38:58 GMT Thierry Delisle [591f084] * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (modified) Minor optimizations to snzi/snzm Tue, 02 Jun 2020 19:59:53 GMT Thierry Delisle [0da5cd5] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Fixed SNZI size to not be fixed Tue, 02 Jun 2020 19:56:17 GMT Thierry Delisle [64e9fef] * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (modified) Added printing of snzI/M size Tue, 02 Jun 2020 19:54:55 GMT Thierry Delisle [16ee228] * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) Changed benchmark to only print progress if in a tty Tue, 02 Jun 2020 18:38:25 GMT Thierry Delisle [47a541d] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Add first draft of SNZI + MASK approach Tue, 26 May 2020 18:55:02 GMT Thierry Delisle [0092853] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Fixed Variants Tue, 26 May 2020 15:43:13 GMT Thierry Delisle [8e1b1bb] * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Now using a single macro for algorithmic variants Fri, 22 May 2020 20:32:11 GMT Thierry Delisle [3bf812b] * doc/theses/thierry_delisle_PhD/code/snzi.hpp (modified) snzi creator now supports m-ary trees Fri, 22 May 2020 20:00:01 GMT Thierry Delisle [8f4f3e0] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) bitmask discovery no use snzi Fri, 22 May 2020 19:22:43 GMT Thierry Delisle [95cb63b] * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) Added benchmark called producer, which mimicks I/O scheduling Thu, 21 May 2020 21:11:46 GMT Thierry Delisle [33e62f1b] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/snzi.hpp (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Added simple SNZI implementation for the relaxed list Thu, 14 May 2020 19:33:38 GMT Thierry Delisle [9da5a50] * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Added new DISCOVER_BITMASK algorithm as a potential ready queue sub- ... Thu, 16 Apr 2020 17:36:23 GMT Thierry Delisle [c20ba169] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) Fix typo in comp-II timeline Thu, 16 Apr 2020 13:23:02 GMT Peter A. Buhr [1c412aa] * doc/bibliography/pl.bib (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) final comments on Thierry's comp II Wed, 15 Apr 2020 18:59:59 GMT Thierry Delisle [912ccbcf] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) Wrote all missings sections of comp-II Wed, 15 Apr 2020 15:05:25 GMT Thierry Delisle [5569a31] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) Merged changes proposed by peter and added citations Thu, 09 Apr 2020 22:42:09 GMT Peter A. Buhr [2ad74d8] * doc/theses/thierry_delisle_PhD/comp_II/Makefile (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (modified) proofread Thierry's PhD comp II Tue, 24 Mar 2020 20:37:09 GMT Andrew Beach [c72ea7a] * doc/theses/andrew_beach_MMath/cfalab.sty (modified) * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/unwinding.tex (modified) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (modified) ABMM thesis: Lots of context reworking. Took out Peter's formating ... Mon, 23 Mar 2020 18:19:13 GMT Thierry Delisle [7a0f1d25] * doc/theses/thierry_delisle_PhD/comp_II/Makefile (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/system.fig (added) Latest updates of CompII Wed, 18 Mar 2020 19:41:01 GMT Thierry Delisle [bbdb0c6] * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/creation/cfa_gen.cfa (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * configure (modified) * configure.ac (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/theses/andrew_beach_MMath/Makefile (modified) * doc/theses/andrew_beach_MMath/cfalab.sty (added) * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/unwinding.tex (added) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * libcfa/prelude/builtins.c (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bitmanip.hfa (added) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) * tests/.expect/bitmanip.x64.txt (added) * tests/.expect/bitmanip.x86.txt (added) * tests/bitmanip.cfa (added) * tests/concurrent/.expect/suspend_then.txt (added) * tests/concurrent/coroutineYield.cfa (modified) * tests/concurrent/suspend_then.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/raii.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (modified) * tests/errors/.expect/completeType.txt (modified) * tests/errors/suspend.cfa (added) * tests/generator/.expect/fibonacci.txt (added) * tests/generator/.expect/fmtLines.txt (added) * tests/generator/.expect/suspend_then.txt (added) * tests/generator/.in/fmtLines.txt (added) * tests/generator/fibonacci.cfa (added) * tests/generator/fmtLines.cfa (added) * tests/generator/suspend_then.cfa (added) * tools/gdb/.gdbinit (added) * tools/gdb/README (added) * tools/gdb/utils-gdb.gdb (added) * tools/gdb/utils-gdb.py (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 18 Mar 2020 19:40:55 GMT Thierry Delisle [c4fd4ef] * doc/theses/thierry_delisle_PhD/code/bts.cpp (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) Pushing latest change to my compII Wed, 18 Mar 2020 13:07:52 GMT Peter A. Buhr [2655031] * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/unwinding.tex (modified) second pass over Andrew's Chapter 1 Wed, 18 Mar 2020 02:30:22 GMT Peter A. Buhr [21f914e] * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/unwinding.tex (modified) first pass over Chapter 1 Tue, 17 Mar 2020 20:14:28 GMT Peter A. Buhr [1ef166d] * doc/theses/andrew_beach_MMath/thesis.tex (modified) use package fullpage and increase textheight Tue, 17 Mar 2020 18:23:22 GMT Andrew Beach [bce76d1] * doc/theses/andrew_beach_MMath/cfalab.sty (modified) cfalab.sty's \newsymbolcmd now accepts commands instead of letters ... Tue, 17 Mar 2020 17:50:16 GMT Andrew Beach [2c052c0] * doc/theses/andrew_beach_MMath/cfalab.sty (added) * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/unwinding.tex (added) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (modified) First rough draft of how unwinding works in ABMM. Sat, 07 Mar 2020 14:08:07 GMT Peter A. Buhr [3d3cbd0] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) fix table formatting, fix hyperref page numbers for references/glossary Fri, 06 Mar 2020 19:26:56 GMT Andrew Beach [c88f0cf] * doc/theses/andrew_beach_MMath/Makefile (modified) * doc/theses/andrew_beach_MMath/thesis.tex (modified) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (added) In AB.M.: Pushed a lot of the parts of the template into a document ... Fri, 06 Mar 2020 19:22:39 GMT Thierry Delisle [9c6f459] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (modified) Fixed table look and removed spurious X in figure Fri, 06 Mar 2020 02:40:02 GMT Peter A. Buhr [4a40f695] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (modified) adjust latex formatting and xfigures Thu, 05 Mar 2020 20:51:44 GMT Thierry Delisle [289c7d2] * doc/theses/andrew_beach_MMath/.gitignore (added) * doc/theses/andrew_beach_MMath/Makefile (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added) * doc/theses/andrew_beach_MMath/thesis.bib (added) * doc/theses/andrew_beach_MMath/thesis.tex (added) * doc/user/user.tex (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/interpose.cfa (modified) * src/SynTree/LinkageSpec.cc (modified) * src/SynTree/LinkageSpec.h (modified) * tools/cfa.nanorc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 05 Mar 2020 20:51:40 GMT Thierry Delisle [a037f85] * doc/theses/thierry_delisle_PhD/.gitignore (modified) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (added) New draft of my compII Wed, 04 Mar 2020 20:31:39 GMT Andrew Beach [5a3d67c] * doc/theses/andrew_beach_MMath/.gitignore (modified) * doc/theses/andrew_beach_MMath/Makefile (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (modified) * doc/theses/andrew_beach_MMath/thesis.tex (modified) Cleaned up AB M template some more and add the Makefile. Tue, 03 Mar 2020 17:13:41 GMT Andrew Beach [48779a6] * doc/theses/andrew_beach_MMath/.gitignore (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added) * doc/theses/andrew_beach_MMath/thesis.bib (added) * doc/theses/andrew_beach_MMath/thesis.tex (added) Add the uw-ethesis templates to andrew_beach_MMath. Minimal changes ... Wed, 26 Feb 2020 16:55:45 GMT Thierry Delisle [41efd33] * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) New version of the introduction Mon, 10 Feb 2020 16:17:31 GMT Thierry Delisle [807a632] * doc/theses/thierry_delisle_PhD/code/Makefile (modified) * doc/theses/thierry_delisle_PhD/code/randbit.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Adding current version of the C++ relaxed_list code and benchmark Mon, 10 Feb 2020 16:10:40 GMT Thierry Delisle [df75fe97] * doc/theses/thierry_delisle_PhD/.gitignore (modified) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_too_big.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/glossary.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (added) Committing first draft of my comp-II Wed, 30 Oct 2019 15:26:07 GMT Thierry Delisle [9421f3d8] * doc/theses/thierry_delisle_PhD/.gitignore (added) * doc/theses/thierry_delisle_PhD/code/Makefile (added) * doc/theses/thierry_delisle_PhD/code/bts_test.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list_layout.cpp (added) * doc/theses/thierry_delisle_PhD/code/scale.sh (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) Adding some of the implemented code. Current state: relaxed list is ... Fri, 27 Sep 2019 15:07:56 GMT Thierry Delisle [c921712] * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Fixed support for setting number of starting nodes Thu, 26 Sep 2019 20:36:01 GMT Thierry Delisle [1e24d13] * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) Fixed stupid typo Thu, 26 Sep 2019 20:25:04 GMT Thierry Delisle [50aeb6f] * doc/theses/thierry_delisle_PhD/code/assert.hpp (modified) * doc/theses/thierry_delisle_PhD/code/processor_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/processor_list_fast.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) Small tweaks to the memory layout Mon, 23 Sep 2019 18:16:42 GMT Thierry Delisle [b2a37b0] * doc/theses/thierry_delisle_PhD/code/assert.hpp (added) * doc/theses/thierry_delisle_PhD/code/prefetch.cpp (added) * doc/theses/thierry_delisle_PhD/code/processor.hpp (added) * doc/theses/thierry_delisle_PhD/code/processor_list.hpp (added) * doc/theses/thierry_delisle_PhD/code/processor_list_fast.cpp (added) * doc/theses/thierry_delisle_PhD/code/processor_list_good.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (added) Initial drafts in C++ of the CFA scheduler Thu, 25 Apr 2019 18:58:48 GMT Aaron Moss [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 [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 [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 [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 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 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: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 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 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 [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, 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