# # ChangeLog for doc # # Generated by Trac 1.2.1 # Mar 28, 2024, 9:26:51 PM Tue, 06 Dec 2016 22:11:48 GMT Aaron Moss [fef8293] * doc/proposals/closure.md (added) Add draft of closure proposal Thu, 24 Nov 2016 21:14:28 GMT Thierry Delisle [df3339a] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) Minor fix-up in concurency tex Wed, 23 Nov 2016 17:03:39 GMT Thierry Delisle [687165a] * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/style.tex (modified) * doc/proposals/concurrency/version (modified) Reviewed start of threading and added quick proposal for couroutines Mon, 21 Nov 2016 16:38:16 GMT Aaron Moss [bbd44c5] * doc/working/resolver_design.md (modified) Updated resolver design working doc with ideas from meeting with Dr. ... Fri, 18 Nov 2016 18:51:59 GMT Aaron Moss [ba5131d] * doc/proposals/virtual.txt (modified) Further notes on virtual proposal Fri, 18 Nov 2016 18:47:00 GMT Aaron Moss [da81e1d0] * doc/proposals/virtual.txt (modified) Added notes on vtable binding and bikeshedding to virtual proposal Fri, 18 Nov 2016 18:33:42 GMT Aaron Moss [5a0735ac] * doc/proposals/virtual.txt (modified) Fixed typo in virtual proposal Thu, 17 Nov 2016 19:09:25 GMT Thierry Delisle [63c2bca] * doc/proposals/virtual.txt (added) added virtual proposal Tue, 15 Nov 2016 17:25:13 GMT Thierry Delisle [d02aaa9] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/version (modified) Update intro up to internal scheduling Thu, 10 Nov 2016 21:18:12 GMT Thierry Delisle [d073e3c] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/version (modified) updated parallel taxonomy Mon, 07 Nov 2016 15:49:14 GMT Thierry Delisle [84118d8] * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 07 Nov 2016 15:47:32 GMT Thierry Delisle [fe84230] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (added) * doc/proposals/concurrency/version (modified) - Added custom style file. - Updated text up-to internal scheduling Wed, 02 Nov 2016 19:55:08 GMT Thierry Delisle [9a8dfcc] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/version (modified) updated concurrency proposal based on peter's review, up-to but not ... Tue, 01 Nov 2016 21:01:46 GMT Thierry Delisle [955d9e43] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) updated concurrency proposal based on peter's review, up-to and ... Tue, 01 Nov 2016 19:18:59 GMT Aaron Moss [f51aefb] * .gitignore (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/concurrency/.gitignore (added) * doc/proposals/concurrency/Makefile (added) * doc/proposals/concurrency/bump_ver.sh (added) * doc/proposals/concurrency/concurrency.tex (added) * doc/proposals/concurrency/ext_monitor.fig (added) * doc/proposals/concurrency/ext_monitor.fig.bak (added) * doc/proposals/concurrency/glossary.tex (added) * doc/proposals/concurrency/local.bib (added) * doc/proposals/concurrency/monitor.fig (added) * doc/proposals/concurrency/version (added) * doc/user/user.tex (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) * src/driver/Makefile.am (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 01 Nov 2016 19:18:55 GMT Aaron Moss [40744af8] * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) Add working doc with start of declarative description of resolver Fri, 28 Oct 2016 17:11:12 GMT Peter A. Buhr [f849c8e] * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/tests/Makefile.in (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Conflicts: ... Fri, 28 Oct 2016 00:37:17 GMT Peter A. Buhr [03d416f] * doc/bibliography/cfa.bib (modified) update bibliography file Thu, 27 Oct 2016 13:37:58 GMT Thierry Delisle [25f49f4] * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/driver/cfa.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 26 Oct 2016 21:49:40 GMT Peter A. Buhr [6d7c3df] * doc/LaTeXmacros/common.tex (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/ext_monitor.fig (modified) * doc/proposals/concurrency/ext_monitor.fig.bak (added) * doc/proposals/concurrency/version (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 26 Oct 2016 21:10:48 GMT Peter A. Buhr [ec129c4] * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/user/user.tex (modified) * src/driver/cfa.cc (modified) add additional #defines for CFA version numbers Wed, 26 Oct 2016 20:57:55 GMT Peter A. Buhr [315f634] * doc/LaTeXmacros/common.tex (modified) revert back to original latex macros Tue, 25 Oct 2016 18:24:53 GMT Thierry Delisle [efe4d730] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) added all standard bib files (synched through rsync) Thu, 20 Oct 2016 16:19:37 GMT Thierry Delisle [fe7b281] * doc/user/user.tex (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 20 Oct 2016 16:19:16 GMT Thierry Delisle [d1fbaa7] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) parallelism v4 reviewed Thu, 20 Oct 2016 16:06:38 GMT Thierry Delisle [b1bdc7d6] * doc/LaTeXmacros/common.tex (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/ext_monitor.fig (modified) * doc/proposals/concurrency/ext_monitor.fig.bak (added) * doc/proposals/concurrency/version (modified) Finished reviewing concurrency section v0.4 Thu, 20 Oct 2016 02:32:04 GMT Peter A. Buhr [9059213] * doc/user/user.tex (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) small changes to bring me up to date Wed, 19 Oct 2016 19:51:34 GMT Thierry Delisle [c2183a3] * doc/LaTeXmacros/common.tex (modified) missed encoding error Wed, 19 Oct 2016 19:40:28 GMT Thierry Delisle [2b93c5a] * doc/LaTeXmacros/common.tex (modified) added keywords for concurrency Wed, 19 Oct 2016 19:32:19 GMT Thierry Delisle [b512454] * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/ext_monitor.fig (added) * doc/proposals/concurrency/monitor.fig (added) * doc/proposals/concurrency/version (modified) added figures Tue, 18 Oct 2016 16:53:43 GMT Thierry Delisle [a3eaa29] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) v0.4 review up to external scheduling Thu, 13 Oct 2016 16:50:43 GMT Thierry Delisle [9b4343e] * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/bump_ver.sh (added) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/version (added) Made significant changes to proposal and added simple version number Fri, 07 Oct 2016 20:41:17 GMT Thierry Delisle [a9aab60] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) some progress on parallelism Thu, 06 Oct 2016 18:36:12 GMT Thierry Delisle [d95f565] * doc/proposals/concurrency/.gitignore (added) added git ignore for files create by build Wed, 05 Oct 2016 15:47:52 GMT Thierry Delisle [a7976d79] * doc/aaron_comp_II/comp_II.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 05 Oct 2016 15:47:40 GMT Thierry Delisle [c69adb7] * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (added) * doc/proposals/concurrency/local.bib (moved) -added pl blibliography -rename citations to local bib -added ... Tue, 04 Oct 2016 15:25:00 GMT Aaron Moss [19b5d6b] * doc/aaron_comp_II/Efficient Type Resolution in Cforall.pptx (added) * doc/aaron_comp_II/conversion_dag.png (added) * doc/aaron_comp_II/resolution_dag.png (added) * doc/aaron_comp_II/resolution_dag2.odg (added) * doc/aaron_comp_II/resolution_dag2.png (added) * src/Common/DebugMalloc.cc (added) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (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/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/libcfa/memcheck.awk (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Oct 2016 15:24:57 GMT Aaron Moss [6295081] * doc/aaron_comp_II/comp_II.tex (modified) Add cost section to Comp II Fri, 30 Sep 2016 14:04:25 GMT Thierry Delisle [7e10773] * doc/proposals/concurrency/citations.bib (modified) * doc/proposals/concurrency/concurrency.tex (modified) further progress on concurrency part Thu, 29 Sep 2016 14:48:09 GMT Thierry Delisle [aee7e35] * doc/aaron_comp_II/Efficient Type Resolution in Cforall.pptx (added) * doc/aaron_comp_II/conversion_dag.png (added) * doc/aaron_comp_II/resolution_dag.png (added) * doc/aaron_comp_II/resolution_dag2.odg (added) * doc/aaron_comp_II/resolution_dag2.png (added) * src/CodeGen/GenType.cc (modified) * src/Common/DebugMalloc.cc (added) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (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/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (added) * src/SynTree/module.mk (modified) * src/libcfa/memcheck.awk (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 29 Sep 2016 14:48:02 GMT Thierry Delisle [7b69174] * doc/proposals/concurrency/concurrency.tex (modified) New proposal version for Internal Scheduling semantics written Tue, 27 Sep 2016 20:29:49 GMT Thierry Delisle [694ee7d] * doc/proposals/concurrency/Makefile (added) * doc/proposals/concurrency/citations.bib (added) * doc/proposals/concurrency/concurrency.tex (added) initial commit of concurrency proposal Thu, 22 Sep 2016 07:52:12 GMT Aaron Moss [4e8d8a23] * doc/aaron_comp_II/Efficient Type Resolution in Cforall.pptx (added) * doc/aaron_comp_II/conversion_dag.png (added) * doc/aaron_comp_II/resolution_dag.png (added) * doc/aaron_comp_II/resolution_dag2.odg (added) * doc/aaron_comp_II/resolution_dag2.png (added) Add Comp II presentation Mon, 29 Aug 2016 14:33:05 GMT Aaron Moss [6943a987] * .gitignore (modified) * doc/LaTeXmacros/common.tex (modified) * doc/aaron_comp_II/comp_II.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/Common/Assert.cc (added) * src/Common/CompilerError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/Parser.cc (deleted) * src/Parser/Parser.h (deleted) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/examples/asm.c (deleted) * src/examples/gc_no_raii/premake4.lua (modified) * src/examples/gc_no_raii/src/gc.h (modified) * src/examples/gc_no_raii/src/gcpointers.c (modified) * src/examples/gc_no_raii/src/gcpointers.h (modified) * src/examples/gc_no_raii/src/internal/collector.c (modified) * src/examples/gc_no_raii/src/internal/state.h (modified) * src/examples/gc_no_raii/test/gctest.c (modified) * src/include/assert.h (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/containers/vector (modified) * src/libcfa/containers/vector.c (modified) * src/main.cc (modified) * src/tests/.expect/32/declarationSpecifier.txt (added) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (added) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/asmName.txt (deleted) * src/tests/.expect/ctorWarnings.txt (added) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/declarationSpecifier.txt (deleted) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/asmName.c (deleted) * src/tests/ctorWarnings.c (added) * src/tests/declarationErrors.c (modified) * src/tests/declarationSpecifier.c (modified) * src/tests/dtor-early-exit.c (modified) * src/tests/exception.c (modified) * src/tests/functions.c (modified) * src/tests/gccExtensions.c (modified) * src/tests/identFuncDeclarator.c (modified) * src/tests/identParamDeclarator.c (modified) * src/tests/test.py (modified) * src/tests/variableDeclarator.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 29 Aug 2016 14:33:00 GMT Aaron Moss [79841be] * doc/aaron_comp_II/conversion_dag.eps (modified) * doc/aaron_comp_II/conversion_dag.odg (modified) * doc/aaron_comp_II/resolution_dag.eps (modified) * doc/aaron_comp_II/resolution_dag.odg (modified) Update Comp II diagrams with Peter's suggestions Sat, 20 Aug 2016 09:32:55 GMT Aaron Moss [7b1bfc5] * doc/aaron_comp_II/comp_II.tex (modified) Updates to Comp II draft per Peter, round 2 Sun, 14 Aug 2016 12:36:29 GMT Peter A. Buhr [1d4580a] * doc/LaTeXmacros/common.tex (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/tests/exception.c (modified) more refactoring of parser code Sun, 14 Aug 2016 12:26:13 GMT Peter A. Buhr [46b4259] * doc/LaTeXmacros/common.tex (modified) * doc/aaron_comp_II/comp_II.tex (modified) * doc/bibliography/cfa.bib (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Sun, 14 Aug 2016 12:26:06 GMT Peter A. Buhr [bf1a2bf] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) user manual updates, discussion on named arguments Sat, 13 Aug 2016 19:42:04 GMT Aaron Moss [473d8c82] * doc/aaron_comp_II/comp_II.tex (modified) Add some discussion of C++ Fri, 12 Aug 2016 20:45:35 GMT Aaron Moss [86c48f5] * doc/aaron_comp_II/comp_II.tex (modified) Add discussion of Haskell type classes Fri, 12 Aug 2016 20:08:32 GMT Aaron Moss [afd4cde] * doc/aaron_comp_II/comp_II.tex (modified) Fix code example in argument-parameter matching Fri, 12 Aug 2016 20:06:50 GMT Aaron Moss [4859ae9] * doc/aaron_comp_II/comp_II.tex (modified) Add citation for Persch et al., generalize language in later sections ... Fri, 12 Aug 2016 17:38:06 GMT Aaron Moss [e73a793] * doc/aaron_comp_II/comp_II.tex (modified) Add Persch et al. citation to Comp II draft Fri, 12 Aug 2016 15:24:11 GMT Aaron Moss [71b5d4d3] * doc/LaTeXmacros/common.tex (modified) * doc/aaron_comp_II/comp_II.tex (modified) * doc/bibliography/cfa.bib (modified) Add Pennello et al. citation to Comp II draft Fri, 12 Aug 2016 15:05:16 GMT Aaron Moss [e3d1cc1] * doc/aaron_comp_II/comp_II.tex (modified) * doc/bibliography/cfa.bib (modified) Add Ganzinger and Ripken citation Thu, 11 Aug 2016 20:04:27 GMT Aaron Moss [7bb37fc] * doc/aaron_comp_II/comp_II.tex (modified) * doc/bibliography/cfa.bib (modified) Finish first editing pass over Comp II draft Wed, 10 Aug 2016 21:34:20 GMT Aaron Moss [e394618] * doc/aaron_comp_II/comp_II.tex (modified) Finish first-pass edits on Comp II section 3.1 Wed, 10 Aug 2016 21:04:10 GMT Aaron Moss [be0a9d8] * doc/aaron_comp_II/comp_II.tex (modified) * doc/aaron_comp_II/conversion_dag.eps (added) * doc/aaron_comp_II/conversion_dag.odg (added) * doc/aaron_comp_II/resolution_dag.eps (added) * doc/aaron_comp_II/resolution_dag.odg (added) Added example of resolution DAG to Comp II draft Mon, 08 Aug 2016 21:16:03 GMT Aaron Moss [ce76eb9] * doc/aaron_comp_II/comp_II.tex (modified) Update resolver runtime analyis with independent arg-param matching notes Sat, 06 Aug 2016 22:35:17 GMT Aaron Moss [752dc70] * doc/aaron_comp_II/comp_II.tex (modified) Incorporate Peter's suggestions for Comp II section 2 Sat, 06 Aug 2016 19:37:44 GMT Aaron Moss [d1ef1b0] * doc/aaron_comp_II/comp_II.tex (modified) Finished traits subsection of Comp II draft Fri, 05 Aug 2016 15:03:04 GMT Aaron Moss [c331406] * doc/aaron_comp_II/comp_II.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/ControlStruct/CaseRangeMutator.cc (deleted) * src/ControlStruct/CaseRangeMutator.h (deleted) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/gc_no_raii/bug-repro/return_template.c (modified) * src/examples/gc_no_raii/src/gc.h (modified) * src/examples/gc_no_raii/src/gcpointers.c (modified) * src/examples/gc_no_raii/src/gcpointers.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.h (modified) * src/examples/gc_no_raii/src/tools/worklist.h (modified) * src/examples/gc_no_raii/test/badlll.c (modified) * src/examples/gc_no_raii/test/gctest.c (modified) * src/main.cc (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/multiDimension.txt (added) * src/tests/init_once.c (modified) * src/tests/multiDimension.c (added) * src/tests/switch.c (modified) Merge changes from master Wed, 03 Aug 2016 18:28:26 GMT Aaron Moss [e93bc13] * doc/aaron_comp_II/comp_II.tex (modified) Merge Peter's suggestions into Comp II draft Wed, 03 Aug 2016 15:33:36 GMT Aaron Moss [a14187f] * INSTALL (modified) * Jenkins/FullBuild (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/GenPoly/Box.cc (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/SymTab/Validate.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/tests/switch.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 03 Aug 2016 15:30:22 GMT Aaron Moss [ac43954] * doc/working/resolver_design.md (modified) Add note about what features to add concurrent with the resolver re- ... Wed, 03 Aug 2016 00:50:27 GMT Peter A. Buhr [e80ebe5] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) document new -no-include-std flag and implicit standard headers Mon, 01 Aug 2016 13:43:14 GMT Peter A. Buhr [79f64f1] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) fix merge problem Mon, 01 Aug 2016 13:07:35 GMT Peter A. Buhr [182fe1e] * INSTALL (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) update switch documentation and LaTeX macros Mon, 01 Aug 2016 13:00:59 GMT Peter A. Buhr [c45170a] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) update switch documentation and LaTeX macros Sun, 31 Jul 2016 23:06:22 GMT Peter A. Buhr [08061589] * INSTALL (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) more case statement cleanup Thu, 28 Jul 2016 20:15:51 GMT Aaron Moss [ff3fc93] * doc/aaron_comp_II/comp_II.tex (modified) * doc/bibliography/cfa.bib (modified) Minor edits to Comp II draft Thu, 28 Jul 2016 18:30:20 GMT Aaron Moss [d5905a2] * doc/aaron_comp_II/comp_II.tex (modified) Add email address to title page Thu, 28 Jul 2016 18:22:21 GMT Aaron Moss [6162e0e] * doc/aaron_comp_II/comp_II.tex (modified) Add Proposal section to conclude Comp II draft Thu, 28 Jul 2016 17:55:50 GMT Aaron Moss [95330f5] * doc/aaron_comp_II/comp_II.tex (modified) Clean up formatting/TOC Thu, 28 Jul 2016 16:21:04 GMT Aaron Moss [b1bd5d38] * doc/aaron_comp_II/comp_II.tex (modified) Added discussion of candidate generation schemes (eager vs lazy) to ... Wed, 27 Jul 2016 20:45:59 GMT Aaron Moss [a2565a2] * doc/aaron_comp_II/comp_II.tex (modified) Rework expression resolution section of Comp II to talk more clearly ... Tue, 26 Jul 2016 14:06:53 GMT Aaron Moss [b44a7c5] * doc/aaron_comp_II/comp_II.tex (modified) Start expression resolution section of comp II Thu, 21 Jul 2016 20:15:36 GMT Aaron Moss [ef3b335] * doc/LaTeXmacros/common.tex (modified) * doc/aaron_comp_II/comp_II.tex (modified) Minor edits to comp II draft Thu, 21 Jul 2016 19:50:35 GMT Aaron Moss [481ad06] * doc/aaron_comp_II/comp_II.tex (modified) Added completion timeline to comp II draft Thu, 21 Jul 2016 16:05:38 GMT Aaron Moss [7ba60dd] * doc/aaron_comp_II/comp_II.tex (modified) Added tuples, references, literals, and deleted functions to complete ... Thu, 21 Jul 2016 14:45:11 GMT Aaron Moss [0318c7a] * doc/aaron_comp_II/comp_II.tex (modified) Added sections on constructors and destructors, generic types to comp ... Thu, 21 Jul 2016 14:44:45 GMT Aaron Moss [fd603d8] * doc/LaTeXmacros/common.tex (modified) Added properly-formatted i.e., e.g., etc. macros to common.tex Wed, 20 Jul 2016 16:25:50 GMT Aaron Moss [5553a7b] * doc/aaron_comp_II/comp_II.tex (modified) Added name overloading and implicit conversions sections to Comp II Mon, 18 Jul 2016 20:53:28 GMT Aaron Moss [0b1376f] * doc/aaron_comp_II/.gitignore (added) * doc/aaron_comp_II/Makefile (added) * doc/aaron_comp_II/comp_II.tex (added) Initial commit of Aaron's Comp II Research Proposal Wed, 13 Jul 2016 12:22:11 GMT Peter A. Buhr [5479e63] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) documentation for switch/choose statement Sun, 10 Jul 2016 16:56:11 GMT Peter A. Buhr [07bc165] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) update section on pointer/reference and LaTeX macros Thu, 07 Jul 2016 12:27:40 GMT Peter A. Buhr [a17e7b8] * doc/user/pointer2.fig (modified) * doc/user/user.tex (modified) update section on pointer/reference Thu, 07 Jul 2016 01:11:20 GMT Peter A. Buhr [4096de0] * doc/LaTeXmacros/common.tex (modified) * doc/refrat/refrat.tex (modified) * doc/user/Cdecl.fig (modified) * doc/user/Makefile (modified) * doc/user/pointer2.fig (modified) * doc/user/user.tex (modified) write pointer/reference section, update LaTeX macros Tue, 05 Jul 2016 22:35:10 GMT Peter A. Buhr [a6151ba] * doc/user/pointer1.fig (added) * doc/user/pointer2.fig (added) * src/libcfa/containers/vector (modified) * src/libcfa/containers/vector.c (modified) * src/libcfa/prelude.cf (modified) * src/libcfa/rational.c (modified) * src/tests/.expect/searchsort.txt (added) * src/tests/io.c (modified) * src/tests/rational.c (modified) * src/tests/searchsort.c (moved) update comments in code and tests, and add test searchsort Wed, 29 Jun 2016 19:11:11 GMT Aaron Moss [59f9273] * doc/working/resolver_design.md (modified) Update resolver design docs to note caching opportunities Mon, 20 Jun 2016 19:46:53 GMT Thierry Delisle [fea90c6] * doc/refrat/Makefile (modified) doc/refrat makefile now exits on errors Mon, 20 Jun 2016 19:39:27 GMT Thierry Delisle [554a0db] * doc/user/Makefile (modified) doc/user makefile now exits on errors Mon, 20 Jun 2016 14:52:40 GMT Peter A. Buhr [9724df0] * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (added) * doc/LaTeXmacros/enumitem/enumitem.pdf (added) * doc/LaTeXmacros/enumitem/enumitem.sty (added) * doc/LaTeXmacros/enumitem/enumitem.tex (added) * doc/LaTeXmacros/listings/README (added) * doc/LaTeXmacros/listings/listings-acm.prf (added) * doc/LaTeXmacros/listings/listings-bash.prf (added) * doc/LaTeXmacros/listings/listings-fortran.prf (added) * doc/LaTeXmacros/listings/listings-lua.prf (added) * doc/LaTeXmacros/listings/listings-python.prf (added) * doc/LaTeXmacros/listings/listings.cfg (added) * doc/LaTeXmacros/listings/listings.dtx (added) * doc/LaTeXmacros/listings/listings.ins (added) * doc/LaTeXmacros/listings/listings.log (added) * doc/LaTeXmacros/listings/listings.pdf (added) * doc/LaTeXmacros/listings/listings.sty (added) * doc/LaTeXmacros/listings/listings.sty.new (added) * doc/LaTeXmacros/listings/lstdoc.sty (added) * doc/LaTeXmacros/listings/lstdrvrs.dtx (added) * doc/LaTeXmacros/listings/lstdrvrs.ins (added) * doc/LaTeXmacros/listings/lstdrvrs.pdf (added) * doc/LaTeXmacros/listings/lstlang1.sty (added) * doc/LaTeXmacros/listings/lstlang2.sty (added) * doc/LaTeXmacros/listings/lstlang3.sty (added) * doc/LaTeXmacros/listings/lstmisc.sty (added) * doc/bibliography/cfa.bib (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) update latex macros, and user and refrat manuals Tue, 14 Jun 2016 16:53:26 GMT Peter A. Buhr [c8c03683] * Jenkinsfile (modified) * doc/bibliography/cfa.bib (modified) * doc/papers/Baker82.pdf (added) * doc/papers/Bilson.pdf (added) * doc/papers/Bilson03.pdf (added) * doc/papers/Cormack81.pdf (added) * doc/papers/Ditchfield92.pdf (added) * doc/papers/Grossman06.pdf (added) * doc/papers/matrix.pdf (deleted) * doc/papers/meta.pdf (deleted) * doc/working/resolver_design.md (modified) * src/ArgTweak/FunctionFixer.cc (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Attribute.cc (added) * src/SynTree/Attribute.h (added) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/examples/avltree/avl-private.h (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 14 Jun 2016 16:22:45 GMT Peter A. Buhr [45576af9] * doc/LaTeXmacros/common.tex (modified) * doc/user/Cdecl.fig (modified) * doc/user/user.tex (modified) update user manual and global latex macros Tue, 14 Jun 2016 15:58:51 GMT Peter A. Buhr [7b21d99] * doc/bibliography/cfa.bib (modified) change name of bibtex entry from Bak:overload to Baker82 Mon, 13 Jun 2016 20:59:28 GMT Aaron Moss [d14d96a] * doc/working/resolver_design.md (modified) Update resolver design with draft of architecture Wed, 08 Jun 2016 21:15:27 GMT Aaron Moss [03ccadd] * doc/bibliography/cfa.bib (modified) * doc/papers/Baker82.pdf (added) * doc/papers/Bilson.pdf (added) * doc/papers/Bilson03.pdf (added) * doc/papers/Cormack81.pdf (added) * doc/papers/Ditchfield92.pdf (added) * doc/papers/Grossman06.pdf (added) * doc/papers/matrix.pdf (deleted) * doc/papers/meta.pdf (deleted) Update papers directory Mon, 06 Jun 2016 22:31:42 GMT Aaron Moss [d5f1cfc] * doc/working/resolver_design.md (modified) Update design of reference types