# # ChangeLog for src/SynTree # # Generated by Trac 1.2.1 # Apr 28, 2024, 1:25:51 AM 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, 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:53:03 GMT Peter A. Buhr [e04ef3a] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/utility.h (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/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) add gcc __extension__, first attempt, not done yet Tue, 07 Jun 2016 19:59:15 GMT Rob Schluntz [a436947] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Attribute.h (modified) change type of enumerator to EnumInstType, allow casting between ... Tue, 07 Jun 2016 15:30:54 GMT Rob Schluntz [db175c8] * src/SynTree/Attribute.cc (added) * src/SynTree/Attribute.h (added) missing files for Attributes Mon, 06 Jun 2016 21:46:09 GMT Rob Schluntz [7baed7d] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Makefile.in (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/module.mk (modified) generalize notion of a GCC attribute Wed, 01 Jun 2016 15:54:23 GMT Rob Schluntz [f1b1e4c] * src/ArgTweak/FunctionFixer.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/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.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) can construct global const objects, except with intrinsic constructors Mon, 30 May 2016 16:51:22 GMT Rob Schluntz [70f89d00] * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) function scoped const objects can be constructed, add missing copy ... Fri, 27 May 2016 18:38:19 GMT Rob Schluntz [4a8c875] * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SynTree/TypeSubstitution.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 27 May 2016 18:38:13 GMT Rob Schluntz [9554d9b] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) elide copy constructor calls in polymorphic code Fri, 27 May 2016 00:12:56 GMT Aaron Moss [084184b] * src/SynTree/TypeSubstitution.cc (modified) Add recursive lookup for TypeInstType to TypeSubstitution Fri, 13 May 2016 17:28:17 GMT Rob Schluntz [d668182] * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) Merge branch 'fix-tree-printing' into ctor Conflicts: ... Fri, 13 May 2016 17:22:24 GMT Rob Schluntz [bb8ea30] * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) fix printing for ArrayType, Expression, Initializer, etc. 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:37 GMT Aaron Moss [af18713] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixGlobalInit.cc (added) * src/InitTweak/FixGlobalInit.h (added) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/driver/cc1.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Fri, 06 May 2016 20:28:50 GMT Rob Schluntz [9e2c1f0] * doc/LaTeXmacros/common.tex (modified) * doc/refrat/refrat.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixGlobalInit.cc (added) * src/InitTweak/FixGlobalInit.h (added) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/driver/cc1.cc (modified) * src/examples/abstype.c (modified) * src/examples/alloc.c (modified) * src/examples/includes.c (modified) * src/main.cc (modified) Merge branch 'global-init' into ctor and add global destroy function ... Fri, 06 May 2016 19:45:23 GMT Rob Schluntz [03e5d14] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (modified) add support for constructor/destructor attribute priority and set ... Fri, 06 May 2016 17:56:08 GMT Rob Schluntz [4e24610] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) Add constructor attribute to global initializer function, don't try ... Wed, 04 May 2016 16:18:56 GMT Rob Schluntz [7cc6bd6] * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) Merge branch 'fix-tree-printing' into ctor Conflicts: ... Wed, 04 May 2016 16:17:25 GMT Rob Schluntz [9243a501] * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) fixed printing in MemberExpr, FunctionDecl, ObjectDecl, etc. Mon, 02 May 2016 19:28:16 GMT Rob Schluntz [1048b31] * 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/Cdecl.fig (added) * 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/ResolvExpr/CastCost.cc (modified) * src/SymTab/AddVisit.h (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/math.c (added) * src/examples/rational.c (added) * src/examples/rational.cc (added) * src/examples/read.c (deleted) * src/examples/swap.c (modified) * 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/math (added) * src/libcfa/math.c (added) * src/libcfa/rational (added) * src/libcfa/rational.c (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into global-init Mon, 02 May 2016 19:19:54 GMT Rob Schluntz [d7903b1] * src/Common/utility.h (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Statement.cc (modified) Merge branch 'fix-tree-printing' into ctor Conflicts: ... Mon, 02 May 2016 19:12:59 GMT Rob Schluntz [60089f4] * src/Common/utility.h (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Statement.cc (modified) fix printing in CommaExpr, CompoundStmt, ForStmt, etc. 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 18:39:49 GMT Rob Schluntz [d8ba086] * src/SymTab/Autogen.cc (modified) * src/SynTree/TypeSubstitution.h (modified) add ?{}, ^?{} implicit otype assertions to autogenerated generic type ... Wed, 27 Apr 2016 21:37:06 GMT Rob Schluntz [84bb4d9] * src/SynTree/Initializer.cc (modified) change printing in ConstructorInit Wed, 27 Apr 2016 21:16:22 GMT Rob Schluntz [4ffdd63] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) change FixCopyCtors to insert comma expressions and UntypedExpr ... Tue, 26 Apr 2016 16:58:14 GMT Rob Schluntz [668edd6b] * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) Merge branch 'fix-tree-printing' into ctor Conflicts: ... Tue, 26 Apr 2016 16:55:40 GMT Rob Schluntz [89231bc] * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) fix printing for various AST nodes, including ObjectDecl, ExprStmt, ... Tue, 26 Apr 2016 15:36:36 GMT Rob Schluntz [5382492] * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) save type substitution and apply it when creating temporary variables ... Mon, 25 Apr 2016 18:49:55 GMT Rob Schluntz [845cedc] * src/InitTweak/FixInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/SynTree/Expression.cc (modified) don't generate copy constructor calls for arguments to intrinsic ... 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 19:22:42 GMT Rob Schluntz [db4ecc5] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.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) add ImplicitCopyCtorExpr node, implicit copy constructors are ... Mon, 11 Apr 2016 22:00:22 GMT Rob Schluntz [7a69460] * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) add output operator for Initializer * Mon, 11 Apr 2016 20:56:43 GMT Rob Schluntz [f326f99] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) add integer suffix to mangled names so that shadowed variables are ... Fri, 08 Apr 2016 21:23:19 GMT Peter A. Buhr [3da470c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ScopedMap.h (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) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 08 Apr 2016 21:22:29 GMT Peter A. Buhr [630a82a] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.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/examples/rational.c (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) C99 compound literals now work, comment rational code, clean up ... 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: ... 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, 01 Apr 2016 15:47:05 GMT Rob Schluntz [1f6e009] * src/SynTree/FunctionDecl.cc (modified) set main to Cforall linkage so that it will be mangled Wed, 30 Mar 2016 19:48:55 GMT Rob Schluntz [5b2f5bb] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) choose destructor at at object declaration (CtorInit), overhaul and ... Tue, 15 Mar 2016 19:16:53 GMT Rob Schluntz [5b40f30] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) generate correct empty list initializer, ensure function return value ... Thu, 03 Mar 2016 21:50:48 GMT Rob Schluntz [620cb95] * src/InitTweak/RemoveInit.cc (modified) * src/Makefile.in (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) separate Autogen from Validate, call default ctor/dtors on array elements Thu, 03 Mar 2016 18:28:56 GMT Aaron Moss [36ebd03] * configure (modified) * configure.ac (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (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.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/Unify.cc (modified) * src/SymTab/AggregateTable.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (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/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/ctxts.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/index.h (modified) * src/examples/it_out.c (modified) * src/examples/minmax.c (modified) * src/examples/prolog.c (modified) * src/examples/quad.c (modified) * src/examples/read.c (added) * src/examples/read.data (added) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/tests/vector_test.out.txt (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/builtins.cf (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/prelude.cf (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Wed, 02 Mar 2016 23:15:02 GMT Peter A. Buhr [4040425] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.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/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/Unify.cc (modified) * src/SymTab/AggregateTable.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (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/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/array.c (modified) * src/examples/array.h (modified) * src/examples/ctxts.c (modified) * src/examples/index.h (modified) * src/examples/it_out.c (modified) * src/examples/prolog.c (modified) * src/examples/sum.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/prelude.cf (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) change keyword type to otype and context to trait Wed, 02 Mar 2016 22:13:21 GMT Peter A. Buhr [8f610e85] * src/Parser/TypeData.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/VarArgsType.cc (modified) allow qualifiers onto gcc builtin_va_list Wed, 02 Mar 2016 21:59:34 GMT Peter A. Buhr [bdad1679] * src/CodeGen/GenType.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/CodeGenVisitor.cc (deleted) * src/SynTree/CodeGenVisitor.h (deleted) * src/SynTree/Type.h (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/module.mk (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 02 Mar 2016 21:59:19 GMT Peter A. Buhr [90c3b1c] * configure (modified) * configure.ac (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (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/ConversionCost.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (modified) * src/examples/ato.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/minmax.c (modified) * src/examples/quad.c (modified) * src/examples/read.c (added) * src/examples/read.data (added) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/tests/vector_test.out.txt (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/builtins.cf (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) compile CFA with C++11, further update refrat with lstlisting macros, ... Mon, 29 Feb 2016 19:23:52 GMT Aaron Moss [540ddb7d] * src/CodeGen/GenType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/VarArgsType.cc (modified) Add qualifiers to VarArgsType Fri, 26 Feb 2016 20:59:15 GMT Aaron Moss [33e6a2cc] * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 26 Feb 2016 20:56:23 GMT Aaron Moss [d09c421] * src/Makefile.in (modified) * src/SynTree/CodeGenVisitor.cc (deleted) * src/SynTree/CodeGenVisitor.h (deleted) * src/SynTree/module.mk (modified) Remove dead code 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 Thu, 25 Feb 2016 22:14:15 GMT Rob Schluntz [ac1ed49] * 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/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/VarArgsType.cc (added) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 25 Feb 2016 22:03:36 GMT Aaron Moss [44b7088] * src/CodeGen/GenType.cc (modified) * src/Makefile.in (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/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/VarArgsType.cc (added) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Added VarArgsType for GCC __builtin_va_list var args pack Thu, 25 Feb 2016 21:45:19 GMT Rob Schluntz [3be261a] * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) added copy constructors and destructors to many types that were ... Tue, 09 Feb 2016 20:25:05 GMT Rob Schluntz [d63eeb0] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedMap.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/BasicInit.cc (modified) * src/InitTweak/DeclarationHoister.cc (modified) * src/InitTweak/InitExpander.cc (modified) * src/InitTweak/InitExpander.h (modified) * src/InitTweak/InitModel.h (modified) * src/InitTweak/RemoveInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (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/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/AssignExpand.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/Tuples/FunctionChecker.cc (modified) * src/Tuples/FunctionChecker.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (added) * src/examples/alloc.c (modified) * src/examples/array.h (modified) * src/examples/constants.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/limits.c (added) * src/examples/minmax.c (moved) * src/examples/nestedfunc.c (deleted) * src/examples/new.c (modified) * src/examples/quad.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/random.c (added) * src/examples/simple.c (deleted) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/twice.c (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bfd.h (moved) * src/libcfa/bfdlink.h (moved) * src/libcfa/demangle.h (moved) * src/libcfa/dialog.h (moved) * src/libcfa/evdns.h (moved) * src/libcfa/evhttp.h (moved) * src/libcfa/evrpc.h (moved) * src/libcfa/expat.h (moved) * src/libcfa/fcntl.h (moved) * src/libcfa/form.h (moved) * src/libcfa/fstream (moved) * src/libcfa/fstream.c (moved) * src/libcfa/gcrypt.h (moved) * src/libcfa/iostream (moved) * src/libcfa/iostream.c (moved) * src/libcfa/iterator (moved) * src/libcfa/iterator.c (moved) * src/libcfa/limits (added) * src/libcfa/math.h (moved) * src/libcfa/stdlib (added) * src/libcfa/stdlib.c (added) * src/main.cc (modified) Merge branch 'master' into ctor Conflicts: ... Tue, 02 Feb 2016 19:00:37 GMT Aaron Moss [2a4b088] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (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) Make offsetof expressions work Fri, 29 Jan 2016 21:36:46 GMT Peter A. Buhr [ae8b942] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedMap.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * 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/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.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/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 29 Jan 2016 21:36:39 GMT Peter A. Buhr [d3b7937] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/BasicInit.cc (modified) * src/InitTweak/DeclarationHoister.cc (modified) * src/InitTweak/InitExpander.cc (modified) * src/InitTweak/InitExpander.h (modified) * src/InitTweak/InitModel.h (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/AssignExpand.h (modified) * src/Tuples/FunctionChecker.cc (modified) * src/Tuples/FunctionChecker.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (added) * src/examples/alloc.c (modified) * src/examples/array.h (modified) * src/examples/constants.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/limits.c (added) * src/examples/minmax.c (moved) * src/examples/new.c (modified) * src/examples/quad.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/twice.c (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (added) * src/libcfa/algorithm.c (added) * src/libcfa/bfd.h (moved) * src/libcfa/bfdlink.h (moved) * src/libcfa/demangle.h (moved) * src/libcfa/dialog.h (moved) * src/libcfa/evdns.h (moved) * src/libcfa/evhttp.h (moved) * src/libcfa/evrpc.h (moved) * src/libcfa/expat.h (moved) * src/libcfa/fcntl.h (moved) * src/libcfa/form.h (moved) * src/libcfa/fstream (moved) * src/libcfa/fstream.c (moved) * src/libcfa/gcrypt.h (moved) * src/libcfa/iostream (moved) * src/libcfa/iostream.c (moved) * src/libcfa/iterator (moved) * src/libcfa/iterator.c (moved) * src/libcfa/limits (added) * src/libcfa/math.h (moved) * src/main.cc (modified) building runtime library (first attempt) Thu, 21 Jan 2016 21:35:33 GMT Aaron Moss [05d47278] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SynTree/Initializer.h (modified) * src/main.cc (modified) First draft of member expressions by passed offset Thu, 21 Jan 2016 18:40:07 GMT Aaron Moss [bfebb6c5] * src/SynTree/Expression.cc (modified) Switch type of {size,align,offset}of to unsigned long Tue, 19 Jan 2016 21:46:04 GMT Aaron Moss [25a054f] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * 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) Add OffsetofExpr for field offsets Wed, 13 Jan 2016 22:19:47 GMT Rob Schluntz [71f4e4f] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/FixInit.cc (added) * src/InitTweak/FixInit.h (added) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) added ConstructorInit, simple constructors and destructors work correctly Mon, 11 Jan 2016 19:48:05 GMT Rob Schluntz [974906e2] * src/GenPoly/Box.cc (modified) * src/InitTweak/InitModel.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/ObjectDecl.cc (modified) propagate maybeConstructed flag through system, begin create ... Fri, 18 Dec 2015 19:56:11 GMT Rob Schluntz [ae63a18] * configure (modified) * configure.ac (modified) * doc/refrat/refrat.tex (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/Makefile.in (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/tests/log.txt (deleted) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) resolving conflicts Fri, 18 Dec 2015 19:43:06 GMT Rob Schluntz [baf7fee] * src/GenPoly/PolyMutator.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) added output operators for AST types, made makeTyVars public in ... Tue, 15 Dec 2015 21:14:01 GMT Peter A. Buhr [4389966] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.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) * src/examples/tests/log.txt (deleted) fix comment Tue, 15 Dec 2015 21:09:13 GMT Peter A. Buhr [cf16f94] * doc/refrat/refrat.tex (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/vector_test.c (modified) create temporary return variable for return expressions, remove ... Fri, 04 Dec 2015 19:55:22 GMT Aaron Moss [47534159] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (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) Added support for alignof expressions for everything but polymorphic ... Fri, 20 Nov 2015 21:44:27 GMT Rob Schluntz [5189888] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/iterator.c (modified) * src/examples/iterator.h (modified) * src/examples/vector_test.c (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Conflicts: ... Fri, 20 Nov 2015 21:19:13 GMT Peter A. Buhr [839ccbb] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/examples/Makefile.am (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 20 Nov 2015 17:27:34 GMT Rob Schluntz [66a2a61] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Fri, 20 Nov 2015 17:27:01 GMT Aaron Moss [ed94eac] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) Fixed bug with get_baseParameters() Fri, 20 Nov 2015 15:32:05 GMT Rob Schluntz [63afee0] * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Wed, 18 Nov 2015 18:05:30 GMT Rob Schluntz [4673385] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Tue, 10 Nov 2015 21:15:48 GMT Aaron Moss [37a3b8f9] * src/Parser/TypeData.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) First code generation for generic types (incorrect) Wed, 28 Oct 2015 19:47:29 GMT Aaron Moss [d2ded3e7] * .gitignore (modified) * doc/TeX/cfa.sty (deleted) * doc/man/README (deleted) * doc/man/cfa.1 (deleted) * doc/refrat/Makefile (added) * doc/refrat/indexstyle (added) * doc/refrat/predefined.sed (added) * doc/refrat/refrat.bib (added) * doc/refrat/refrat.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/Specialize.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.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/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/driver/cfa.cc (modified) * src/examples/alloc.c (added) * src/examples/asm.c (added) * src/examples/constructors.c (added) * src/examples/control_structures.c (modified) * src/examples/nestedfunc.c (added) * src/examples/poly-bench.c (added) * src/examples/sum.c (modified) Merge changes into current branch Wed, 28 Oct 2015 19:40:28 GMT Aaron Moss [f6835e5] * src/SynTree/Type.h (modified) Removed restrict qualifier from type comparisons Wed, 07 Oct 2015 16:38:48 GMT Rob Schluntz [1cbca6e] * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ObjectDecl.cc (modified) check length, etc. in unification of arrays, switch typedef equality ... Tue, 22 Sep 2015 18:09:26 GMT Rob Schluntz [d0d9610] * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) fixed copy error in Expression Wed, 12 Aug 2015 18:24:56 GMT Rob Schluntz [d58ebf3] * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) some print reformatting Thu, 30 Jul 2015 19:56:18 GMT Peter A. Buhr [7f5566b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (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/main.cc (modified) asm statement, memory leaks Thu, 16 Jul 2015 21:28:24 GMT Peter A. Buhr [1db21619] * src/CodeGen/GenType.cc (modified) * src/Parser/DeclarationNode.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/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) add __CFA__ flag, remove -p from cc1, typedef on functions become ... Wed, 15 Jul 2015 20:47:48 GMT Rob Schluntz [724c2b6] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) * src/main.cc (modified) Merge branch 'resolver' Wed, 15 Jul 2015 18:59:57 GMT Rob Schluntz [145f1fc] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) modified ForStmt to have a list of statements for the initialization ... Thu, 09 Jul 2015 19:07:22 GMT Aaron Moss [82dd287] * src/CodeGen/FixNames.h (modified) * src/CodeGen/Generate.h (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/Specialize.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/TypeSubstitution.h (modified) Doc comments Fri, 03 Jul 2015 22:08:20 GMT Peter A. Buhr [2871210] * include/bfd.h (modified) * include/bfdlink.h (added) * include/demangle.h (added) * include/dialog.h (added) * include/evdns.h (added) * include/evhttp.h (added) * include/evrpc.h (added) * include/expat.h (added) * include/fcntl.h (added) * include/form.h (added) * include/gcrypt.h (added) * include/math.h (modified) * src/Common/utility.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Statement.cc (modified) * src/Tests/LabelledExit.c (modified) * src/main.cc (modified) include file with keywords, fix type of label address expressions, ... Sat, 27 Jun 2015 03:48:17 GMT Peter A. Buhr [721f17a] * src/CodeGen/CodeGenerator.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Type.h (modified) * src/examples/includes.c (modified) fix OT_LABELADDRESS warning, parse genric types Wed, 24 Jun 2015 20:12:31 GMT Rob Schluntz [94e0864d] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (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/TypedefTable.cc (modified) * src/Parser/TypedefTable.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/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge branch 'master' into resolver Conflicts: ... Wed, 24 Jun 2015 20:04:19 GMT Peter A. Buhr [de62360d] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (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/TypedefTable.cc (modified) * src/Parser/TypedefTable.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/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) fix computed goto, fixed -std=, implicit typedefs for enum and ... Mon, 15 Jun 2015 16:45:26 GMT Rob Schluntz [b5b0907] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (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/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/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tests/Attributes.c (modified) * src/Tests/Expect-a/AsmName.txt (modified) * src/Tests/Expect-a/Attributes.txt (modified) * src/Tests/Expect-a/Context.txt (modified) * src/Tests/Expect-a/Functions.txt (modified) * src/Tests/Expect-a/TypeGenerator.txt (modified) * src/Tests/Expect-e/AsmName.txt (modified) * src/Tests/Expect-e/Attributes.txt (modified) * src/Tests/Expect-e/Context.txt (modified) * src/Tests/Expect-e/Function.txt (modified) * src/Tests/Expect-e/TypeGenerator.txt (modified) * src/Tests/Expect-e/report (deleted) * src/Tests/Expect-f/Attributes.txt (modified) * src/Tests/Expect-f/TypeGenerator.txt (modified) * src/Tests/Expect-f/report (deleted) * src/Tests/Expect-r/Attributes.txt (modified) * src/Tests/Expect-r/Function.txt (modified) * src/Tests/Expect-r/TypeGenerator.txt (modified) * src/Tests/Expect-r/report (deleted) * src/Tests/Expect-s/Attributes.txt (modified) * src/Tests/Expect-s/TypeGenerator.txt (modified) * src/Tests/Expect-s/report (deleted) * src/Tests/Expect-v/AsmName.txt (modified) * src/Tests/Expect-v/Attributes.txt (modified) * src/Tests/Expect-v/Context.txt (modified) * src/Tests/Expect-v/Functions.txt (modified) * src/Tests/Expect-v/TypeGenerator.txt (modified) * src/Tests/TypeGenerator.c (modified) * src/Tuples/AssignExpand.cc (modified) * src/Tuples/FunctionChecker.cc (modified) * src/attr-ex (deleted) * src/main.cc (modified) Merge branch 'master' into resolver Conflicts: ... Sat, 13 Jun 2015 12:30:25 GMT Peter A. Buhr [68cd1ce] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (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/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/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tests/Attributes.c (modified) * src/Tests/Expect-a/AsmName.txt (modified) * src/Tests/Expect-a/Attributes.txt (modified) * src/Tests/Expect-a/Context.txt (modified) * src/Tests/Expect-a/Functions.txt (modified) * src/Tests/Expect-a/TypeGenerator.txt (modified) * src/Tests/Expect-e/AsmName.txt (modified) * src/Tests/Expect-e/Attributes.txt (modified) * src/Tests/Expect-e/Context.txt (modified) * src/Tests/Expect-e/Function.txt (modified) * src/Tests/Expect-e/TypeGenerator.txt (modified) * src/Tests/Expect-e/report (modified) * src/Tests/Expect-f/Attributes.txt (modified) * src/Tests/Expect-f/TypeGenerator.txt (modified) * src/Tests/Expect-r/Attributes.txt (modified) * src/Tests/Expect-r/Function.txt (modified) * src/Tests/Expect-r/TypeGenerator.txt (modified) * src/Tests/Expect-r/report (modified) * src/Tests/Expect-s/Attributes.txt (modified) * src/Tests/Expect-s/TypeGenerator.txt (modified) * src/Tests/Expect-v/AsmName.txt (modified) * src/Tests/Expect-v/Attributes.txt (modified) * src/Tests/Expect-v/Context.txt (modified) * src/Tests/Expect-v/Functions.txt (modified) * src/Tests/Expect-v/TypeGenerator.txt (modified) * src/Tests/TypeGenerator.c (modified) * src/Tuples/AssignExpand.cc (modified) * src/Tuples/FunctionChecker.cc (modified) * src/attr-ex (deleted) * src/main.cc (modified) unify and fix storage class Thu, 11 Jun 2015 17:38:57 GMT Rob Schluntz [ea9b9d3] * src/Parser/ExpressionNode.cc (modified) * src/SynTree/Constant.cc (modified) fix dimension of string literals, reformat Constant AST node output ... Tue, 09 Jun 2015 00:56:35 GMT Peter A. Buhr [5f2f2d7] * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/UniqueName.cc (modified) * src/Common/utility.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.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.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/Tests/ResolvExpr/Abstype.c (modified) * src/Tests/ResolvExpr/make-rules (modified) * src/Tests/ResolvExpr/run-tests.sh (modified) * src/Tests/SynTree/Expected-SymTab/Array.tst (modified) * src/Tests/SynTree/Expected-SymTab/Context.tst (modified) * src/Tests/SynTree/Expected-SymTab/Enum.tst (modified) * src/Tests/SynTree/Expected-SymTab/Forall.tst (modified) * src/Tests/SynTree/Expected-SymTab/Scope.tst (modified) * src/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (modified) * src/Tests/SynTree/Expected-SymTab/Tuple.tst (modified) * src/Tests/SynTree/Expected/Array.tst (modified) * src/Tests/SynTree/Expected/Constant0-1.tst (modified) * src/Tests/SynTree/Expected/Context.tst (modified) * src/Tests/SynTree/Expected/DeclarationSpecifier.tst (modified) * src/Tests/SynTree/Expected/Enum.tst (modified) * src/Tests/SynTree/Expected/Forall.tst (modified) * src/Tests/SynTree/Expected/Functions.tst (modified) * src/Tests/SynTree/Expected/IdentFuncDeclarator.tst (modified) * src/Tests/SynTree/Expected/Initialization.tst (modified) * src/Tests/SynTree/Expected/Scope.tst (modified) * src/Tests/SynTree/Expected/StructMember.tst (modified) * src/Tests/SynTree/Expected/Tuple.tst (modified) * src/Tests/SynTree/Expected/TypeGenerator.tst (modified) * src/Tests/SynTree/Expected/Typedef.tst (modified) * src/Tests/SynTree/Expected/TypedefDeclarator.tst (modified) * src/Tests/SynTree/Expected/TypedefParamDeclarator.tst (modified) * src/Tests/SynTree/Expected/VariableDeclarator.tst (modified) * src/Tests/SynTree/make-rules (modified) * src/Tests/SynTree/run-tests.sh (modified) * src/Tuples/MultRet.cc (modified) * src/examples/constants.c (modified) * src/examples/includes.c (modified) * src/main.cc (modified) fix constant types, remove unnecessary string copying, work on ... Sun, 07 Jun 2015 11:59:43 GMT Peter A. Buhr [cd623a4] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/SynTree/Expression.cc (modified) constant types, second attempt Sun, 07 Jun 2015 03:38:58 GMT Peter A. Buhr [59db689] * 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/lex.cc (modified) * src/Parser/lex.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/examples/constants.c (modified) constant types, first attempt Fri, 05 Jun 2015 12:12:32 GMT Peter A. Buhr [44b5ca0] * src/Parser/ExpressionNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Statement.cc (modified) * src/Tests/SynTree/make-rules (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) remove all carriage returns from printing, work on regression testing