# # ChangeLog for / # # Generated by Trac 1.2.1 # May 6, 2024, 3:39:11 AM 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 ... 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: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 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: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 21:39:08 GMT Peter A. Buhr [ffaedcd] * libcfa/src/stdlib.hfa (modified) clean up 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 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 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 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 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 [5a89a2b] * 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 Thu, 04 Apr 2019 14:58:09 GMT tdelisle [13363f4] * libcfa/configure (modified) * libcfa/configure.ac (modified) Properly forward CFAFLAGS to libcfa [fixes #124] Tue, 02 Apr 2019 19:26:38 GMT Peter A. Buhr [16a6a617] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 02 Apr 2019 19:24:44 GMT Peter A. Buhr [9be2b60] * doc/bibliography/pl.bib (modified) add Swift05, formatting Mon, 01 Apr 2019 18:04:19 GMT tdelisle [2fabdc02] * libcfa/src/fstream.cfa (modified) * libcfa/src/rational.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 01 Apr 2019 18:04:14 GMT tdelisle [212c2187] * 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) Removed kernelTLS.this_coroutine which was redundant and some ... Thu, 28 Mar 2019 22:35:21 GMT Peter A. Buhr [bee653c] * configure (modified) * configure.ac (modified) * longrun_tests/Makefile.am (added) * longrun_tests/Makefile.in (moved) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.am (deleted) * tests/preempt_longrun/block.c (deleted) * tests/preempt_longrun/coroutine.c (deleted) * tests/preempt_longrun/disjoint.c (deleted) * tests/preempt_longrun/preempt.c (deleted) * tests/preempt_longrun/wait.c (deleted) * tests/pybin/tools.py (modified) * tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Mar 2019 22:35:11 GMT Peter A. Buhr [8a25be9] * libcfa/src/fstream.cfa (modified) * libcfa/src/rational.cfa (modified) change exits to aborts to get stack trace Thu, 28 Mar 2019 21:20:29 GMT tdelisle [b611fc3] * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Mar 2019 21:19:52 GMT tdelisle [f806b61] * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Tests are now run in temporary directory Thu, 28 Mar 2019 16:18:33 GMT tdelisle [ce3d305] * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) Fixed expected tests that weren't properly regenerated for x86 Thu, 28 Mar 2019 15:50:41 GMT tdelisle [ea62265] * tests/pybin/tools.py (modified) test now print better in dry-run mode Thu, 28 Mar 2019 15:49:44 GMT tdelisle [e8fe5e0] * longrun_tests/Makefile.am (modified) * longrun_tests/Makefile.in (modified) * longrun_tests/block.c (deleted) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.c (deleted) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.c (deleted) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.c (deleted) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/wait.c (deleted) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) Fixing longrun_tests to compile Thu, 28 Mar 2019 14:22:57 GMT tdelisle [1241851] * configure (modified) * configure.ac (modified) * longrun_tests/Makefile.am (moved) * longrun_tests/Makefile.in (moved) * longrun_tests/block.c (moved) * longrun_tests/coroutine.c (moved) * longrun_tests/create.c (moved) * longrun_tests/disjoint.c (moved) * longrun_tests/enter.c (moved) * longrun_tests/enter3.c (moved) * longrun_tests/preempt.c (moved) * longrun_tests/processor.c (moved) * longrun_tests/stack.c (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.c (moved) * longrun_tests/yield.c (moved) Moved longrun tests outside of tests folder Wed, 27 Mar 2019 18:44:34 GMT tdelisle [a45fc7b] * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Tests no longer use subprocess.run(shell=True), which solves leak ... Wed, 27 Mar 2019 15:09:23 GMT tdelisle [86fb8f2] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Pingpong.cfa (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/ProdCons.cpp (modified) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/user/user.tex (modified) * libcfa/prelude/builtins.c (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/math1.txt (modified) * tests/coroutine/pingpong.cfa (modified) * tests/math1.cfa (modified) * tests/rational.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 27 Mar 2019 15:09:15 GMT tdelisle [2b10f95] * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Improved printing, added support for cpp tests and fix byte string ... Wed, 27 Mar 2019 13:07:47 GMT Peter A. Buhr [1e5d0f0c] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Pingpong.cfa (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/ProdCons.py (added) start rewrite of coroutine section Wed, 27 Mar 2019 12:58:53 GMT Peter A. Buhr [0087e0e] * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * tests/rational.cfa (modified) add rational exponentiation, code clean up Wed, 27 Mar 2019 12:55:18 GMT Peter A. Buhr [8a30423] * libcfa/prelude/builtins.c (modified) more exponential clean up Wed, 27 Mar 2019 02:30:42 GMT Peter A. Buhr [697e484] * doc/user/user.tex (modified) update exponential documentation Wed, 27 Mar 2019 02:29:25 GMT Peter A. Buhr [7726839] * libcfa/prelude/builtins.c (modified) exponential clean up and fix forall version Tue, 26 Mar 2019 21:59:05 GMT Peter A. Buhr [c274df2] * tests/math1.cfa (modified) update and add exponential tests Tue, 26 Mar 2019 21:57:44 GMT Peter A. Buhr [980aa4a] * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/math1.txt (modified) update expected output Tue, 26 Mar 2019 21:55:29 GMT Peter A. Buhr [363b48f] * tests/coroutine/pingpong.cfa (modified) change to reference, formatting Tue, 26 Mar 2019 21:07:10 GMT Peter A. Buhr [8dbfb7e] * libcfa/prelude/builtins.c (modified) update exponential operator, formatting Tue, 26 Mar 2019 18:12:57 GMT tdelisle [ae6b6cf] * doc/papers/concurrency/examples/ProdCons.cpp (modified) Implemented ProdCons using C++20 coroutines and a dispatcher pattern, ... Tue, 26 Mar 2019 15:15:49 GMT tdelisle [1bb2488] * tests/pybin/tools.py (modified) * tests/test.py (modified) No longer need to use popen and signal handling in test.py Tue, 26 Mar 2019 14:36:58 GMT tdelisle [5bf1f3e] * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Code review of test.py and pybin Mon, 25 Mar 2019 17:40:35 GMT tdelisle [eb60b04] * libcfa/src/stdhdr/stdbool.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 25 Mar 2019 17:40:20 GMT tdelisle [d3c1c6a] * tests/pybin/settings.py (modified) * tests/test.py (modified) Tests now prints path+name when runnning Mon, 25 Mar 2019 16:05:29 GMT tdelisle [5b993e0] * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/config.py.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Updated test scripts to use python3 Mon, 25 Mar 2019 14:45:18 GMT Peter A. Buhr [1097bb7] * libcfa/src/stdhdr/stdbool.h (modified) cast boolean constants false/true to tyoe _Bool in stdbool.h Mon, 25 Mar 2019 14:07:13 GMT tdelisle [d4a60ac] * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.cc (modified) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (moved) * doc/papers/concurrency/examples/ProdCons.cfa (modified) * doc/papers/concurrency/examples/Refactor.py (added) * libcfa/src/heap.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/raii/init_once.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 22 Mar 2019 19:45:28 GMT Peter A. Buhr [e73d449] * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.cc (modified) formatting Fri, 22 Mar 2019 19:44:08 GMT Peter A. Buhr [f8cd310] * doc/papers/concurrency/examples/ProdCons.cfa (modified) * libcfa/src/heap.cfa (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/raii/init_once.cfa (modified) update file names in emacs compile directive Fri, 22 Mar 2019 19:28:14 GMT Peter A. Buhr [386e710] * doc/papers/concurrency/examples/pingpong.py (deleted) * tests/coroutine/fibonacci_1.cfa (modified) refactor to look more like python