# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Apr 27, 2024, 12:49:51 PM 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 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, 13 May 2016 17:18:35 GMT Rob Schluntz [7b3f66b] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/Resolver.cc (modified) Don't construct global extern variables, handle global array ... Mon, 09 May 2016 16:41:50 GMT Rob Schluntz [ec79847] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/ResolvExpr/Resolver.cc (modified) don't include global init/destroy functions if they're empty, remove ... Wed, 27 Apr 2016 21:17:36 GMT Rob Schluntz [21ae786] * src/ResolvExpr/Resolver.cc (modified) remove fallback to C style initializer if overridable constructor is ... Fri, 22 Apr 2016 17:42:36 GMT Rob Schluntz [fbfb38e] * doc/user/Cdecl.fig (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/ResolvExpr/CastCost.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/driver/cfa.cc (modified) * src/examples/io.c (modified) * src/examples/swap.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/math (added) * src/libcfa/math.c (added) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor 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 Fri, 15 Apr 2016 17:45:07 GMT Aaron Moss [9fd97126] * src/ResolvExpr/CastCost.cc (modified) Fix casts between pointer and integer types 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 ... 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 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 ... Thu, 24 Mar 2016 20:45:23 GMT Peter A. Buhr [3cfe27f] * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/libcfa/stdlib.c (modified) fix initialization of routine pointers, fix one random routine Thu, 03 Mar 2016 19:45:51 GMT Rob Schluntz [071a31a] * src/InitTweak/RemoveInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/libcfa/prelude.cf (modified) removed array ctor/dtors from prelude, generalized struct routine ... 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 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, ... 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:59:09 GMT Aaron Moss [931dd12] * src/ResolvExpr/PtrsCastable.cc (modified) Fix error in PtrsCastable's handling of enum types 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:46:11 GMT Rob Schluntz [41a2620] * src/ResolvExpr/Unify.cc (modified) changed unification constraints on array types to more closely match ... Thu, 25 Feb 2016 21:34:09 GMT Rob Schluntz [a9a259c] * src/CodeGen/CodeGenerator.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) autogenerate union ctor/dtors, autogenerate struct copy ctor, ... Wed, 24 Feb 2016 22:08:21 GMT Aaron Moss [91b8a17] * src/ResolvExpr/AlternativeFinder.cc (modified) Implement SFINAE for function resolution Tue, 23 Feb 2016 21:33:06 GMT Aaron Moss [b502055] * src/ResolvExpr/AlternativeFinder.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 23 Feb 2016 20:52:49 GMT Aaron Moss [dc12481] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/TypeMap.h (added) Modify box pass to support partially-polymorphic generic types; add ... Tue, 23 Feb 2016 16:20:39 GMT Rob Schluntz [a172972] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tests/Makefile (modified) * src/examples/abs.c (modified) * src/examples/alloc.c (modified) * src/examples/ato.c (added) * 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/quoted_keyword.c (modified) * src/examples/random.c (modified) * src/examples/searchsort.c (added) * 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/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor Conflicts: ... Tue, 23 Feb 2016 16:05:11 GMT Rob Schluntz [6ce67ce] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tests/Makefile (modified) * src/examples/abs.c (modified) * src/examples/alloc.c (modified) * src/examples/ato.c (added) * 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/quoted_keyword.c (modified) * src/examples/random.c (modified) * src/examples/searchsort.c (added) * 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/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 23 Feb 2016 16:05:01 GMT Rob Schluntz [6ed1d4b] * src/ResolvExpr/AlternativeFinder.cc (modified) changed AlternativeFinder debug output to all go to cerr Wed, 10 Feb 2016 20:57:00 GMT Peter A. Buhr [52f85e0] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/examples/sum.c (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib.c (modified) syslib updates and examples, formatting, make double 0 work 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) 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 Tue, 19 Jan 2016 18:28:25 GMT Rob Schluntz [f1e012b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/libcfa/prelude.cf (modified) * src/main.cc (modified) added intrinsic ctor/dtors to prelude, modified MakeLibCfa to build ... 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 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 ... Thu, 26 Nov 2015 20:48:04 GMT Aaron Moss [f5234f3] * src/ResolvExpr/Unify.cc (modified) Unify parameter types for generic types Wed, 25 Nov 2015 19:53:26 GMT Aaron Moss [7e23d0a] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (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/libcfa/prelude.cf (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 25 Nov 2015 19:53:22 GMT Aaron Moss [02ec390] * src/ResolvExpr/Unify.cc (modified) First attempt at properly resolving functions on generic types 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 Wed, 28 Oct 2015 19:39:05 GMT Aaron Moss [adcdd2f] * src/ResolvExpr/AlternativeFinder.cc (modified) Restored unification for side effects in cast expression resolution Wed, 07 Oct 2015 16:40:53 GMT Rob Schluntz [1521de20] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) fix segmentation fault in PtrsAssignable, fix logic error with return ... 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 ... Thu, 13 Aug 2015 18:16:15 GMT Aaron Moss [543159b] * src/ResolvExpr/CastCost.cc (modified) Fixed costs for casts between pointer and integer types Mon, 10 Aug 2015 20:46:08 GMT Aaron Moss [db4977a] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/typeops.h (modified) Fix so void* does not have common type with function pointer Fri, 07 Aug 2015 19:51:03 GMT Aaron Moss [8c84ebd] * src/ResolvExpr/AlternativeFinder.cc (modified) Doc comments Thu, 30 Jul 2015 20:08:34 GMT Rob Schluntz [f678663] * 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/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.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) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Conflicts: ... Thu, 30 Jul 2015 20:07:54 GMT Rob Schluntz [5aa708c] * src/ResolvExpr/Cost.h (modified) fix paste error in incPoly and incSafe Thu, 30 Jul 2015 19:56:42 GMT Peter A. Buhr [093f1a0] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc 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 Wed, 29 Jul 2015 16:07:38 GMT Aaron Moss [b29f8f3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.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/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/TypeEquality.cc (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/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge from origin Wed, 29 Jul 2015 16:00:29 GMT Aaron Moss [1e8f143] * src/ResolvExpr/AlternativeFinder.cc (modified) Remove erroneous unifier pass in cast conversion; fixes unsigned- ... 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:28 GMT Peter A. Buhr [0df292b] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Unify.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc 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 Fri, 26 Jun 2015 20:00:26 GMT Aaron Moss [937e51d] * .gitignore (modified) * INSTALL (modified) * Makefile.am (modified) * Makefile.in (modified) * README (modified) * aclocal.m4 (modified) * automake/compile (added) * automake/depcomp (added) * automake/install-sh (moved) * automake/missing (moved) * automake/ylwrap (added) * config.h.in (modified) * configure (modified) * configure.ac (added) * configure.in (deleted) * driver/Makefile.in (deleted) * libcfa/Makefile.in (deleted) * libcfa/builtins.def (deleted) * libcfa/prototypes.awk (deleted) * libcfa/prototypes.c (deleted) * mkinstalldirs (deleted) * src/ArgTweak/module.mk (modified) * src/CodeGen/CodeGenerator.cc (moved) * src/CodeGen/CodeGenerator.h (moved) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeGen/module.mk (modified) * src/Common/SemanticError.h (modified) * src/Common/UniqueName.cc (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ChooseMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/Designators/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (added) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/Parser.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/cfa.y (deleted) * src/Parser/lex.cc (added) * src/Parser/lex.h (modified) * src/Parser/lex.ll (moved) * src/Parser/module.mk (modified) * src/Parser/parser.cc (added) * src/Parser/parser.h (added) * src/Parser/parser.yy (added) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/DeclStmt.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/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tests/Abstype.c (added) * src/Tests/Array.c (added) * src/Tests/AsmName.c (moved) * src/Tests/Attributes.c (added) * src/Tests/Cast.c (added) * src/Tests/CastError.c (added) * src/Tests/CharStringConstants.c (moved) * src/Tests/CommentMisc.c (moved) * src/Tests/Constant0-1.c (moved) * src/Tests/Context.c (added) * src/Tests/DeclarationErrors.c (moved) * src/Tests/DeclarationSpecifier.c (moved) * src/Tests/Enum.c (added) * src/Tests/Exception.c (moved) * src/Tests/Expect-a/Abstype.txt (added) * src/Tests/Expect-a/Array.txt (added) * src/Tests/Expect-a/AsmName.txt (added) * src/Tests/Expect-a/Attributes.txt (added) * src/Tests/Expect-a/Cast.txt (added) * src/Tests/Expect-a/CastError.txt (added) * src/Tests/Expect-a/CharStringConstants.txt (added) * src/Tests/Expect-a/CommentMisc.txt (added) * src/Tests/Expect-a/Constant0-1.txt (added) * src/Tests/Expect-a/Context.txt (added) * src/Tests/Expect-a/DeclarationErrors.txt (added) * src/Tests/Expect-a/DeclarationSpecifier.txt (added) * src/Tests/Expect-a/Enum.txt (added) * src/Tests/Expect-a/Exception.txt (added) * src/Tests/Expect-a/Expression.txt (added) * src/Tests/Expect-a/Forall.txt (added) * src/Tests/Expect-a/Function.txt (added) * src/Tests/Expect-a/Functions.txt (moved) * src/Tests/Expect-a/GccExtensions.txt (added) * src/Tests/Expect-a/IdentFuncDeclarator.txt (added) * src/Tests/Expect-a/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-a/InferParam.txt (added) * src/Tests/Expect-a/Initialization.txt (added) * src/Tests/Expect-a/Initialization2.txt (added) * src/Tests/Expect-a/LabelledExit.txt (added) * src/Tests/Expect-a/Members.txt (added) * src/Tests/Expect-a/Misc.txt (added) * src/Tests/Expect-a/MiscError.txt (added) * src/Tests/Expect-a/NamedParmArg.txt (added) * src/Tests/Expect-a/NumericConstants.txt (added) * src/Tests/Expect-a/OccursError.txt (added) * src/Tests/Expect-a/Operators.txt (added) * src/Tests/Expect-a/Quad.txt (added) * src/Tests/Expect-a/Rank2.txt (added) * src/Tests/Expect-a/Scope.txt (added) * src/Tests/Expect-a/ScopeErrors.txt (added) * src/Tests/Expect-a/ShortCircuit.txt (added) * src/Tests/Expect-a/Statement.txt (added) * src/Tests/Expect-a/StructMember.txt (added) * src/Tests/Expect-a/Subrange.txt (added) * src/Tests/Expect-a/Switch.txt (added) * src/Tests/Expect-a/Tuple.txt (added) * src/Tests/Expect-a/TypeGenerator.txt (added) * src/Tests/Expect-a/Typedef.txt (added) * src/Tests/Expect-a/TypedefDeclarator.txt (added) * src/Tests/Expect-a/TypedefParamDeclarator.txt (added) * src/Tests/Expect-a/Typeof.txt (added) * src/Tests/Expect-a/VariableDeclarator.txt (added) * src/Tests/Expect-a/gcc900407-1.txt (added) * src/Tests/Expect-a/gcc900516-1.txt (added) * src/Tests/Expect-a/gcc920301-1.txt (added) * src/Tests/Expect-a/gcc920409-1.txt (added) * src/Tests/Expect-a/gcc920409-2.txt (added) * src/Tests/Expect-a/gcc920410-2.txt (added) * src/Tests/Expect-a/gcc920501-1.txt (added) * src/Tests/Expect-a/gcc920501-11.txt (added) * src/Tests/Expect-a/gcc920501-19.txt (added) * src/Tests/Expect-e/Abstype.txt (added) * src/Tests/Expect-e/Array.txt (added) * src/Tests/Expect-e/AsmName.txt (added) * src/Tests/Expect-e/Attributes.txt (added) * src/Tests/Expect-e/Cast.txt (added) * src/Tests/Expect-e/CastError.txt (added) * src/Tests/Expect-e/CharStringConstants.txt (added) * src/Tests/Expect-e/CommentMisc.txt (added) * src/Tests/Expect-e/Constant0-1.txt (added) * src/Tests/Expect-e/Context.txt (added) * src/Tests/Expect-e/DeclarationErrors.txt (added) * src/Tests/Expect-e/DeclarationSpecifier.txt (added) * src/Tests/Expect-e/Enum.txt (added) * src/Tests/Expect-e/Exception.txt (added) * src/Tests/Expect-e/Expression.txt (added) * src/Tests/Expect-e/Forall.txt (added) * src/Tests/Expect-e/Function.txt (added) * src/Tests/Expect-e/Functions.txt (added) * src/Tests/Expect-e/GccExtensions.txt (added) * src/Tests/Expect-e/IdentFuncDeclarator.txt (added) * src/Tests/Expect-e/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-e/InferParam.txt (added) * src/Tests/Expect-e/Initialization.txt (added) * src/Tests/Expect-e/Initialization2.txt (added) * src/Tests/Expect-e/LabelledExit.txt (added) * src/Tests/Expect-e/Members.txt (added) * src/Tests/Expect-e/Misc.txt (added) * src/Tests/Expect-e/MiscError.txt (moved) * src/Tests/Expect-e/NamedParmArg.txt (added) * src/Tests/Expect-e/NumericConstants.txt (added) * src/Tests/Expect-e/OccursError.txt (moved) * src/Tests/Expect-e/Operators.txt (added) * src/Tests/Expect-e/Quad.txt (added) * src/Tests/Expect-e/Rank2.txt (added) * src/Tests/Expect-e/Scope.txt (added) * src/Tests/Expect-e/ScopeErrors.txt (added) * src/Tests/Expect-e/ShortCircuit.txt (added) * src/Tests/Expect-e/Statement.txt (added) * src/Tests/Expect-e/StructMember.txt (added) * src/Tests/Expect-e/Subrange.txt (added) * src/Tests/Expect-e/Switch.txt (added) * src/Tests/Expect-e/Tuple.txt (added) * src/Tests/Expect-e/TypeGenerator.txt (added) * src/Tests/Expect-e/Typedef.txt (added) * src/Tests/Expect-e/TypedefDeclarator.txt (added) * src/Tests/Expect-e/TypedefParamDeclarator.txt (added) * src/Tests/Expect-e/Typeof.txt (added) * src/Tests/Expect-e/VariableDeclarator.txt (added) * src/Tests/Expect-e/gcc900407-1.txt (added) * src/Tests/Expect-e/gcc900516-1.txt (added) * src/Tests/Expect-e/gcc920301-1.txt (added) * src/Tests/Expect-e/gcc920409-1.txt (added) * src/Tests/Expect-e/gcc920409-2.txt (added) * src/Tests/Expect-e/gcc920410-2.txt (added) * src/Tests/Expect-e/gcc920501-1.txt (added) * src/Tests/Expect-e/gcc920501-11.txt (added) * src/Tests/Expect-e/gcc920501-19.txt (added) * src/Tests/Expect-f/Abstype.txt (added) * src/Tests/Expect-f/Array.txt (added) * src/Tests/Expect-f/AsmName.txt (added) * src/Tests/Expect-f/Attributes.txt (added) * src/Tests/Expect-f/Cast.txt (added) * src/Tests/Expect-f/CastError.txt (added) * src/Tests/Expect-f/CharStringConstants.txt (added) * src/Tests/Expect-f/CommentMisc.txt (added) * src/Tests/Expect-f/Constant0-1.txt (added) * src/Tests/Expect-f/Context.txt (added) * src/Tests/Expect-f/DeclarationErrors.txt (added) * src/Tests/Expect-f/DeclarationSpecifier.txt (added) * src/Tests/Expect-f/Enum.txt (added) * src/Tests/Expect-f/Exception.txt (added) * src/Tests/Expect-f/Expression.txt (added) * src/Tests/Expect-f/Forall.txt (added) * src/Tests/Expect-f/Function.txt (added) * src/Tests/Expect-f/Functions.txt (added) * src/Tests/Expect-f/GccExtensions.txt (added) * src/Tests/Expect-f/IdentFuncDeclarator.txt (added) * src/Tests/Expect-f/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-f/InferParam.txt (added) * src/Tests/Expect-f/Initialization.txt (added) * src/Tests/Expect-f/Initialization2.txt (added) * src/Tests/Expect-f/LabelledExit.txt (added) * src/Tests/Expect-f/Members.txt (added) * src/Tests/Expect-f/Misc.txt (added) * src/Tests/Expect-f/MiscError.txt (added) * src/Tests/Expect-f/NamedParmArg.txt (added) * src/Tests/Expect-f/NumericConstants.txt (added) * src/Tests/Expect-f/OccursError.txt (added) * src/Tests/Expect-f/Operators.txt (added) * src/Tests/Expect-f/Quad.txt (added) * src/Tests/Expect-f/Rank2.txt (added) * src/Tests/Expect-f/Scope.txt (added) * src/Tests/Expect-f/ScopeErrors.txt (added) * src/Tests/Expect-f/ShortCircuit.txt (added) * src/Tests/Expect-f/Statement.txt (added) * src/Tests/Expect-f/StructMember.txt (added) * src/Tests/Expect-f/Subrange.txt (added) * src/Tests/Expect-f/Switch.txt (added) * src/Tests/Expect-f/Tuple.txt (added) * src/Tests/Expect-f/TypeGenerator.txt (added) * src/Tests/Expect-f/Typedef.txt (added) * src/Tests/Expect-f/TypedefDeclarator.txt (added) * src/Tests/Expect-f/TypedefParamDeclarator.txt (added) * src/Tests/Expect-f/Typeof.txt (added) * src/Tests/Expect-f/VariableDeclarator.txt (added) * src/Tests/Expect-f/gcc900407-1.txt (added) * src/Tests/Expect-f/gcc900516-1.txt (added) * src/Tests/Expect-f/gcc920301-1.txt (added) * src/Tests/Expect-f/gcc920409-1.txt (added) * src/Tests/Expect-f/gcc920409-2.txt (added) * src/Tests/Expect-f/gcc920410-2.txt (added) * src/Tests/Expect-f/gcc920501-1.txt (added) * src/Tests/Expect-f/gcc920501-11.txt (added) * src/Tests/Expect-f/gcc920501-19.txt (added) * src/Tests/Expect-r/Abstype.txt (added) * src/Tests/Expect-r/Array.txt (added) * src/Tests/Expect-r/AsmName.txt (added) * src/Tests/Expect-r/Attributes.txt (added) * src/Tests/Expect-r/Cast.txt (added) * src/Tests/Expect-r/CastError.txt (added) * src/Tests/Expect-r/CharStringConstants.txt (added) * src/Tests/Expect-r/CommentMisc.txt (added) * src/Tests/Expect-r/Constant0-1.txt (added) * src/Tests/Expect-r/Context.txt (added) * src/Tests/Expect-r/DeclarationErrors.txt (added) * src/Tests/Expect-r/DeclarationSpecifier.txt (added) * src/Tests/Expect-r/Enum.txt (added) * src/Tests/Expect-r/Exception.txt (added) * src/Tests/Expect-r/Expression.txt (added) * src/Tests/Expect-r/Forall.txt (added) * src/Tests/Expect-r/Function.txt (added) * src/Tests/Expect-r/Functions.txt (added) * src/Tests/Expect-r/GccExtensions.txt (added) * src/Tests/Expect-r/IdentFuncDeclarator.txt (added) * src/Tests/Expect-r/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-r/InferParam.txt (added) * src/Tests/Expect-r/Initialization.txt (added) * src/Tests/Expect-r/Initialization2.txt (added) * src/Tests/Expect-r/LabelledExit.txt (added) * src/Tests/Expect-r/Members.txt (added) * src/Tests/Expect-r/Misc.txt (added) * src/Tests/Expect-r/MiscError.txt (added) * src/Tests/Expect-r/NamedParmArg.txt (added) * src/Tests/Expect-r/NumericConstants.txt (added) * src/Tests/Expect-r/OccursError.txt (added) * src/Tests/Expect-r/Operators.txt (added) * src/Tests/Expect-r/Quad.txt (added) * src/Tests/Expect-r/Rank2.txt (added) * src/Tests/Expect-r/Scope.txt (added) * src/Tests/Expect-r/ScopeErrors.txt (added) * src/Tests/Expect-r/ShortCircuit.txt (added) * src/Tests/Expect-r/Statement.txt (added) * src/Tests/Expect-r/StructMember.txt (added) * src/Tests/Expect-r/Subrange.txt (added) * src/Tests/Expect-r/Switch.txt (added) * src/Tests/Expect-r/Tuple.txt (added) * src/Tests/Expect-r/TypeGenerator.txt (added) * src/Tests/Expect-r/Typedef.txt (added) * src/Tests/Expect-r/TypedefDeclarator.txt (added) * src/Tests/Expect-r/TypedefParamDeclarator.txt (added) * src/Tests/Expect-r/Typeof.txt (added) * src/Tests/Expect-r/VariableDeclarator.txt (added) * src/Tests/Expect-r/gcc900407-1.txt (added) * src/Tests/Expect-r/gcc900516-1.txt (added) * src/Tests/Expect-r/gcc920301-1.txt (added) * src/Tests/Expect-r/gcc920409-1.txt (added) * src/Tests/Expect-r/gcc920409-2.txt (added) * src/Tests/Expect-r/gcc920410-2.txt (added) * src/Tests/Expect-r/gcc920501-1.txt (added) * src/Tests/Expect-r/gcc920501-11.txt (added) * src/Tests/Expect-r/gcc920501-19.txt (added) * src/Tests/Expect-s/Abstype.txt (added) * src/Tests/Expect-s/Array.txt (moved) * src/Tests/Expect-s/AsmName.txt (added) * src/Tests/Expect-s/Attributes.txt (added) * src/Tests/Expect-s/Cast.txt (added) * src/Tests/Expect-s/CastError.txt (added) * src/Tests/Expect-s/CharStringConstants.txt (added) * src/Tests/Expect-s/CommentMisc.txt (added) * src/Tests/Expect-s/Constant0-1.txt (added) * src/Tests/Expect-s/Context.txt (moved) * src/Tests/Expect-s/DeclarationErrors.txt (added) * src/Tests/Expect-s/DeclarationSpecifier.txt (added) * src/Tests/Expect-s/Enum.txt (moved) * src/Tests/Expect-s/Exception.txt (added) * src/Tests/Expect-s/Expression.txt (added) * src/Tests/Expect-s/Forall.txt (moved) * src/Tests/Expect-s/Function.txt (added) * src/Tests/Expect-s/Functions.txt (added) * src/Tests/Expect-s/GccExtensions.txt (added) * src/Tests/Expect-s/IdentFuncDeclarator.txt (added) * src/Tests/Expect-s/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-s/InferParam.txt (added) * src/Tests/Expect-s/Initialization.txt (added) * src/Tests/Expect-s/Initialization2.txt (added) * src/Tests/Expect-s/LabelledExit.txt (added) * src/Tests/Expect-s/Members.txt (added) * src/Tests/Expect-s/Misc.txt (added) * src/Tests/Expect-s/MiscError.txt (added) * src/Tests/Expect-s/NamedParmArg.txt (added) * src/Tests/Expect-s/NumericConstants.txt (added) * src/Tests/Expect-s/OccursError.txt (added) * src/Tests/Expect-s/Operators.txt (added) * src/Tests/Expect-s/Quad.txt (added) * src/Tests/Expect-s/Rank2.txt (added) * src/Tests/Expect-s/Scope.txt (moved) * src/Tests/Expect-s/ScopeErrors.txt (moved) * src/Tests/Expect-s/ShortCircuit.txt (added) * src/Tests/Expect-s/Statement.txt (added) * src/Tests/Expect-s/StructMember.txt (added) * src/Tests/Expect-s/Subrange.txt (added) * src/Tests/Expect-s/Switch.txt (added) * src/Tests/Expect-s/Tuple.txt (moved) * src/Tests/Expect-s/TypeGenerator.txt (added) * src/Tests/Expect-s/Typedef.txt (added) * src/Tests/Expect-s/TypedefDeclarator.txt (added) * src/Tests/Expect-s/TypedefParamDeclarator.txt (added) * src/Tests/Expect-s/Typeof.txt (added) * src/Tests/Expect-s/VariableDeclarator.txt (added) * src/Tests/Expect-s/gcc900407-1.txt (added) * src/Tests/Expect-s/gcc900516-1.txt (added) * src/Tests/Expect-s/gcc920301-1.txt (added) * src/Tests/Expect-s/gcc920409-1.txt (added) * src/Tests/Expect-s/gcc920409-2.txt (added) * src/Tests/Expect-s/gcc920410-2.txt (added) * src/Tests/Expect-s/gcc920501-1.txt (added) * src/Tests/Expect-s/gcc920501-11.txt (added) * src/Tests/Expect-s/gcc920501-19.txt (added) * src/Tests/Expect-v/Abstype.txt (added) * src/Tests/Expect-v/Array.txt (added) * src/Tests/Expect-v/AsmName.txt (added) * src/Tests/Expect-v/Attributes.txt (added) * src/Tests/Expect-v/Cast.txt (added) * src/Tests/Expect-v/CastError.txt (added) * src/Tests/Expect-v/CharStringConstants.txt (added) * src/Tests/Expect-v/CommentMisc.txt (added) * src/Tests/Expect-v/Constant0-1.txt (added) * src/Tests/Expect-v/Context.txt (added) * src/Tests/Expect-v/DeclarationErrors.txt (added) * src/Tests/Expect-v/DeclarationSpecifier.txt (added) * src/Tests/Expect-v/Enum.txt (added) * src/Tests/Expect-v/Exception.txt (added) * src/Tests/Expect-v/Expression.txt (added) * src/Tests/Expect-v/Forall.txt (added) * src/Tests/Expect-v/Function.txt (added) * src/Tests/Expect-v/Functions.txt (added) * src/Tests/Expect-v/GccExtensions.txt (added) * src/Tests/Expect-v/IdentFuncDeclarator.txt (added) * src/Tests/Expect-v/IdentFuncParamDeclarator.txt (added) * src/Tests/Expect-v/InferParam.txt (added) * src/Tests/Expect-v/Initialization.txt (added) * src/Tests/Expect-v/Initialization2.txt (added) * src/Tests/Expect-v/LabelledExit.txt (added) * src/Tests/Expect-v/Members.txt (added) * src/Tests/Expect-v/Misc.txt (added) * src/Tests/Expect-v/MiscError.txt (added) * src/Tests/Expect-v/NamedParmArg.txt (added) * src/Tests/Expect-v/NumericConstants.txt (added) * src/Tests/Expect-v/OccursError.txt (added) * src/Tests/Expect-v/Operators.txt (added) * src/Tests/Expect-v/Quad.txt (added) * src/Tests/Expect-v/Rank2.txt (added) * src/Tests/Expect-v/Scope.txt (added) * src/Tests/Expect-v/ScopeErrors.txt (added) * src/Tests/Expect-v/ShortCircuit.txt (added) * src/Tests/Expect-v/Statement.txt (added) * src/Tests/Expect-v/StructMember.txt (added) * src/Tests/Expect-v/Subrange.txt (added) * src/Tests/Expect-v/Switch.txt (added) * src/Tests/Expect-v/Tuple.txt (added) * src/Tests/Expect-v/TypeGenerator.txt (added) * src/Tests/Expect-v/Typedef.txt (added) * src/Tests/Expect-v/TypedefDeclarator.txt (added) * src/Tests/Expect-v/TypedefParamDeclarator.txt (added) * src/Tests/Expect-v/Typeof.txt (added) * src/Tests/Expect-v/VariableDeclarator.txt (added) * src/Tests/Expect-v/gcc900407-1.txt (added) * src/Tests/Expect-v/gcc900516-1.txt (added) * src/Tests/Expect-v/gcc920301-1.txt (added) * src/Tests/Expect-v/gcc920409-1.txt (added) * src/Tests/Expect-v/gcc920409-2.txt (added) * src/Tests/Expect-v/gcc920410-2.txt (added) * src/Tests/Expect-v/gcc920501-1.txt (added) * src/Tests/Expect-v/gcc920501-11.txt (added) * src/Tests/Expect-v/gcc920501-19.txt (added) * src/Tests/Expression.c (moved) * src/Tests/Forall.c (added) * src/Tests/Function.c (moved) * src/Tests/Functions.c (moved) * src/Tests/GccExtensions.c (moved) * src/Tests/IdentFuncDeclarator.c (added) * src/Tests/IdentFuncParamDeclarator.c (added) * src/Tests/InferParam.c (moved) * src/Tests/Initialization.c (added) * src/Tests/Initialization2.c (moved) * src/Tests/LabelledExit.c (moved) * src/Tests/Makefile (added) * src/Tests/Members.c (added) * src/Tests/Misc.c (added) * src/Tests/MiscError.c (added) * src/Tests/NamedParmArg.c (moved) * src/Tests/NumericConstants.c (moved) * src/Tests/OccursError.c (added) * src/Tests/Operators.c (added) * src/Tests/Parser/Array.c (deleted) * src/Tests/Parser/Constant0-1.c (deleted) * src/Tests/Parser/Expected/Array.tst (deleted) * src/Tests/Parser/Expected/Constant0-1.tst (deleted) * src/Tests/Parser/Expected/DeclarationSpecifier.tst (deleted) * src/Tests/Parser/Expected/Forall.tst (deleted) * src/Tests/Parser/Expected/Functions.tst (deleted) * src/Tests/Parser/Expected/IdentFuncDeclarator.tst (deleted) * src/Tests/Parser/Expected/IdentFuncParamDeclarator.tst (deleted) * src/Tests/Parser/Expected/Initialization.tst (deleted) * src/Tests/Parser/Expected/Scope.tst (deleted) * src/Tests/Parser/Expected/StructMember.tst (deleted) * src/Tests/Parser/Expected/Tuple.tst (deleted) * src/Tests/Parser/Expected/TypeGenerator.tst (deleted) * src/Tests/Parser/Expected/Typedef.tst (deleted) * src/Tests/Parser/Expected/TypedefDeclarator.tst (deleted) * src/Tests/Parser/Expected/TypedefParamDeclarator.tst (deleted) * src/Tests/Parser/Expected/VariableDeclarator.tst (deleted) * src/Tests/Parser/Forall.c (deleted) * src/Tests/Parser/IdentFuncDeclarator.c (deleted) * src/Tests/Parser/IdentFuncParamDeclarator.c (deleted) * src/Tests/Parser/Initialization.c (deleted) * src/Tests/Parser/Makefile (deleted) * src/Tests/Parser/Scope.c (deleted) * src/Tests/Parser/StructMember.c (deleted) * src/Tests/Parser/Tuple.c (deleted) * src/Tests/Parser/TypeGenerator.c (deleted) * src/Tests/Parser/Typedef.c (deleted) * src/Tests/Parser/TypedefDeclarator.c (deleted) * src/Tests/Parser/TypedefParamDeclarator.c (deleted) * src/Tests/Parser/VariableDeclarator.c (deleted) * src/Tests/Quad.c (added) * src/Tests/Rank2.c (added) * src/Tests/ResolvExpr/Abstype.c (deleted) * src/Tests/ResolvExpr/Attributes.c (deleted) * src/Tests/ResolvExpr/Cast.c (deleted) * src/Tests/ResolvExpr/CastError.c (deleted) * src/Tests/ResolvExpr/Expected/Abstype.tst (deleted) * src/Tests/ResolvExpr/Expected/Attributes.tst (deleted) * src/Tests/ResolvExpr/Expected/Cast.tst (deleted) * src/Tests/ResolvExpr/Expected/CastError.tst (deleted) * src/Tests/ResolvExpr/Expected/Forall.tst (deleted) * src/Tests/ResolvExpr/Expected/Function.tst (deleted) * src/Tests/ResolvExpr/Expected/InferParam.tst (deleted) * src/Tests/ResolvExpr/Expected/Members.tst (deleted) * src/Tests/ResolvExpr/Expected/Misc.tst (deleted) * src/Tests/ResolvExpr/Expected/Operators.tst (deleted) * src/Tests/ResolvExpr/Expected/Quad.tst (deleted) * src/Tests/ResolvExpr/Expected/Rank2.tst (deleted) * src/Tests/ResolvExpr/Expected/ShortCircuit.tst (deleted) * src/Tests/ResolvExpr/Expected/Statement.tst (deleted) * src/Tests/ResolvExpr/Forall.c (deleted) * src/Tests/ResolvExpr/Makefile (deleted) * src/Tests/ResolvExpr/Members.c (deleted) * src/Tests/ResolvExpr/Misc.c (deleted) * src/Tests/ResolvExpr/MiscError.c (deleted) * src/Tests/ResolvExpr/OccursError.c (deleted) * src/Tests/ResolvExpr/Operators.c (deleted) * src/Tests/ResolvExpr/Quad.c (deleted) * src/Tests/ResolvExpr/Rank2.c (deleted) * src/Tests/ResolvExpr/ShortCircuit.c (deleted) * src/Tests/ResolvExpr/Statement.c (deleted) * src/Tests/ResolvExpr/make-rules (deleted) * src/Tests/ResolvExpr/run-tests.sh (deleted) * src/Tests/Scope.c (added) * src/Tests/ScopeErrors.c (moved) * src/Tests/ShortCircuit.c (added) * src/Tests/Statement.c (added) * src/Tests/StructMember.c (added) * src/Tests/Subrange.c (moved) * src/Tests/Switch.c (moved) * src/Tests/SynTree/Array.c (deleted) * src/Tests/SynTree/Context.c (deleted) * src/Tests/SynTree/DeclarationSpecifier.c (deleted) * src/Tests/SynTree/Enum.c (deleted) * src/Tests/SynTree/Expected/Array.tst (deleted) * src/Tests/SynTree/Expected/Constant0-1.tst (deleted) * src/Tests/SynTree/Expected/Context.tst (deleted) * src/Tests/SynTree/Expected/DeclarationSpecifier.tst (deleted) * src/Tests/SynTree/Expected/Enum.tst (deleted) * src/Tests/SynTree/Expected/Forall.tst (deleted) * src/Tests/SynTree/Expected/IdentFuncDeclarator.tst (deleted) * src/Tests/SynTree/Expected/Initialization.tst (deleted) * src/Tests/SynTree/Expected/Scope.tst (deleted) * src/Tests/SynTree/Expected/StructMember.tst (deleted) * src/Tests/SynTree/Expected/Tuple.tst (deleted) * src/Tests/SynTree/Expected/TypeGenerator.tst (deleted) * src/Tests/SynTree/Expected/Typedef.tst (deleted) * src/Tests/SynTree/Expected/TypedefDeclarator.tst (deleted) * src/Tests/SynTree/Expected/TypedefParamDeclarator.tst (deleted) * src/Tests/SynTree/Expected/VariableDeclarator.tst (deleted) * src/Tests/SynTree/Forall.c (deleted) * src/Tests/SynTree/Functions.c (deleted) * src/Tests/SynTree/IdentFuncDeclarator.c (deleted) * src/Tests/SynTree/IdentFuncParamDeclarator.c (deleted) * src/Tests/SynTree/Initialization.c (deleted) * src/Tests/SynTree/Makefile (deleted) * src/Tests/SynTree/Scope.c (deleted) * src/Tests/SynTree/StructMember.c (deleted) * src/Tests/SynTree/Tuple.c (deleted) * src/Tests/SynTree/TypeGenerator.c (deleted) * src/Tests/SynTree/Typedef.c (deleted) * src/Tests/SynTree/TypedefDeclarator.c (deleted) * src/Tests/SynTree/TypedefParamDeclarator.c (deleted) * src/Tests/SynTree/VariableDeclarator.c (deleted) * src/Tests/SynTree/make-rules (deleted) * src/Tests/SynTree/run-tests.sh (deleted) * src/Tests/Syntax/Array.c (deleted) * src/Tests/Syntax/Attributes.c (deleted) * src/Tests/Syntax/Constant0-1.c (deleted) * src/Tests/Syntax/DeclarationSpecifier.c (deleted) * src/Tests/Syntax/Forall.c (deleted) * src/Tests/Syntax/Functions.c (deleted) * src/Tests/Syntax/IdentFuncDeclarator.c (deleted) * src/Tests/Syntax/IdentFuncParamDeclarator.c (deleted) * src/Tests/Syntax/Initialization.c (deleted) * src/Tests/Syntax/Makefile (deleted) * src/Tests/Syntax/Scope.c (deleted) * src/Tests/Syntax/StructMember.c (deleted) * src/Tests/Syntax/Tuple.c (deleted) * src/Tests/Syntax/TypeGenerator.c (deleted) * src/Tests/Syntax/TypedefDeclarator.c (deleted) * src/Tests/Syntax/TypedefParamDeclarator.c (deleted) * src/Tests/Tuple.c (added) * src/Tests/TypeGenerator.c (added) * src/Tests/Typedef.c (moved) * src/Tests/TypedefDeclarator.c (added) * src/Tests/TypedefParamDeclarator.c (added) * src/Tests/Typeof.c (moved) * src/Tests/VariableDeclarator.c (moved) * src/Tests/gcc/900407-1.c (deleted) * src/Tests/gcc/900516-1.c (deleted) * src/Tests/gcc/920301-1.c (deleted) * src/Tests/gcc/920409-1.c (deleted) * src/Tests/gcc/920409-2.c (deleted) * src/Tests/gcc/920410-2.c (deleted) * src/Tests/gcc/920501-1.c (deleted) * src/Tests/gcc/920501-11.c (deleted) * src/Tests/gcc/920501-19.c (deleted) * src/Tests/gcc900407-1.c (added) * src/Tests/gcc900516-1.c (added) * src/Tests/gcc920301-1.c (added) * src/Tests/gcc920409-1.c (added) * src/Tests/gcc920409-2.c (added) * src/Tests/gcc920410-2.c (added) * src/Tests/gcc920501-1.c (added) * src/Tests/gcc920501-11.c (added) * src/Tests/gcc920501-19.c (added) * src/Tuples/AssignExpand.cc (modified) * src/Tuples/FunctionChecker.cc (modified) * src/Tuples/MultRet.cc (modified) * src/Tuples/module.mk (modified) * src/attr-ex (deleted) * src/comments.txt (deleted) * src/driver/Makefile.am (added) * src/driver/Makefile.in (added) * src/driver/cc1.cc (moved) * src/driver/cfa.cc (moved) * src/examples/Makefile.am (added) * src/examples/Makefile.in (modified) * src/examples/abstype.c (modified) * src/examples/array.c (modified) * src/examples/array.h (modified) * src/examples/assert.c (added) * src/examples/constants.c (modified) * src/examples/control_structures.c (modified) * src/examples/ctxts.c (modified) * src/examples/esskaykay.c (modified) * src/examples/forward.c (modified) * src/examples/fstream.c (modified) * src/examples/fstream.h (modified) * src/examples/fstream_test.c (modified) * src/examples/fwrite.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/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/it_out.c (modified) * src/examples/iterator.c (modified) * src/examples/iterator.h (modified) * src/examples/min.c (modified) * src/examples/new.c (modified) * src/examples/prolog.c (modified) * src/examples/quad.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/rodolfo1.c (deleted) * src/examples/rodolfo2.c (deleted) * src/examples/s.c (modified) * src/examples/simple.c (modified) * src/examples/simplePoly.c (modified) * src/examples/simpler.c (modified) * src/examples/specialize.c (modified) * src/examples/square.c (modified) * src/examples/square.cf (deleted) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/twice.c (modified) * src/examples/vector_int.c (modified) * src/examples/vector_int.h (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (added) * src/libcfa/Makefile.in (added) * src/libcfa/builtins.cf (added) * src/libcfa/prelude.cf (moved) * src/libcfa/ptrdiff_t.c (moved) * src/main.cc (modified) * src/preludesrc.c (deleted) * src/spectest (deleted) Merge pointer to pointer to qualified fix into master Fri, 26 Jun 2015 17:43:41 GMT Aaron Moss [eb50842] * .gitignore (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Unify.cc (modified) Fixed pointer to pointer to const bug Wed, 24 Jun 2015 20:33:13 GMT Rob Schluntz [1869adf] * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) fix label name in label address expression 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 ... Wed, 17 Jun 2015 20:17:37 GMT Aaron Moss [0f19d763] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) Comments and indentation fixes Tue, 16 Jun 2015 19:49:36 GMT Rob Schluntz [94b4364] * src/CodeGen/CodeGenerator.cc (modified) * src/ResolvExpr/Resolver.cc (modified) implemented resolver methods for aggregate initialization Wed, 10 Jun 2015 20:13:35 GMT Rob Schluntz [bfbf97f] * src/ResolvExpr/Resolver.cc (modified) recursively resolve the type of array dimensions Wed, 10 Jun 2015 19:37:34 GMT Rob Schluntz [b5c5684] * src/ResolvExpr/Resolver.cc (modified) removes casts from char[] initialized with strings, correctly casts ... 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 ... Thu, 04 Jun 2015 03:20:17 GMT Rob Schluntz [30651b0] * src/ResolvExpr/Resolver.cc (modified) added necessary null check to array dimension resolver code Tue, 02 Jun 2015 00:52:19 GMT Peter A. Buhr [6e7e2b36] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * src/ArgTweak/module.mk (modified) * src/CodeGen/module.mk (modified) * src/Common/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/Designators/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/driver/Makefile.am (moved) * src/driver/Makefile.in (moved) * src/driver/cc1.cc (moved) * src/driver/cfa.cc (moved) * src/examples/sum.c (modified) * src/libcfa/Makefile.am (moved) * src/libcfa/Makefile.in (moved) * src/libcfa/builtins.cf (moved) * src/libcfa/prelude.cf (moved) * src/libcfa/ptrdiff_t.c (moved) redo automake seventh attempt Mon, 01 Jun 2015 17:58:19 GMT Rob Schluntz [d1d17f5] * src/ResolvExpr/Resolver.cc (modified) prefer unsigned long int expressions for variable length array ... Sun, 31 May 2015 17:54:23 GMT Peter A. Buhr [00cc023] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/compile (added) * automake/depcomp (added) * automake/install-sh (moved) * automake/missing (moved) * automake/ylwrap (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (added) * driver/Makefile.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * libcfa/Makefile.am (added) * libcfa/Makefile.in (modified) * src/ArgTweak/module.mk (modified) * src/CodeGen/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/Designators/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (added) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/examples/Makefile.am (added) * src/examples/Makefile.in (modified) redo automake first attempt Mon, 25 May 2015 17:57:22 GMT Rob Schluntz [7c64920] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Declaration.h (modified) formatting Fri, 22 May 2015 01:44:51 GMT Peter A. Buhr [843054c2] * src/ArgTweak/FunctionFixer.cc (moved) * src/ArgTweak/FunctionFixer.h (moved) * src/ArgTweak/Mutate.cc (moved) * src/ArgTweak/Mutate.h (moved) * src/ArgTweak/module.mk (moved) * src/CodeGen/CodeGenerator2.cc (moved) * src/CodeGen/CodeGenerator2.h (moved) * src/CodeGen/FixNames.cc (moved) * src/CodeGen/FixNames.h (moved) * src/CodeGen/GenType.cc (moved) * src/CodeGen/GenType.h (moved) * src/CodeGen/Generate.cc (moved) * src/CodeGen/Generate.h (moved) * src/CodeGen/OperatorTable.cc (moved) * src/CodeGen/OperatorTable.h (moved) * src/CodeGen/module.mk (moved) * src/Common/CompilerError.h (moved) * src/Common/SemanticError.cc (moved) * src/Common/SemanticError.h (moved) * src/Common/UnimplementedError.h (moved) * src/Common/UniqueName.cc (moved) * src/Common/UniqueName.h (moved) * src/Common/module.mk (moved) * src/Common/utility.h (moved) * src/ControlStruct/CaseRangeMutator.cc (moved) * src/ControlStruct/CaseRangeMutator.h (moved) * src/ControlStruct/ChooseMutator.cc (moved) * src/ControlStruct/ChooseMutator.h (moved) * src/ControlStruct/ForExprMutator.cc (moved) * src/ControlStruct/ForExprMutator.h (moved) * src/ControlStruct/LabelFixer.cc (moved) * src/ControlStruct/LabelFixer.h (moved) * src/ControlStruct/LabelGenerator.cc (moved) * src/ControlStruct/LabelGenerator.h (moved) * src/ControlStruct/LabelTypeChecker.cc (moved) * src/ControlStruct/LabelTypeChecker.h (moved) * src/ControlStruct/MLEMutator.cc (moved) * src/ControlStruct/MLEMutator.h (moved) * src/ControlStruct/Mutate.cc (moved) * src/ControlStruct/Mutate.h (moved) * src/ControlStruct/module.mk (moved) * src/Designators/Processor.cc (moved) * src/Designators/Processor.h (moved) * src/Designators/module.mk (moved) * src/Docs/Makefile (moved) * src/Docs/cfa-cpp.1 (moved) * src/Docs/design.tex (moved) * src/Docs/uml.dia (moved) * src/GenPoly/Box.cc (moved) * src/GenPoly/Box.h (moved) * src/GenPoly/CopyParams.cc (moved) * src/GenPoly/CopyParams.h (moved) * src/GenPoly/FindFunction.cc (moved) * src/GenPoly/FindFunction.h (moved) * src/GenPoly/GenPoly.cc (moved) * src/GenPoly/GenPoly.h (moved) * src/GenPoly/Lvalue.cc (moved) * src/GenPoly/Lvalue.h (moved) * src/GenPoly/PolyMutator.cc (moved) * src/GenPoly/PolyMutator.h (moved) * src/GenPoly/ScrubTyVars.cc (moved) * src/GenPoly/ScrubTyVars.h (moved) * src/GenPoly/Specialize.cc (moved) * src/GenPoly/Specialize.h (moved) * src/GenPoly/module.mk (moved) * src/InitTweak/Association.cc (moved) * src/InitTweak/Association.h (moved) * src/InitTweak/BasicInit.cc (moved) * src/InitTweak/BasicInit.h (moved) * src/InitTweak/DeclarationHoister.cc (moved) * src/InitTweak/DeclarationHoister.h (moved) * src/InitTweak/InitExpander.cc (moved) * src/InitTweak/InitExpander.h (moved) * src/InitTweak/InitModel.cc (moved) * src/InitTweak/InitModel.h (moved) * src/InitTweak/Mutate.cc (moved) * src/InitTweak/Mutate.h (moved) * src/InitTweak/RemoveInit.cc (moved) * src/InitTweak/RemoveInit.h (moved) * src/InitTweak/diet_map.h (moved) * src/InitTweak/module.mk (moved) * src/MakeLibCfa.cc (moved) * src/MakeLibCfa.h (moved) * src/Makefile.in (moved) * src/Parser/DeclarationNode.cc (moved) * src/Parser/ExpressionNode.cc (moved) * src/Parser/InitializerNode.cc (moved) * src/Parser/LinkageSpec.cc (moved) * src/Parser/LinkageSpec.h (moved) * src/Parser/ParseNode.cc (moved) * src/Parser/ParseNode.h (moved) * src/Parser/Parser.cc (moved) * src/Parser/Parser.h (moved) * src/Parser/StatementNode.cc (moved) * src/Parser/TypeData.cc (moved) * src/Parser/TypeData.h (moved) * src/Parser/TypedefTable.cc (moved) * src/Parser/TypedefTable.h (moved) * src/Parser/cfa.y (moved) * src/Parser/lex.h (moved) * src/Parser/lex.l (moved) * src/Parser/module.mk (moved) * src/Parser/parseutility.cc (moved) * src/Parser/parseutility.h (moved) * src/ResolvExpr/AdjustExprType.cc (moved) * src/ResolvExpr/Alternative.cc (moved) * src/ResolvExpr/Alternative.h (moved) * src/ResolvExpr/AlternativeFinder.cc (moved) * src/ResolvExpr/AlternativeFinder.h (moved) * src/ResolvExpr/AlternativePrinter.cc (moved) * src/ResolvExpr/AlternativePrinter.h (moved) * src/ResolvExpr/CastCost.cc (moved) * src/ResolvExpr/CommonType.cc (moved) * src/ResolvExpr/ConversionCost.cc (moved) * src/ResolvExpr/ConversionCost.h (moved) * src/ResolvExpr/Cost.h (moved) * src/ResolvExpr/FindOpenVars.cc (moved) * src/ResolvExpr/FindOpenVars.h (moved) * src/ResolvExpr/Occurs.cc (moved) * src/ResolvExpr/PolyCost.cc (moved) * src/ResolvExpr/PtrsAssignable.cc (moved) * src/ResolvExpr/PtrsCastable.cc (moved) * src/ResolvExpr/RenameVars.cc (moved) * src/ResolvExpr/RenameVars.h (moved) * src/ResolvExpr/ResolveTypeof.cc (moved) * src/ResolvExpr/ResolveTypeof.h (moved) * src/ResolvExpr/Resolver.cc (moved) * src/ResolvExpr/Resolver.h (moved) * src/ResolvExpr/TypeEnvironment.cc (moved) * src/ResolvExpr/TypeEnvironment.h (moved) * src/ResolvExpr/Unify.cc (moved) * src/ResolvExpr/Unify.h (moved) * src/ResolvExpr/module.mk (moved) * src/ResolvExpr/typeops.h (moved) * src/SymTab/AddVisit.h (moved) * src/SymTab/AggregateTable.h (moved) * src/SymTab/FixFunction.cc (moved) * src/SymTab/FixFunction.h (moved) * src/SymTab/IdTable.cc (moved) * src/SymTab/IdTable.h (moved) * src/SymTab/ImplementationType.cc (moved) * src/SymTab/ImplementationType.h (moved) * src/SymTab/Indexer.cc (moved) * src/SymTab/Indexer.h (moved) * src/SymTab/Mangler.cc (moved) * src/SymTab/Mangler.h (moved) * src/SymTab/StackTable.cc (moved) * src/SymTab/StackTable.h (moved) * src/SymTab/TypeTable.h (moved) * src/SymTab/Validate.cc (moved) * src/SymTab/Validate.h (moved) * src/SymTab/module.mk (moved) * src/SynTree/AddressExpr.cc (moved) * src/SynTree/AggregateDecl.cc (moved) * src/SynTree/ApplicationExpr.cc (moved) * src/SynTree/ArrayType.cc (moved) * src/SynTree/AttrType.cc (moved) * src/SynTree/BasicType.cc (moved) * src/SynTree/CodeGenVisitor.cc (moved) * src/SynTree/CodeGenVisitor.h (moved) * src/SynTree/CommaExpr.cc (moved) * src/SynTree/CompoundStmt.cc (moved) * src/SynTree/Constant.cc (moved) * src/SynTree/Constant.h (moved) * src/SynTree/DeclStmt.cc (moved) * src/SynTree/Declaration.cc (moved) * src/SynTree/Declaration.h (moved) * src/SynTree/DeclarationWithType.cc (moved) * src/SynTree/Expression.cc (moved) * src/SynTree/Expression.h (moved) * src/SynTree/FunctionDecl.cc (moved) * src/SynTree/FunctionType.cc (moved) * src/SynTree/Initializer.cc (moved) * src/SynTree/Initializer.h (moved) * src/SynTree/Makefile (moved) * src/SynTree/Mutator.cc (moved) * src/SynTree/Mutator.h (moved) * src/SynTree/NamedTypeDecl.cc (moved) * src/SynTree/ObjectDecl.cc (moved) * src/SynTree/PointerType.cc (moved) * src/SynTree/ReferenceToType.cc (moved) * src/SynTree/Statement.cc (moved) * src/SynTree/Statement.h (moved) * src/SynTree/SynTree.h (moved) * src/SynTree/TupleExpr.cc (moved) * src/SynTree/TupleType.cc (moved) * src/SynTree/Type.cc (moved) * src/SynTree/Type.h (moved) * src/SynTree/TypeDecl.cc (moved) * src/SynTree/TypeExpr.cc (moved) * src/SynTree/TypeSubstitution.cc (moved) * src/SynTree/TypeSubstitution.h (moved) * src/SynTree/TypeofType.cc (moved) * src/SynTree/Visitor.cc (moved) * src/SynTree/Visitor.h (moved) * src/SynTree/VoidType.cc (moved) * src/SynTree/module.mk (moved) * src/Tests/Parser/Array.c (moved) * src/Tests/Parser/Constant0-1.c (moved) * src/Tests/Parser/DeclarationSpecifier.c (moved) * src/Tests/Parser/Expected/Array.tst (moved) * src/Tests/Parser/Expected/Constant0-1.tst (moved) * src/Tests/Parser/Expected/DeclarationSpecifier.tst (moved) * src/Tests/Parser/Expected/Forall.tst (moved) * src/Tests/Parser/Expected/Functions.tst (moved) * src/Tests/Parser/Expected/IdentFuncDeclarator.tst (moved) * src/Tests/Parser/Expected/IdentFuncParamDeclarator.tst (moved) * src/Tests/Parser/Expected/Initialization.tst (moved) * src/Tests/Parser/Expected/Scope.tst (moved) * src/Tests/Parser/Expected/StructMember.tst (moved) * src/Tests/Parser/Expected/Tuple.tst (moved) * src/Tests/Parser/Expected/TypeGenerator.tst (moved) * src/Tests/Parser/Expected/Typedef.tst (moved) * src/Tests/Parser/Expected/TypedefDeclarator.tst (moved) * src/Tests/Parser/Expected/TypedefParamDeclarator.tst (moved) * src/Tests/Parser/Expected/VariableDeclarator.tst (moved) * src/Tests/Parser/Forall.c (moved) * src/Tests/Parser/Functions.c (moved) * src/Tests/Parser/IdentFuncDeclarator.c (moved) * src/Tests/Parser/IdentFuncParamDeclarator.c (moved) * src/Tests/Parser/Initialization.c (moved) * src/Tests/Parser/Makefile (moved) * src/Tests/Parser/Scope.c (moved) * src/Tests/Parser/StructMember.c (moved) * src/Tests/Parser/Tuple.c (moved) * src/Tests/Parser/TypeGenerator.c (moved) * src/Tests/Parser/Typedef.c (moved) * src/Tests/Parser/TypedefDeclarator.c (moved) * src/Tests/Parser/TypedefParamDeclarator.c (moved) * src/Tests/Parser/VariableDeclarator.c (moved) * src/Tests/ResolvExpr/Abstype.c (moved) * src/Tests/ResolvExpr/Attributes.c (moved) * src/Tests/ResolvExpr/Cast.c (moved) * src/Tests/ResolvExpr/CastError.c (moved) * src/Tests/ResolvExpr/Expected/Abstype.tst (moved) * src/Tests/ResolvExpr/Expected/Attributes.tst (moved) * src/Tests/ResolvExpr/Expected/Cast.tst (moved) * src/Tests/ResolvExpr/Expected/CastError.tst (moved) * src/Tests/ResolvExpr/Expected/Forall.tst (moved) * src/Tests/ResolvExpr/Expected/Function.tst (moved) * src/Tests/ResolvExpr/Expected/InferParam.tst (moved) * src/Tests/ResolvExpr/Expected/Members.tst (moved) * src/Tests/ResolvExpr/Expected/Misc.tst (moved) * src/Tests/ResolvExpr/Expected/MiscError.tst (moved) * src/Tests/ResolvExpr/Expected/OccursError.tst (moved) * src/Tests/ResolvExpr/Expected/Operators.tst (moved) * src/Tests/ResolvExpr/Expected/Quad.tst (moved) * src/Tests/ResolvExpr/Expected/Rank2.tst (moved) * src/Tests/ResolvExpr/Expected/ShortCircuit.tst (moved) * src/Tests/ResolvExpr/Expected/Statement.tst (moved) * src/Tests/ResolvExpr/Forall.c (moved) * src/Tests/ResolvExpr/Function.c (moved) * src/Tests/ResolvExpr/InferParam.c (moved) * src/Tests/ResolvExpr/Makefile (moved) * src/Tests/ResolvExpr/Members.c (moved) * src/Tests/ResolvExpr/Misc.c (moved) * src/Tests/ResolvExpr/MiscError.c (moved) * src/Tests/ResolvExpr/OccursError.c (moved) * src/Tests/ResolvExpr/Operators.c (moved) * src/Tests/ResolvExpr/Quad.c (moved) * src/Tests/ResolvExpr/Rank2.c (moved) * src/Tests/ResolvExpr/ShortCircuit.c (moved) * src/Tests/ResolvExpr/Statement.c (moved) * src/Tests/ResolvExpr/make-rules (moved) * src/Tests/ResolvExpr/run-tests.sh (moved) * src/Tests/SynTree/Array.c (moved) * src/Tests/SynTree/Constant0-1.c (moved) * src/Tests/SynTree/Context.c (moved) * src/Tests/SynTree/DeclarationErrors.c (moved) * src/Tests/SynTree/DeclarationSpecifier.c (moved) * src/Tests/SynTree/Enum.c (moved) * src/Tests/SynTree/Expected-SymTab/Array.tst (moved) * src/Tests/SynTree/Expected-SymTab/Context.tst (moved) * src/Tests/SynTree/Expected-SymTab/Enum.tst (moved) * src/Tests/SynTree/Expected-SymTab/Forall.tst (moved) * src/Tests/SynTree/Expected-SymTab/Scope.tst (moved) * src/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (moved) * src/Tests/SynTree/Expected-SymTab/Tuple.tst (moved) * src/Tests/SynTree/Expected/Array.tst (moved) * src/Tests/SynTree/Expected/Constant0-1.tst (moved) * src/Tests/SynTree/Expected/Context.tst (moved) * src/Tests/SynTree/Expected/DeclarationSpecifier.tst (moved) * src/Tests/SynTree/Expected/Enum.tst (moved) * src/Tests/SynTree/Expected/Forall.tst (moved) * src/Tests/SynTree/Expected/Functions.tst (moved) * src/Tests/SynTree/Expected/IdentFuncDeclarator.tst (moved) * src/Tests/SynTree/Expected/Initialization.tst (moved) * src/Tests/SynTree/Expected/Scope.tst (moved) * src/Tests/SynTree/Expected/StructMember.tst (moved) * src/Tests/SynTree/Expected/Tuple.tst (moved) * src/Tests/SynTree/Expected/TypeGenerator.tst (moved) * src/Tests/SynTree/Expected/Typedef.tst (moved) * src/Tests/SynTree/Expected/TypedefDeclarator.tst (moved) * src/Tests/SynTree/Expected/TypedefParamDeclarator.tst (moved) * src/Tests/SynTree/Expected/VariableDeclarator.tst (moved) * src/Tests/SynTree/Forall.c (moved) * src/Tests/SynTree/Functions.c (moved) * src/Tests/SynTree/IdentFuncDeclarator.c (moved) * src/Tests/SynTree/IdentFuncParamDeclarator.c (moved) * src/Tests/SynTree/Initialization.c (moved) * src/Tests/SynTree/Makefile (moved) * src/Tests/SynTree/Scope.c (moved) * src/Tests/SynTree/ScopeErrors.c (moved) * src/Tests/SynTree/StructMember.c (moved) * src/Tests/SynTree/Tuple.c (moved) * src/Tests/SynTree/TypeGenerator.c (moved) * src/Tests/SynTree/Typedef.c (moved) * src/Tests/SynTree/TypedefDeclarator.c (moved) * src/Tests/SynTree/TypedefParamDeclarator.c (moved) * src/Tests/SynTree/VariableDeclarator.c (moved) * src/Tests/SynTree/make-rules (moved) * src/Tests/SynTree/run-tests.sh (moved) * src/Tests/Syntax/Array.c (moved) * src/Tests/Syntax/AsmName.c (moved) * src/Tests/Syntax/Attributes.c (moved) * src/Tests/Syntax/CharStringConstants.c (moved) * src/Tests/Syntax/CommentMisc.c (moved) * src/Tests/Syntax/Constant0-1.c (moved) * src/Tests/Syntax/DeclarationSpecifier.c (moved) * src/Tests/Syntax/Exception.c (moved) * src/Tests/Syntax/Expression.c (moved) * src/Tests/Syntax/Forall.c (moved) * src/Tests/Syntax/Functions.c (moved) * src/Tests/Syntax/GccExtensions.c (moved) * src/Tests/Syntax/IdentFuncDeclarator.c (moved) * src/Tests/Syntax/IdentFuncParamDeclarator.c (moved) * src/Tests/Syntax/Initialization.c (moved) * src/Tests/Syntax/LabelledExit.c (moved) * src/Tests/Syntax/Makefile (moved) * src/Tests/Syntax/NamedParmArg.c (moved) * src/Tests/Syntax/NumericConstants.c (moved) * src/Tests/Syntax/Scope.c (moved) * src/Tests/Syntax/StructMember.c (moved) * src/Tests/Syntax/Subrange.c (moved) * src/Tests/Syntax/Switch.c (moved) * src/Tests/Syntax/Tuple.c (moved) * src/Tests/Syntax/TypeGenerator.c (moved) * src/Tests/Syntax/Typedef.c (moved) * src/Tests/Syntax/TypedefDeclarator.c (moved) * src/Tests/Syntax/TypedefParamDeclarator.c (moved) * src/Tests/Syntax/Typeof.c (moved) * src/Tests/Syntax/VariableDeclarator.c (moved) * src/Tests/TupleAssign/Initialization2.c (moved) * src/Tests/gcc/900407-1.c (moved) * src/Tests/gcc/900516-1.c (moved) * src/Tests/gcc/920301-1.c (moved) * src/Tests/gcc/920409-1.c (moved) * src/Tests/gcc/920409-2.c (moved) * src/Tests/gcc/920410-2.c (moved) * src/Tests/gcc/920501-1.c (moved) * src/Tests/gcc/920501-11.c (moved) * src/Tests/gcc/920501-19.c (moved) * src/Tuples/AssignExpand.cc (moved) * src/Tuples/AssignExpand.h (moved) * src/Tuples/FlattenTuple.cc (moved) * src/Tuples/FlattenTuple.h (moved) * src/Tuples/FunctionChecker.cc (moved) * src/Tuples/FunctionChecker.h (moved) * src/Tuples/FunctionFixer.cc (moved) * src/Tuples/FunctionFixer.h (moved) * src/Tuples/MultRet.cc (moved) * src/Tuples/MultRet.h (moved) * src/Tuples/Mutate.cc (moved) * src/Tuples/Mutate.h (moved) * src/Tuples/NameMatcher.cc (moved) * src/Tuples/NameMatcher.h (moved) * src/Tuples/TupleAssignment.cc (moved) * src/Tuples/TupleAssignment.h (moved) * src/Tuples/module.mk (moved) * src/attr-ex (moved) * src/comments.txt (moved) * src/examples/Makefile.in (moved) * src/examples/abstype.c (moved) * src/examples/array.c (moved) * src/examples/array.h (moved) * src/examples/constants.c (moved) * src/examples/control_structures.c (moved) * src/examples/ctxts.c (moved) * src/examples/esskaykay.c (moved) * src/examples/forward.c (moved) * src/examples/fstream.c (moved) * src/examples/fstream.h (moved) * src/examples/fstream_test.c (moved) * src/examples/fwrite.c (moved) * src/examples/hello.c (moved) * src/examples/huge.c (moved) * src/examples/identity.c (moved) * src/examples/includes.c (moved) * src/examples/index.h (moved) * src/examples/iostream.c (moved) * src/examples/iostream.h (moved) * src/examples/it_out.c (moved) * src/examples/iterator.c (moved) * src/examples/iterator.h (moved) * src/examples/min.c (moved) * src/examples/new.c (moved) * src/examples/prolog.c (moved) * src/examples/quad.c (moved) * src/examples/quoted_keyword.c (moved) * src/examples/rodolfo1.c (moved) * src/examples/rodolfo2.c (moved) * src/examples/s.c (moved) * src/examples/simple.c (moved) * src/examples/simplePoly.c (moved) * src/examples/simpler.c (moved) * src/examples/specialize.c (moved) * src/examples/square.c (moved) * src/examples/square.cf (moved) * src/examples/sum.c (moved) * src/examples/swap.c (moved) * src/examples/twice.c (moved) * src/examples/vector_int.c (moved) * src/examples/vector_int.h (moved) * src/examples/vector_test.c (moved) * src/initialization.txt (moved) * src/main.cc (moved) * src/preludesrc.c (moved) * src/spectest (moved) licencing: seventh groups of files