# # ChangeLog for / # # Generated by Trac 1.2.1 # Apr 28, 2024, 1:54:56 AM Wed, 08 May 2019 20:19:13 GMT Thierry Delisle [6a625de] * src/AST/Node.hpp (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/include/cassert (modified) * src/main.cc (modified) Some clean-up, some more assertions to check assumptions and changes ... Wed, 08 May 2019 14:28:04 GMT Thierry Delisle [b1d3ee1] * doc/papers/concurrency/Paper.tex (modified) * doc/user/user.tex (modified) * libcfa/src/iostream.hfa (modified) * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 08 May 2019 14:27:04 GMT Thierry Delisle [cedb545] * src/AST/Node.hpp (added) Added base class for new AST nodes Tue, 07 May 2019 18:36:10 GMT Peter A. Buhr [1c9568f] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) choose integral zero over nullptr for any integral context Tue, 07 May 2019 17:39:08 GMT Thierry Delisle [02fdb8e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/Tuples/TupleExpansion.cc (modified) Added WithConstTypeSubstitution accessory on pass visitor. Mostly ... Tue, 07 May 2019 15:46:21 GMT Thierry Delisle [0c0f548] * src/main.cc (modified) fixed static_assertion which requires a message Tue, 07 May 2019 14:48:11 GMT Peter A. Buhr [9e6d652] * doc/user/user.tex (modified) add documentation for cfa-cpp command-line flags Tue, 07 May 2019 14:45:33 GMT Peter A. Buhr [16948499] * doc/papers/concurrency/Paper.tex (modified) cleanup abstract and introduction Mon, 06 May 2019 21:24:59 GMT Peter A. Buhr [63b05ba] * Jenkins/FullBuild (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 06 May 2019 21:24:42 GMT Peter A. Buhr [eb28d7e] * doc/papers/concurrency/Paper.tex (modified) rewrite abstract and introduction Mon, 06 May 2019 15:05:09 GMT Thierry Delisle [c6a90bf] * Jenkins/FullBuild (modified) Fixed bad merge in jenkins file Sun, 05 May 2019 18:59:59 GMT Peter A. Buhr [c4b072c] * libcfa/src/iostream.hfa (modified) add printf/scanf attribute to fmt routines Fri, 03 May 2019 22:05:36 GMT Peter A. Buhr [62ce290] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/main.cc (modified) update cfa-cpp options Thu, 02 May 2019 17:57:05 GMT Andrew Beach [76f7fc7] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Options.h (modified) * src/SynTree/Declaration.h (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) Reduced cases where unused is placed on anonymous objects. ... Thu, 02 May 2019 17:33:07 GMT Peter A. Buhr [3e96559] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/main.cc (modified) add --help option for cfa-cpp to show options, and restructure the ... Wed, 01 May 2019 21:01:29 GMT Andrew Beach [da09ba1] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Options.h (modified) __attribute__((unused)) on nameless parameters. Wed, 01 May 2019 19:32:19 GMT Andrew Beach [5157ba7] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 01 May 2019 19:32:10 GMT Andrew Beach [42a36d9] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Options.h (added) Created CodeGen::Options which hold some flags for code generation. Wed, 01 May 2019 18:04:52 GMT Thierry Delisle [734014e] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeSubstitution.h (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/declarationSpecifier.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 01 May 2019 18:04:44 GMT Thierry Delisle [1b3eef8] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) Fixed some mistakes into which builds are published Wed, 01 May 2019 11:53:04 GMT Peter A. Buhr [3908e5d] * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/declarationSpecifier.cfa (modified) shorten declaration of "main" Wed, 01 May 2019 11:49:16 GMT Peter A. Buhr [1690778] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeSubstitution.h (modified) change from map/set to unordered map/set 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: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 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 [cefa6ca] * 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 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: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: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 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 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 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 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 ...