# # ChangeLog for src/ResolvExpr/RenameVars.cc # # Generated by Trac 1.2.1 # Nov 16, 2024, 7:29:20 AM Thu, 31 Dec 2020 21:17:19 GMT Fangren Yu [7583c02] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) partially improve #226: resolver environment size reduced to O(n) ... Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu [3e5dd913] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/ForallSubstitutionTable.cpp (deleted) * src/AST/ForallSubstitutionTable.hpp (deleted) * src/AST/ForallSubstitutor.hpp (deleted) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/errors/.expect/completeType.nast.x86.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified) reimplement function type and eliminate deep copy Sat, 12 Dec 2020 04:20:45 GMT Fangren Yu [361bf01] * src/AST/Convert.cpp (modified) * src/AST/ForallSubstitutor.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) remove ParameterizedType and put content into FunctionType Tue, 17 Sep 2019 16:56:32 GMT Thierry Delisle [4e13e2a] * benchmark/Makefile.in (modified) * src/AST/Expr.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Added setting of result in Comma expression. Added asserts in ... Fri, 19 Jul 2019 18:44:13 GMT Michael Brooks [99da267] * src/AST/Attribute.hpp (modified) * src/AST/Copy.hpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Running a deep-copy on FunctionType at RenameVars time. This manual ... Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss [e0e9a0b] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (added) * src/AST/ForallSubstitutionTable.hpp (added) * src/AST/ForallSubstitutor.hpp (added) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/module.mk (modified) * src/Common/ScopedMap.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Somewhat deeper clone for types with forall qualifiers. * Added ... Thu, 20 Jun 2019 21:40:21 GMT Andrew Beach [f5edcb4] * src/ResolvExpr/RenameVars.cc (modified) RenameVars needed a rather significant rework for the new AST. Tue, 18 Jun 2019 22:05:30 GMT Aaron Moss [898ae07] * src/AST/porting.md (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) More resolver porting Wed, 01 May 2019 11:49:16 GMT Peter A. Buhr [1690778] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeSubstitution.h (modified) change from map/set to unordered map/set Tue, 16 Jan 2018 18:37:40 GMT Rob Schluntz [ad51cc2] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) Convert RenameVars to PassVisitor Wed, 15 Nov 2017 18:59:51 GMT Rob Schluntz [c95b115] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) Add reset counter to type variable renaming scheme to ensure ... Thu, 31 Aug 2017 19:29:38 GMT Rob Schluntz [be9036d] * src/ResolvExpr/RenameVars.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/prelude/prelude.cf (modified) Reorganize TraitInstType and TraitDecl, add sized trait definition to ... Tue, 15 Aug 2017 15:59:15 GMT Thierry Delisle [ea6332d] * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (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/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (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/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/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) Big header cleaning pass - commit 3 Tue, 20 Sep 2016 20:47:34 GMT Rob Schluntz [23b6643f] * 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/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (added) * src/SynTree/module.mk (modified) * src/examples/gc_no_raii/src/internal/card_table.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.c (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/containers/vector.c (modified) * src/tests/.expect/libcfa_vector.txt (added) * src/tests/libcfa_vector.c (modified) Merge branch 'master' into tuples Conflicts: ... Mon, 19 Sep 2016 21:23:41 GMT Aaron Moss [89e6ffc] * 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/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Added support for ZeroType and OneType to all relevant visitors Mon, 19 Sep 2016 20:39:33 GMT Rob Schluntz [8c49c0e] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) decouple code that uses Type's forall list from std::list in ... Mon, 27 Jun 2016 20:15:28 GMT Aaron Moss [2de162da] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/typeops.h (modified) Clean up code documentation 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 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 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 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, 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 ... 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