# # ChangeLog for / # # Generated by Trac 1.6 # May 1, 2026, 8:56:56 AM Mon, 06 May 2019 14:09:02 GMT Thierry Delisle [f019069] * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * tests/concurrent/coroutineThen.cfa (modified) Some more work on suspend_then Wed, 01 May 2019 19:23:01 GMT Thierry Delisle [b9696a8] * tests/concurrent/.expect/coroutineThen.txt (modified) * tests/concurrent/coroutineThen.cfa (modified) Improved test for suspend_then feature Tue, 30 Apr 2019 18:54:01 GMT Thierry Delisle [8278abf] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * doc/proposals/unicode.html (added) * libcfa/prelude/sync-builtins.cf (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * tests/builtins/sync.cfa (modified) * tools/PrettyGitLogs.sh (modified) Merge branch 'master' into ctxswitch Tue, 30 Apr 2019 18:53:47 GMT Thierry Delisle [ec28948] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * doc/proposals/unicode.html (added) * libcfa/prelude/sync-builtins.cf (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * tests/builtins/sync.cfa (modified) * tools/PrettyGitLogs.sh (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Apr 2019 18:53:41 GMT Thierry Delisle [5b11c25] * benchmark/ctxswitch/cfa_cor_then.cfa (added) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * tests/concurrent/.expect/coroutineThen.txt (added) * tests/concurrent/coroutineThen.cfa (added) * tests/coroutine/.expect/suspend_then.txt (added) * tests/coroutine/suspend_then.cfa (added) Added new suspen_then function which runs a callback in the middle of ... Tue, 30 Apr 2019 18:51:25 GMT Thierry Delisle [98d4df9] * doc/proposals/unicode.html (added) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Apr 2019 18:51:11 GMT Thierry Delisle [c64e979] * libcfa/prelude/sync-builtins.cf (modified) * tests/builtins/sync.cfa (modified) Added atomic operations on pointers and fixed some mistakes Tue, 30 Apr 2019 17:40:09 GMT Michael Brooks [686f731] * doc/proposals/unicode.html (added) unicode strings proposal - initial draft Tue, 30 Apr 2019 14:12:55 GMT Aaron Moss [c66254e] * src/ResolvExpr/Cost.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Apr 2019 14:12:47 GMT Aaron Moss [493a992] * src/ResolvExpr/ResolveAssertions.cc (modified) Add specialization cost to assertion disambiguation Tue, 30 Apr 2019 01:21:58 GMT Peter A. Buhr [a3dc4cc] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * tools/PrettyGitLogs.sh (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Apr 2019 01:21:53 GMT Peter A. Buhr [b10c39a0] * src/ResolvExpr/Cost.h (modified) updates for new Cost class Mon, 29 Apr 2019 18:44:58 GMT Thierry Delisle [986e260] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) Removed utf-8 character in groovy files and replaced with unicode escape Mon, 29 Apr 2019 18:34:05 GMT Thierry Delisle [5fb17f1] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Merge branch 'master' into jenkins-sandbox Mon, 29 Apr 2019 18:33:42 GMT Thierry Delisle [b7b573c] * Jenkins/FullBuild (modified) Cosmetic change to the full build email Mon, 29 Apr 2019 15:16:41 GMT Thierry Delisle [8d63649] * Jenkinsfile (modified) Jenkins has to unconditionnaly plot otherwise the plot get URLs get ... Sun, 28 Apr 2019 22:50:19 GMT Peter A. Buhr [9795142] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 28 Apr 2019 22:50:13 GMT Peter A. Buhr [c378e5e] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) pack 7 resolver Costs into single word Fri, 26 Apr 2019 20:59:48 GMT Thierry Delisle [673cd63] * configure (modified) * configure.ac (modified) * 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/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/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/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/macros.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) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/stdlib.hfa (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) Merge branch 'master' into ctxswitch Fri, 26 Apr 2019 20:58:49 GMT Thierry Delisle [1bc5975] * 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/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/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/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/macros.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) * libcfa/src/stdlib.hfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 26 Apr 2019 20:58:42 GMT Thierry Delisle [3fcbdca1] * configure (modified) * configure.ac (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) Moved compilation to use O3/Og instead of O2/O0 for both cfa-cpp and ... Fri, 26 Apr 2019 20:56:16 GMT Thierry Delisle [cbef27b] * 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/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/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/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/macros.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) * doc/user/user.tex (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/stdlib.hfa (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * tests/completeTypeError.cfa (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (modified) * tests/io2.cfa (modified) Merge branch 'master' into jenkins-sandbox Fri, 26 Apr 2019 20:16:15 GMT Thierry Delisle [3898392] * Jenkinsfile (modified) Moved group globals into publish function Fri, 26 Apr 2019 20:15:00 GMT Aaron Moss [052cd71] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) revert unfruitful assertion caching attempt Fri, 26 Apr 2019 20:13:11 GMT Thierry Delisle [7a230fd] * Jenkinsfile (modified) Tentative fix for global variable usage Fri, 26 Apr 2019 20:05:12 GMT Thierry Delisle [114936a] * configure (modified) * configure.ac (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) google perftools are now linked in by default if available Fri, 26 Apr 2019 19:30:10 GMT Thierry Delisle [38c0fe5] * Jenkins/FullBuild (modified) Clean up fullbuild code and fix URL to be master Fri, 26 Apr 2019 18:33:04 GMT Thierry Delisle [490cb3c] * Jenkinsfile (modified) Some improvements on plots to be correct for both fine grain ... Fri, 26 Apr 2019 15:33:21 GMT Thierry Delisle [e2862d3] * Jenkinsfile (modified) Fixed some weitd Groovy/Jenkins/Java interaction bug? Fri, 26 Apr 2019 15:26:48 GMT Thierry Delisle [df57a84] * Jenkinsfile (modified) Some more fidling with the jenkins plots 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:46:26 GMT Aaron Moss [98b4b12] * 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) Merge remote-tracking branch 'origin/aaron-thesis' Thu, 25 Apr 2019 18:43:23 GMT Aaron Moss [f343c6b] * 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/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/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/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/macros.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) Merge remote-tracking branch 'origin/aaron-thesis' Thu, 25 Apr 2019 18:42:30 GMT Thierry Delisle [47bfefd] * Jenkinsfile (modified) Removed extra curly brace 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 16:36:38 GMT Thierry Delisle [cefa6cae] * Jenkinsfile (modified) When all else fails compy data to a fixed name 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 21:39:08 GMT Peter A. Buhr [ffaedcd] * libcfa/src/stdlib.hfa (modified) clean up Wed, 24 Apr 2019 21:22:09 GMT Thierry Delisle [3c40dc2a] * Jenkinsfile (modified) Tentative fix for plot using dir command 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 19:14:32 GMT Thierry Delisle [13c98a4] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * tools/PrettyGitLogs.sh (modified) Jenkins emails now use html, this push does some work to improve how ... Wed, 24 Apr 2019 18:04:59 GMT Thierry Delisle [f85464da] * Jenkinsfile (modified) Added quotes around generated csv 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:25:41 GMT Thierry Delisle [f95e8f0] * Jenkinsfile (modified) Hack to directly compile benchmark in sandbox and some debug information 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 20:10:07 GMT Thierry Delisle [ce2e547] * Jenkinsfile (modified) Jenkinsfile now uses line simple to plot 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 18:41:32 GMT Thierry Delisle [ffe2fad] * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) Fixed several warnings in libcfa Tue, 23 Apr 2019 16:31:26 GMT Thierry Delisle [a2a0065] * Jenkinsfile (modified) Removed no longer needed server notification and tentative fix for ... 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 Tue, 23 Apr 2019 14:26:14 GMT Thierry Delisle [8c3a0336] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) * doc/proposals/vtable.md (modified) * doc/user/user.tex (modified) * libcfa/prelude/prelude-gen.cc (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) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/completeTypeError.cfa (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (modified) * tests/function-operator.cfa (modified) * tests/io2.cfa (modified) * tests/loopctrl.cfa (modified) Merge branch 'master' into ctxswitch Tue, 23 Apr 2019 14:18:25 GMT Thierry Delisle [d9f2874] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) Make jenkins now prints the csv after running 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 19:24:18 GMT Peter A. Buhr [8f194ee] * tests/coroutine/cntparens.cfa (added) add coroutine to parse balance parenthesis Sat, 20 Apr 2019 19:23:19 GMT Peter A. Buhr [342136ab] * tests/io2.cfa (modified) formatting Sat, 20 Apr 2019 19:22:52 GMT Peter A. Buhr [ab87ab5] * libcfa/src/gmp.hfa (modified) update stream output Sat, 20 Apr 2019 19:21:50 GMT Peter A. Buhr [e7fdd76] * tests/coroutine/devicedriver.cfa (modified) update to read newlines Sat, 20 Apr 2019 19:18:16 GMT Peter A. Buhr [0efb269] * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) add feature to input streams to read/not-read newline characters 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 Thu, 18 Apr 2019 18:59:09 GMT tdelisle [deca0f5] * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) x87 and SSE flags are now only saved by threads Thu, 18 Apr 2019 18:06:56 GMT tdelisle [d4510ea] * Jenkinsfile (modified) Jenkins now also builds the nodebug version if the build should NOT ... Thu, 18 Apr 2019 15:52:27 GMT tdelisle [f15fe0a] * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) Jenkins benchmarks updated to use plot plugin 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 ... Mon, 15 Apr 2019 21:15:32 GMT Peter A. Buhr [4e84ef7] * doc/user/user.tex (modified) document chained for-control specifiers Mon, 15 Apr 2019 21:14:20 GMT Peter A. Buhr [f29d603] * tests/completeTypeError.cfa (modified) formatting Mon, 15 Apr 2019 21:13:46 GMT Peter A. Buhr [1dda8de] * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) update chained for-control specifiers Mon, 15 Apr 2019 20:06:40 GMT tdelisle [3c06bba] * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) Inlined coroutine context switch routine Sat, 13 Apr 2019 19:52:16 GMT Peter A. Buhr [b0ccd1c] * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 13 Apr 2019 19:51:58 GMT Peter A. Buhr [67d4e37] * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * tests/.expect/loopctrl.txt (modified) * tests/loopctrl.cfa (modified) add chained for-control specifiers, update loop test and test output Fri, 12 Apr 2019 17:34:45 GMT Aaron Moss [5a89a2b6] * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) Add interned_string code to proposals 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:29:10 GMT Peter A. Buhr [25773cd] * tests/function-operator.cfa (modified) formatting 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 Thu, 11 Apr 2019 17:57:53 GMT Aaron Moss [de23648] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * doc/proposals/vtable.md (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 11 Apr 2019 17:57:49 GMT Aaron Moss [7889f14] * tests/.expect/completeTypeError.txt (modified) * tests/completeTypeError.cfa (modified) Regenerate tests for move to un-sized deref in prelude Thu, 11 Apr 2019 14:36:13 GMT tdelisle [5c1a531] * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) Fixed errno virtualization and enabled preemption during coroutine ... Wed, 10 Apr 2019 19:18:03 GMT Aaron Moss [055b562] * src/ResolvExpr/TypeEnvironment.cc (modified) fix to last Wed, 10 Apr 2019 19:15:41 GMT Aaron Moss [7a63486] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) Allow merging between complete/incomplete type variables Wed, 10 Apr 2019 15:37:21 GMT tdelisle [e8e457e] * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) Thread context is now distinct from coroutine context Tue, 09 Apr 2019 19:02:33 GMT Andrew Beach [07ac6d0] * doc/proposals/vtable.md (modified) Its rough, but I think I have all the content I need in the vtable ... Tue, 09 Apr 2019 17:50:34 GMT Aaron Moss [c41c18a6] * libcfa/prelude/prelude-gen.cc (modified) Make prelude deref un-sized Tue, 09 Apr 2019 17:50:13 GMT Aaron Moss [4d2d45f9] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) Improve assertion error messages Tue, 09 Apr 2019 14:15:34 GMT tdelisle [69a61d2] * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) coroutine and thread no longer store stack size Tue, 09 Apr 2019 14:14:35 GMT tdelisle [e3a5a73] * tests/Makefile.am (modified) * tests/Makefile.in (modified) Added defaults for test make command to ease hand testing Mon, 08 Apr 2019 20:19:21 GMT tdelisle [e16797c] * tests/Makefile.am (modified) * tests/Makefile.in (modified) cleaned-up makefile rules required for tests Mon, 08 Apr 2019 16:14:39 GMT tdelisle [5a8037a7] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) Fixed benchmark flags and disallowed warnings since they cause ... Fri, 05 Apr 2019 20:09:15 GMT tdelisle [211228e0] * doc/bibliography/pl.bib (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) Merge branch 'master' into ctxswitch Thu, 04 Apr 2019 21:28:47 GMT tdelisle [8c01e1b] * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) UserStack flag on coroutines is now folded into the storage pointer Thu, 04 Apr 2019 19:37:55 GMT tdelisle [b2f6113] * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) Swapped memory storage for context and stack information inside the ... Thu, 04 Apr 2019 19:00:30 GMT tdelisle [5806745] * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) Fixed problem where the prelude would be compiled with different flags Thu, 04 Apr 2019 17:48:27 GMT tdelisle [98319ad] * doc/bibliography/pl.bib (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc