# # ChangeLog for doc/aaron_comp_II # # Generated by Trac 1.2.1 # Nov 1, 2024, 3:15:06 AM 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 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 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 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 ... 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