# # ChangeLog for src/GenPoly # # Generated by Trac 1.2.1 # Apr 28, 2024, 2:09:45 PM Sat, 04 Mar 2017 03:12:02 GMT Peter A. Buhr [dd020c0] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.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.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.h (modified) first attempt to create function specifiers Thu, 16 Feb 2017 20:36:45 GMT Peter A. Buhr [3a5131ed] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/core (added) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/.expect/KRfunctions.txt (added) * src/tests/KRfunctions.c (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) handle KR function declarations Tue, 14 Feb 2017 20:58:01 GMT Thierry Delisle [35cd219] * src/CodeTools/DeclStats.cc (modified) * src/Common/ScopedMap.h (modified) * src/Common/VectorMap.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 14 Feb 2017 20:53:52 GMT Thierry Delisle [138e29e] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Implemented filename and linenumber errors in most cases, only ... Tue, 14 Feb 2017 18:53:29 GMT Aaron Moss [e58dfb9] * src/Common/ScopedMap.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Fix scoping bug with generic type instantiations (thanks Rob!) Fri, 03 Feb 2017 21:02:13 GMT Rob Schluntz [064cb18] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Mangler.cc (modified) Fixed code gen for default argument functions Mon, 23 Jan 2017 21:27:33 GMT Aaron Moss [0bfaf80] * src/GenPoly/InstantiateGeneric.cc (modified) Generic instantiation accounts for sized dtypes Wed, 18 Jan 2017 17:47:15 GMT Rob Schluntz [5ebb2fbc] * doc/proposals/concurrency/thePlan.md (added) * src/CodeGen/FixMain.cc (added) * src/CodeGen/FixMain.h (added) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/Makefile.in (modified) * src/SynTree/FunctionDecl.cc (modified) * src/examples/thread.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutines (added) * src/libcfa/concurrency/coroutines.c (added) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (added) * src/libcfa/concurrency/kernel.c (added) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/bootloader.cf (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/coroutine.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 17 Jan 2017 20:43:50 GMT Thierry Delisle [7350ff97] * src/GenPoly/GenPoly.cc (modified) Moved assert(... && ...) to assertf(...), this particular asserts ... Mon, 16 Jan 2017 20:29:18 GMT Rob Schluntz [f3b0a07] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Unify.cc (modified) allow ttypes contained in tuple types to unify, refactor and simplify ... Wed, 11 Jan 2017 21:23:51 GMT Thierry Delisle [075734f] * src/GenPoly/InstantiateGeneric.cc (modified) Removed 2 clang warnings Wed, 11 Jan 2017 20:29:33 GMT Rob Schluntz [dd0c97b] * src/GenPoly/Box.cc (modified) * src/tests/.expect/tupleVariadic.txt (modified) * src/tests/tupleVariadic.c (modified) prevent generic parameters from polluting the outer scope in Box Pass2 Thu, 05 Jan 2017 20:47:36 GMT Rob Schluntz [6c3a988f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) fix inferred parameter data structures to correctly associate ... Thu, 22 Dec 2016 21:07:58 GMT Rob Schluntz [4c8621ac] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) allow construction, destruction, and assignment for empty tuples, ... Wed, 21 Dec 2016 22:15:27 GMT Rob Schluntz [64eae56] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/tests/tupleVariadic.c (modified) match formal parameter type of actual function when specializing ... Wed, 21 Dec 2016 21:15:47 GMT Rob Schluntz [b940dc71] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) replace type variables in InstantiateGeneric, fix call passTypeVars ... Wed, 21 Dec 2016 20:12:19 GMT Rob Schluntz [626dbc10] * src/GenPoly/Specialize.cc (modified) * src/main.cc (modified) major refactoring of specialization code, added code to generate ... Wed, 21 Dec 2016 19:54:31 GMT Rob Schluntz [8bf784a] * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) name mangling for ttype, fix SynTree operator<< to work with nullptr, ... Fri, 16 Dec 2016 17:42:02 GMT Rob Schluntz [8f60f0b] * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.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/SynTree/Declaration.h (modified) add support for ttype in the parser Thu, 15 Dec 2016 21:16:52 GMT Rob Schluntz [5802a4f] * src/GenPoly/Box.cc (modified) remove assignment to polymorphic return values in Box Wed, 14 Dec 2016 19:10:42 GMT Rob Schluntz [1aa4b71] * src/GenPoly/GenPoly.cc (modified) added case for ConditionalExpr in getBaseVar Tue, 13 Dec 2016 23:42:39 GMT Rob Schluntz [cce9429] * src/GenPoly/Box.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) fix function return type in Validate and add single return decl, ... Tue, 13 Dec 2016 21:13:08 GMT Rob Schluntz [fc638d2] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/VarExprReplacer.cc (modified) fixed StmtExpr code in PolyMutator, added missing copy constructor, ... Fri, 25 Nov 2016 23:11:03 GMT Rob Schluntz [2c57025] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/libcfa/prelude.cf (modified) * src/tests/.expect/completeTypeError.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/completeTypeError.c (added) add support for built-in sized trait which decouples size/alignment ... Wed, 16 Nov 2016 21:37:50 GMT Rob Schluntz [d9fa60a] * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Expression.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) * src/tests/tupleFunction.c (modified) moved substituion into MemberExpr constructor, change generated tuple ... Tue, 15 Nov 2016 22:30:52 GMT Rob Schluntz [33a7b6d] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/tests/.expect/simpleGenericTriple.txt (added) * src/tests/simpleGenericTriple.c (added) * src/tests/tupleAssign.c (modified) * src/tests/tupleFunction.c (modified) * src/tests/tupleMember.c (modified) changed use of formal types to actual types for boxing return ... Wed, 09 Nov 2016 19:51:42 GMT Rob Schluntz [b726084] * .gitignore (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (added) * doc/proposals/concurrency/version (modified) * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) * src/ControlStruct/LabelFixer.h (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/AlternativeFinder.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/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/main.cc (modified) * src/tests/Makefile.in (modified) * version (deleted) Merge branch 'master' into tuples Conflicts: ... Wed, 09 Nov 2016 19:05:09 GMT Rob Schluntz [b3b2077] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) refactor some code that generates dereference and assignment calls Tue, 08 Nov 2016 21:09:58 GMT Rob Schluntz [b6fd751] * src/GenPoly/Lvalue.cc (modified) added pass which generates code for GCC-like Generalized lvalues Thu, 27 Oct 2016 20:22:27 GMT Thierry Delisle [62e5546] * 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/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) Removed warnings when compiling with clang Mon, 19 Sep 2016 20:39:33 GMT Rob Schluntz [8c49c0e] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) decouple code that uses Type's forall list from std::list in ... Thu, 15 Sep 2016 14:17:16 GMT Rob Schluntz [906e24d] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelTypeChecker.cc (deleted) * src/ControlStruct/LabelTypeChecker.h (deleted) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) replace results list on Expressions with a single Type field Wed, 07 Sep 2016 13:30:25 GMT Thierry Delisle [5fda714] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/ctorWarnings.txt (deleted) * src/tests/.expect/memberCtors-ERR1.txt (added) * src/tests/.expect/memberCtors.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/ctorWarnings.c (deleted) * src/tests/memberCtors.c (added) * src/tests/typeof.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Mon, 05 Sep 2016 13:49:53 GMT Rob Schluntz [dcd73d1] * src/GenPoly/PolyMutator.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) add error checking for managed object's initializer depth Sun, 04 Sep 2016 19:25:32 GMT Rob Schluntz [1ba88a0] * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) implement implicit ctor/dtor deletion, track managed types when ... Wed, 31 Aug 2016 15:20:03 GMT Thierry Delisle [e491159] * src/Common/ScopedMap.h (added) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScopedMap.h (deleted) * src/SymTab/Validate.cc (modified) Moved ScopedMap to Common folder Mon, 29 Aug 2016 16:20:45 GMT Thierry Delisle [46f6134] * src/GenPoly/ScopedMap.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/main.cc (modified) Implemented owning scoped map for typedef elimination phase Wed, 10 Aug 2016 18:29:40 GMT Aaron Moss [f18a711] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Fix bug in replacing dtype-only generics with stripped versions Mon, 08 Aug 2016 19:44:56 GMT Aaron Moss [3bb195cb] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/SymTab/Autogen.cc (modified) Dtypes now erased on dtype-only generic types, tests pass, build ... 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 Thu, 04 Aug 2016 23:39:46 GMT Aaron Moss [ea5daeb] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Move generic instantiation earlier Thu, 04 Aug 2016 20:11:11 GMT Rob Schluntz [4819cac] * src/CodeGen/CodeGenerator.cc (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/PolyMutator.cc (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.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/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/tests/switch.c (modified) Merge branch 'master' into ctor Conflicts: ... Thu, 04 Aug 2016 16:30:01 GMT Peter A. Buhr [76e8c55] * src/GenPoly/Box.cc (modified) * src/SymTab/Validate.cc (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) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 04 Aug 2016 16:29:54 GMT Peter A. Buhr [8688ce1] * src/CodeGen/CodeGenerator.cc (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/PolyMutator.cc (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.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/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/tests/switch.c (modified) move case-list management into parser Wed, 03 Aug 2016 15:22:09 GMT Rob Schluntz [73bf8cf2] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/GenPoly/Box.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Merge branch 'master' into ctor Wed, 03 Aug 2016 15:21:47 GMT Rob Schluntz [9799ec8] * src/GenPoly/Box.cc (modified) fix bug where the wrong scope level is used for assertion parameters ... Mon, 25 Jul 2016 20:20:17 GMT Rob Schluntz [aedfd91] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) unused thunks are no longer generated for intrinsic function calls Tue, 19 Jul 2016 23:09:30 GMT Rob Schluntz [5f98ce5] * src/GenPoly/DeclMutator.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) hoist non-constexpr array dimension into const variable in case of ... Tue, 12 Jul 2016 22:34:10 GMT Peter A. Buhr [4e06c1e] * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.cc (deleted) * src/ControlStruct/ChooseMutator.h (deleted) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (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/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.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/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/includes.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/tests/switch.c (modified) changes for switch and choose statements Thu, 30 Jun 2016 17:47:52 GMT Peter A. Buhr [ca35c51] * src/ControlStruct/CaseRangeMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Constant.h (modified) move implementation of ConstantNode to ConstantExpr Mon, 27 Jun 2016 19:43:10 GMT Rob Schluntz [4d3ca1d8] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Statement.cc (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Merge branch 'master' into ctor Thu, 23 Jun 2016 19:46:10 GMT Aaron Moss [c2ad3c9] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) fix explicit cast error for returning polymorphic types, also ... Thu, 23 Jun 2016 16:23:00 GMT Rob Schluntz [f1ee72e] * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * 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) * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.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/examples/poly-bench.c (moved) * src/tests/.expect/Array.txt (added) * src/tests/.expect/AsmName.txt (added) * src/tests/.expect/Cast.txt (added) * src/tests/.expect/CastError.txt (added) * src/tests/.expect/Constant0-1.txt (added) * src/tests/.expect/Constant0-1DP.txt (added) * src/tests/.expect/Constant0-1ND.txt (added) * src/tests/.expect/Constant0-1NDDP.txt (added) * src/tests/.expect/DeclarationErrors.txt (added) * src/tests/.expect/DeclarationSpecifier.txt (added) * src/tests/.expect/Enum.txt (added) * src/tests/.expect/Expression.txt (added) * src/tests/.expect/GccExtensions.txt (added) * src/tests/.expect/IdentFuncDeclarator.txt (added) * src/tests/.expect/IdentFuncParamDeclarator.txt (added) * src/tests/.expect/LabelledExit.txt (added) * src/tests/.expect/NumericConstants.txt (added) * src/tests/.expect/Operators.txt (added) * src/tests/.expect/ScopeErrors.txt (added) * src/tests/.expect/ShortCircuit.txt (added) * src/tests/.expect/Switch.txt (added) * src/tests/.expect/Typeof.txt (added) * src/tests/.expect/VariableDeclarator.txt (added) * src/tests/.expect/abs.txt (modified) * src/tests/.expect/ato.txt (added) * src/tests/.expect/io.txt (added) * src/tests/.expect/limits.txt (added) * src/tests/.expect/math.txt (added) * src/tests/.expect/minmax.txt (modified) * src/tests/.expect/swap.txt (added) * src/tests/Cast.c (modified) * src/tests/CommentMisc.c (modified) * src/tests/Constant0-1.c (modified) * src/tests/Context.c (modified) * src/tests/Enum.c (modified) * src/tests/Exception.c (modified) * src/tests/Expression.c (modified) * src/tests/Forall.c (modified) * src/tests/GccExtensions.c (modified) * src/tests/IdentFuncDeclarator.c (modified) * src/tests/IdentFuncParamDeclarator.c (modified) * src/tests/LabelledExit.c (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/NumericConstants.c (modified) * src/tests/OccursError.c (modified) * src/tests/Operators.c (modified) * src/tests/Scope.c (modified) * src/tests/ShortCircuit.c (modified) * src/tests/Statement.c (deleted) * src/tests/StructMember.c (modified) * src/tests/Subrange.c (modified) * src/tests/Switch.c (modified) * src/tests/Tuples.c (moved) * src/tests/Typedef.c (modified) * src/tests/Typeof.c (modified) * src/tests/limits.c (modified) * src/tests/runTests.sh (deleted) * src/tests/test.py (modified) Merge branch 'master' into ctor Tue, 21 Jun 2016 16:11:32 GMT Aaron Moss [f6d4204] * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Small bugfix for ScopedSet/Map iterators Thu, 16 Jun 2016 16:24:39 GMT Rob Schluntz [0f8e4ac] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) change Label from a string typedef to a class Tue, 07 Jun 2016 15:22:59 GMT Rob Schluntz [64a32c6] * src/GenPoly/Specialize.cc (modified) add unused attribute to thunks to eliminate warnings Fri, 03 Jun 2016 18:02:29 GMT Rob Schluntz [10a7775] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) can use intrinsic constructors on const objects Wed, 01 Jun 2016 21:58:15 GMT Rob Schluntz [83de11e] * src/GenPoly/GenPoly.cc (modified) * src/SymTab/Validate.cc (modified) fix invalid use of lists that caused a crash in gcc versions larger ... Fri, 27 May 2016 00:54:33 GMT Aaron Moss [e24955a] * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Fixed infinite loops in GenPoly Wed, 25 May 2016 17:42:24 GMT Rob Schluntz [d9f1b2d] * src/GenPoly/GenPoly.cc (modified) handle MemberExpr in getBaseVar Fri, 13 May 2016 18:55:44 GMT Rob Schluntz [189243c] * src/GenPoly/Box.cc (modified) Merge branch 'master' into ctor Conflicts: src/GenPoly/Box.cc Fri, 13 May 2016 18:49:38 GMT Rob Schluntz [cc3528f] * src/GenPoly/Box.cc (modified) Added a few comments to Box.cc Thu, 12 May 2016 17:19:59 GMT Rob Schluntz [fb24492] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Merge branch 'master' into ctor Conflicts: ... Wed, 11 May 2016 17:09:33 GMT Aaron Moss [cb4c607] * src/GenPoly/Box.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Refactor Constant::from to disambiguate type Wed, 04 May 2016 15:07:41 GMT Rob Schluntz [2e3a379] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) Change cloneAndRename to clone all assertion parameters rather than ... Mon, 02 May 2016 19:09:08 GMT Rob Schluntz [540de412] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.h (modified) 'merge' type substitutions from resolved copy constructors, add case ... Fri, 29 Apr 2016 16:26:50 GMT Rob Schluntz [fea7ca7] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/main.cc (modified) Account for lvalue returning functions in FixCopyCtor, removed ... Fri, 22 Apr 2016 14:33:19 GMT Rob Schluntz [dc2e7e0] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) add ImplicitCopyCtorExpr returnDecls to Visitor, Mutator, print Thu, 14 Apr 2016 20:13:10 GMT Rob Schluntz [70a06f6] * doc/LaTeXmacros/common.tex (added) * doc/LaTeXmacros/indexstyle (moved) * doc/bibliography/cfa.bib (added) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (modified) * doc/user/indexstyle (deleted) * doc/user/user.bib (deleted) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (added) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/driver/cfa.cc (modified) * src/examples/io.c (added) * src/examples/io.data (moved) * src/examples/rational.c (added) * src/examples/rational.cc (added) * src/examples/read.c (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/limits (modified) * src/libcfa/limits.c (added) * src/libcfa/rational (added) * src/libcfa/rational.c (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor Conflicts: ... Thu, 14 Apr 2016 17:24:16 GMT Aaron Moss [baba5d8] * src/GenPoly/Lvalue.cc (modified) Fix lvalue casts to not break batchtest Wed, 13 Apr 2016 21:53:06 GMT Aaron Moss [02af22de] * src/GenPoly/Lvalue.cc (modified) back out build-breaking change Wed, 13 Apr 2016 21:40:28 GMT Aaron Moss [02ad3f5] * src/GenPoly/Lvalue.cc (modified) Fix bug returning lvalue polymorphic type Wed, 13 Apr 2016 19:02:30 GMT Aaron Moss [aa19ccf] * src/GenPoly/Box.cc (modified) Box no longer marks generic type layouts calculated past scope of ... Tue, 12 Apr 2016 18:30:22 GMT Aaron Moss [4b8f918] * src/GenPoly/Box.cc (modified) Fix modularization for generic types, so that caller is only required ... Mon, 11 Apr 2016 20:41:22 GMT Aaron Moss [5ba653c] * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Fix latent empty-scope iteration bug in ScopedMap/Set Mon, 11 Apr 2016 19:29:19 GMT Aaron Moss [6f49cdf] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) Switch uses of TyVarMap over to begin/endScope() Mon, 11 Apr 2016 19:22:36 GMT Aaron Moss [bfae637] * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (added) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) Initial compiling build with TyVarMap as ErasableScopedMap Fri, 08 Apr 2016 19:49:19 GMT Aaron Moss [63c0dbf] * src/GenPoly/Box.cc (modified) Made Pass1::assignOps a ScopedMap Fri, 08 Apr 2016 18:43:20 GMT Aaron Moss [adc6781] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) Remove unnecessarily duplicated name-mangling passes in Box Fri, 08 Apr 2016 14:38:28 GMT Aaron Moss [8a34677] * src/GenPoly/Box.cc (modified) Move layout function generation into renamed MemberExprFixer pass Wed, 06 Apr 2016 21:13:09 GMT Aaron Moss [bc1ab61] * src/GenPoly/Box.cc (modified) Clean up previous fix to comma expression boxing Wed, 06 Apr 2016 21:11:32 GMT Rob Schluntz [a5a71d0] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (added) * doc/user/indexstyle (added) * doc/user/user.bib (added) * doc/user/user.tex (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/InstantiateGeneric.h (deleted) * src/GenPoly/module.mk (modified) * src/InitTweak/RemoveInit.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/Parser.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/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/AggregateTable.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/IdTable.cc (deleted) * src/SymTab/IdTable.h (deleted) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/StackTable.cc (deleted) * src/SymTab/StackTable.h (deleted) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeTable.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/CodeGenVisitor.cc (deleted) * src/SynTree/CodeGenVisitor.h (deleted) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (modified) * src/examples/array.c (modified) * src/examples/array.h (modified) * src/examples/ato.c (modified) * src/examples/constants.c (modified) * src/examples/ctxts.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/huge.c (modified) * src/examples/identity.c (modified) * src/examples/includes.c (modified) * src/examples/index.h (modified) * src/examples/it_out.c (modified) * src/examples/limits.c (modified) * src/examples/minmax.c (modified) * src/examples/new.c (modified) * src/examples/prolog.c (modified) * src/examples/quad.c (modified) * src/examples/random.c (modified) * src/examples/read.c (added) * src/examples/read.data (added) * src/examples/searchsort.c (modified) * src/examples/simplePoly.c (modified) * src/examples/simpler.c (modified) * src/examples/specialize.c (modified) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/tests/vector_test.out.txt (modified) * src/examples/twice.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bfd.h (deleted) * src/libcfa/bfdlink.h (deleted) * src/libcfa/builtins.cf (modified) * src/libcfa/demangle.h (deleted) * src/libcfa/dialog.h (deleted) * src/libcfa/evdns.h (deleted) * src/libcfa/evhttp.h (deleted) * src/libcfa/evrpc.h (deleted) * src/libcfa/fcntl.h (deleted) * src/libcfa/form.h (deleted) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/gcrypt.h (deleted) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/math.h (deleted) * src/libcfa/prelude.cf (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'fix-memory-error' into ctor Conflicts: ... Wed, 06 Apr 2016 21:03:29 GMT Aaron Moss [b3ab8f0] * src/GenPoly/Box.cc (modified) Fix boxing error on comma expressions Wed, 06 Apr 2016 19:53:44 GMT Aaron Moss [2a76297] * src/GenPoly/Box.cc (modified) Fixed duplicate generation of offset arrays Wed, 06 Apr 2016 19:09:26 GMT Aaron Moss [ae7014e] * src/GenPoly/Box.cc (modified) Fix bug that forgets to add dtype mappings to assign op expression Tue, 05 Apr 2016 20:54:48 GMT Aaron Moss [d75038c] * src/GenPoly/Box.cc (modified) Fix segfault bug introduced in layout function code Tue, 05 Apr 2016 19:31:09 GMT Aaron Moss [afc1045] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ScopedSet.h (added) * src/InitTweak/InitModel.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) Hoist OffsetPackExpr to top level expression Fri, 18 Mar 2016 22:09:23 GMT Rob Schluntz [6943f051] * src/CodeGen/OperatorTable.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/Parser/TypeData.cc (modified) fix implicit type assertion ordering - assignment must come first Thu, 10 Mar 2016 21:56:53 GMT Aaron Moss [89173242] * src/GenPoly/Box.cc (modified) Added first draft of use of layout functions Wed, 09 Mar 2016 20:11:25 GMT Aaron Moss [0531b5d] * src/GenPoly/Box.cc (modified) * src/GenPoly/ScopedMap.h (modified) Fixed ScopedMap's const find, refactored InstantionMap to use ScopedMap Wed, 09 Mar 2016 17:30:14 GMT Aaron Moss [d1caa6c] * src/GenPoly/Box.cc (modified) Refactor ConcreteType, InstantiationMap to be more generically useful Wed, 09 Mar 2016 15:37:29 GMT Aaron Moss [ac633d0] * src/GenPoly/Box.cc (modified) Strip some dead code from Box.cc Tue, 08 Mar 2016 15:32:47 GMT Aaron Moss [4e284ea6] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/InstantiateGeneric.h (deleted) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) Move InstantiateGeneric into Box.cc to share impl details Mon, 07 Mar 2016 18:37:42 GMT Aaron Moss [6635c74] * src/GenPoly/Box.cc (modified) Switched GenPoly::Pass1.adapters over to non-copying ScopedMap from ... Mon, 07 Mar 2016 18:25:48 GMT Aaron Moss [2e60a1a] * src/GenPoly/Box.cc (modified) Fix parameter names for layout functions Thu, 03 Mar 2016 20:59:25 GMT Aaron Moss [bd91e2a] * src/GenPoly/Box.cc (modified) Properly clone types in layout function generation Thu, 03 Mar 2016 18:46:51 GMT Aaron Moss [3627356] * src/GenPoly/Box.cc (modified) Fix compile-bugs in draft of layout function generation pass Thu, 03 Mar 2016 18:28:51 GMT Aaron Moss [9d7b3ea] * src/GenPoly/Box.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) First draft of layout function builders Mon, 29 Feb 2016 22:42:02 GMT Aaron Moss [dbd8652] * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) Add capability to add declarations after current one to DeclMutator Thu, 25 Feb 2016 22:16:15 GMT Rob Schluntz [c14cff1] * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.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/TypeMap.h (added) * 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/Expression.cc (modified) * src/SynTree/Expression.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.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarArgsType.cc (added) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Merge branch 'master' into ctor