# # ChangeLog for / # # Generated by Trac 1.2.1 # May 1, 2024, 1:55:11 PM 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 19:00:54 GMT Aaron Moss [53bb8f1] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/compile/empty.cfa (moved) * benchmark/creation/cfa_cor.cfa (moved) * benchmark/creation/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_cor.cfa (moved) * benchmark/ctxswitch/cfa_thrd.cfa (moved) * benchmark/ctxswitch/cfa_thrd2.cfa (moved) * benchmark/jenkins.sh (added) * benchmark/mutex/cfa1.cfa (moved) * benchmark/mutex/cfa2.cfa (moved) * benchmark/mutex/cfa4.cfa (moved) * benchmark/schedext/cfa1.cfa (moved) * benchmark/schedext/cfa2.cfa (moved) * benchmark/schedext/cfa4.cfa (moved) * benchmark/schedint/cfa1.cfa (moved) * benchmark/schedint/cfa2.cfa (moved) * benchmark/schedint/cfa4.cfa (moved) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/BasicTypes-gen.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.in (modified) * tests/abort.cfa (added) * tests/array.cfa (modified) * tests/castError.cfa (modified) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/io1.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/pybin/print-core.gdb (added) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/prettyprinter/Makefile.in (modified) Merge second draft of Aaron's thesis 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 Mon, 11 Mar 2019 02:57:03 GMT Peter A. Buhr [91d6584] * src/Common/Stats/Time.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 11 Mar 2019 02:55:16 GMT Peter A. Buhr [9e6955d] * tests/.expect/completeTypeError.txt (modified) update generated code Mon, 11 Mar 2019 02:54:33 GMT Peter A. Buhr [0a616e0] * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) clean up constant code and add pointer suffix Mon, 11 Mar 2019 02:53:03 GMT Peter A. Buhr [7579ac0] * libcfa/prelude/builtins.c (modified) formatting and temporarily add polymorphic intptr Mon, 11 Mar 2019 02:51:40 GMT Peter A. Buhr [6fd1955] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Type.h (modified) update GENERATED BY file name Mon, 11 Mar 2019 02:49:16 GMT Peter A. Buhr [c2fe922] * src/BasicTypes-gen.cc (modified) remove path from generating file name Mon, 11 Mar 2019 01:25:47 GMT Peter A. Buhr [f910df5] * src/BasicTypes-gen.cc (modified) formatting Mon, 11 Mar 2019 01:25:10 GMT Peter A. Buhr [b830e046] * libcfa/prelude/prelude-gen.cc (modified) formatting output 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 Wed, 06 Mar 2019 15:33:52 GMT tdelisle [fca6ca6] * src/Common/Stats/Time.cc (modified) Fixed % of parent when more than one level ends at the same time Wed, 06 Mar 2019 14:57:42 GMT tdelisle [c101756] * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 06 Mar 2019 14:56:47 GMT tdelisle [61dbb54] * src/Common/Stats/Time.cc (modified) Fixed initialization of chrono stack not supported by g++-5 Tue, 05 Mar 2019 23:17:55 GMT Peter A. Buhr [b38433b] * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats.h (modified) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Makefile.in (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Mar 2019 22:35:02 GMT Peter A. Buhr [34737de] * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) add intptr_t and uintptr_t to extras Tue, 05 Mar 2019 20:28:52 GMT Aaron Moss [247c8f3] * doc/bibliography/pl.bib (modified) Fixed link in Clang citation 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 Tue, 05 Mar 2019 20:08:55 GMT tdelisle [972540e] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/io1.txt (modified) * tests/io1.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Mar 2019 20:08:46 GMT tdelisle [c884f2d] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/SymTab/Validate.cc (modified) Fixed error for % of parent printing in timing sections and added ... Tue, 05 Mar 2019 19:17:45 GMT tdelisle [3c0d4cd] * src/Common/Stats/Time.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Fixed/implemented % of parent printing in timing sections Tue, 05 Mar 2019 18:37:32 GMT Peter A. Buhr [97a1544] * doc/papers/concurrency/mail (modified) email related to paper Tue, 05 Mar 2019 18:36:51 GMT Peter A. Buhr [ca0f061f] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) second introduction update Tue, 05 Mar 2019 18:14:52 GMT tdelisle [79eaeb7] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/main.cc (modified) Improved printing, parent printing still incorrect Tue, 05 Mar 2019 13:45:24 GMT Peter A. Buhr [17a1b21] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * tests/.expect/io1.txt (modified) * tests/io1.cfa (modified) add printing and testing for zero_t and one_t 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 20:52:46 GMT tdelisle [4f97937] * src/Common/Stats/Base.h (modified) * src/Common/Stats/Stats.cc (modified) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) First draft at timing results, left is better printing and more data Mon, 04 Mar 2019 20:05:55 GMT tdelisle [1bb9a9a] * src/Common/Stats.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) Some clean-up and comenting Mon, 04 Mar 2019 19:54:05 GMT tdelisle [874ffa4] * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 04 Mar 2019 19:53:55 GMT tdelisle [1cb7fab2] * src/Common/Stats.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/SymTab/Indexer.cc (modified) * src/main.cc (modified) Added better support for enabling/disabling/compiling-out statistics Mon, 04 Mar 2019 18:57:28 GMT Aaron Moss [01300c4] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) Merge branch 'aaron-thesis' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Mon, 04 Mar 2019 18:57:24 GMT Aaron Moss [5934c5f] * doc/bibliography/pl.bib (modified) add Checked C citation to bibliography file Mon, 04 Mar 2019 04:02:08 GMT Aaron Moss [6e4411f] * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) thesis: add acknowledgements Fri, 01 Mar 2019 20:10:09 GMT tdelisle [675716e] * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/Stats/Base.h (modified) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Instrumented PassVisitor to print average/max depth Fri, 01 Mar 2019 19:10:34 GMT tdelisle [8e70823] * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (modified) * src/Common/Stats/Counter.h (modified) Extracted out BaseCounter as a generic key-value tree Fri, 01 Mar 2019 03:59:47 GMT Peter A. Buhr [0050a5f] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 01 Mar 2019 03:59:39 GMT Peter A. Buhr [f56c32e] * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) update constant parsing and add 'n' suffix for integer constants Thu, 28 Feb 2019 22:13:47 GMT tdelisle [0633cf2] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Feb 2019 22:13:38 GMT tdelisle [5509ff4] * src/Parser/TypeData.h (modified) Added proper initialization to TypeData Thu, 28 Feb 2019 21:23:52 GMT tdelisle [79de2210] * src/SymTab/Indexer.cc (modified) Instrumented Indexer at little Thu, 28 Feb 2019 21:23:34 GMT tdelisle [351c519] * src/Common/Stats/Counter.h (modified) Added max counter to stats Thu, 28 Feb 2019 21:13:15 GMT tdelisle [ebcc940] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/main.cc (modified) Added --stats flag to enable statistics Thu, 28 Feb 2019 20:24:11 GMT tdelisle [be30a90] * src/SynTree/AddressExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 28 Feb 2019 20:24:03 GMT tdelisle [a1099278] * src/Common/Stats/Counter.cc (modified) Fix printing of empty counters Thu, 28 Feb 2019 19:54:05 GMT Aaron Moss [7db4836] * 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:43:01 GMT tdelisle [c9e640e] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) Fixed benign warning when compiling with nolib Thu, 28 Feb 2019 19:33:20 GMT tdelisle [8f74a6a] * src/Common/Stats.h (modified) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/Common/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Added code to support generic statistic counters in the compiler 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 18:36:19 GMT Peter A. Buhr [734ceb3e] * src/SynTree/AddressExpr.cc (modified) print error message rather than fail when taking address of non- ... Thu, 28 Feb 2019 17:03:24 GMT tdelisle [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... 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 ... Sun, 24 Feb 2019 21:32:17 GMT Peter A. Buhr [fd9ae1d] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) more bracket rows in matrix initialization Sat, 23 Feb 2019 20:06:08 GMT tdelisle [6ca6811] * src/BasicTypes-gen.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) Fixed compilation failures with basic type generation with VPATH ... 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 Fri, 22 Feb 2019 22:41:56 GMT Aaron Moss [d065ded] * doc/bibliography/pl.bib (modified) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: polish Ch.6 to first draft Thu, 21 Feb 2019 23:40:58 GMT Aaron Moss [b3edf7f5] * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) thesis: polish first draft of Ch.5 Thu, 21 Feb 2019 21:29:44 GMT Aaron Moss [f316c68] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: polish first draft of Ch.4 Thu, 21 Feb 2019 15:38:18 GMT Peter A. Buhr [1b54b54] * src/Parser/parser.yy (modified) * tests/.expect/loopctrl.txt (modified) * tests/loopctrl.cfa (modified) add decrement to new for control, add tests for it Thu, 21 Feb 2019 03:02:08 GMT Peter A. Buhr [2d2df9f] * src/Parser/parser.yy (modified) add default (empty) fields to for control Thu, 21 Feb 2019 03:00:59 GMT Peter A. Buhr [96df1329] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) bracket rows in matrix initialization Wed, 20 Feb 2019 22:37:55 GMT Aaron Moss [a2971cc] * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) thesis: first-pass edits to ch.1-3 Wed, 20 Feb 2019 19:00:37 GMT Aaron Moss [f728971] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (modified) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) Merge branch 'aaron-thesis' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Wed, 20 Feb 2019 14:59:52 GMT Peter A. Buhr [6dfed1f] * tests/warnings/self-assignment.cfa (modified) formatting Wed, 20 Feb 2019 14:59:28 GMT Peter A. Buhr [43a5603] * tests/sum.cfa (modified) fix cast Wed, 20 Feb 2019 14:58:33 GMT Peter A. Buhr [2e457d8] * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) formatting Wed, 20 Feb 2019 14:56:39 GMT Peter A. Buhr [97e8d1e] * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/gortn.cfa (added) add example to compare waitfor and go channels Wed, 20 Feb 2019 04:27:07 GMT Peter A. Buhr [b9afb1e] * tests/.expect/castError.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/warnings/.expect/self-assignment.txt (modified) update tests Wed, 20 Feb 2019 04:26:25 GMT Peter A. Buhr [f8de4e4] * tests/castError.cfa (modified) add test and formatting Wed, 20 Feb 2019 04:25:50 GMT Peter A. Buhr [2ede686] * tests/array.cfa (modified) formatting Wed, 20 Feb 2019 04:24:40 GMT Peter A. Buhr [5170d95] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) fix implict void cast problem Wed, 20 Feb 2019 01:27:07 GMT Aaron Moss [7e9fa47] * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: conclude experiments chapter Wed, 20 Feb 2019 01:01:44 GMT Aaron Moss [83a09648] * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (modified) thesis: Add CFA results to experiments section Tue, 19 Feb 2019 20:31:37 GMT Peter A. Buhr [45af7e1] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) start rewrite of concurrency paper for SPE Tue, 19 Feb 2019 18:49:20 GMT Aaron Moss [049d9a5] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (modified) Merge branch 'aaron-thesis' of plg2.cs.uwaterloo.ca:software/cfa/cfa- ... Tue, 19 Feb 2019 18:49:08 GMT Aaron Moss [d42969d] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (modified) thesis: fix data munging issue Tue, 19 Feb 2019 18:37:54 GMT Aaron Moss [60f214a] * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) Merge branch 'aaron-thesis' of plg2.cs.uwaterloo.ca:software/cfa/cfa- ...