# # ChangeLog for src/ResolvExpr/Resolver.cc # # Generated by Trac 1.2.1 # Oct 31, 2024, 8:06:11 PM Tue, 15 Aug 2017 19:03:34 GMT Aaron Moss [3f27b9a] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix scoping issues for CatchStmt 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 Mon, 14 Aug 2017 20:56:17 GMT Aaron Moss [6a36975] * src/ResolvExpr/Resolver.cc (modified) Fix name mangling issues with CatchStmt Wed, 09 Aug 2017 18:08:14 GMT Andrew Beach [cbce272] * src/ControlStruct/ExceptTranslate.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/tests/except-0.c (modified) Structure based exception handling. Tue, 04 Jul 2017 15:52:33 GMT Andrew Beach [307a732] * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/lsda.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * tools/cfa.nanorc (modified) The exception handling code compilers and translates, but the ... Thu, 29 Jun 2017 21:41:12 GMT Rob Schluntz [435e75f] * src/ResolvExpr/Resolver.cc (modified) fix dropped environment Thu, 29 Jun 2017 21:06:24 GMT Rob Schluntz [62423350] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/tests/designations.c (modified) Big push on designations and initialization: works with generic ... Tue, 20 Jun 2017 17:19:53 GMT Rob Schluntz [e4d829b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CurrentObject.cc (added) * src/ResolvExpr/CurrentObject.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (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/TupleExpansion.cc (modified) major effort on designations, works in many cases Wed, 24 May 2017 20:12:28 GMT Rob Schluntz [0b150ec] * src/MakeLibCfa.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/prelude/prelude.cf (modified) minor zero_t/one_t prelude changes, simplify prelude generation, ... Thu, 23 Mar 2017 22:11:52 GMT Peter A. Buhr [6013bd7] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Type.h (modified) first attempt at named designators Tue, 14 Mar 2017 18:45:16 GMT Rob Schluntz [88d1066] * src/ResolvExpr/Resolver.cc (modified) remove environments from default argument expressions Fri, 17 Feb 2017 19:20:25 GMT Rob Schluntz [32b8144] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/tests/dtor-early-exit.c (modified) resolve case labels and case ranges Tue, 14 Feb 2017 20:53:52 GMT Thierry Delisle [138e29e] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Implemented filename and linenumber errors in most cases, only ... Wed, 01 Feb 2017 21:13:27 GMT Thierry Delisle [eeaea53] * src/ResolvExpr/Resolver.cc (modified) Removed undefined behavior when anonymous unions have no member Thu, 15 Dec 2016 22:16:42 GMT Rob Schluntz [66f8528] * .gitignore (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (added) * automake/config.sub (added) * configure (modified) * configure.ac (modified) * doc/proposals/NOTE.txt (added) * doc/proposals/closure.md (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/references.md (added) * doc/proposals/references.pdf (added) * doc/proposals/virtual.txt (added) * doc/proposals/void_ptr.md (added) * doc/proposals/void_ptr.pdf (added) * doc/proposals/zero_one.md (added) * doc/proposals/zero_one.pdf (added) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/Common/Assert.cc (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.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/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/Parser/parseutility.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/ArrayN.c (added) * src/examples/Bench.c (added) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/zero_one.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (added) * src/libcfa/assert.c (added) * src/libcfa/concurrency/CtxSwitch-i386.S (added) * src/libcfa/concurrency/CtxSwitch-i686.S (added) * src/libcfa/concurrency/CtxSwitch-x86_64.S (added) * src/libcfa/concurrency/invoke.c (added) * src/libcfa/concurrency/invoke.h (added) * src/libcfa/concurrency/threads (added) * src/libcfa/concurrency/threads.c (added) * src/libcfa/libhdr.h (added) * src/libcfa/libhdr/libalign.h (added) * src/libcfa/libhdr/libdebug.h (added) * src/libcfa/libhdr/libtools.h (added) * src/libcfa/stdhdr/assert.h (modified) * src/main.cc (modified) * src/prelude/Makefile.am (added) * src/prelude/Makefile.in (added) * src/prelude/builtins.c (moved) * src/prelude/builtins.def (moved) * src/prelude/extras.c (moved) * src/prelude/extras.regx (moved) * src/prelude/prelude.cf (moved) * src/prelude/prototypes.awk (moved) * src/prelude/prototypes.c (moved) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/.expect/constant0-1DP.txt (modified) * src/tests/.expect/constant0-1NDDP.txt (modified) * src/tests/.expect/coroutine.txt (added) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/voidPtr.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (added) * src/tests/test.py (modified) * src/tests/voidPtr.c (added) Merge branch 'master' into tuples Conflicts: ... Tue, 13 Dec 2016 22:20:54 GMT Rob Schluntz [1d2b64f] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/TupleAssignment.cc (modified) combine environments and costs in tuple assignment, resolve ... Fri, 11 Nov 2016 18:31:34 GMT Rob Schluntz [8f9cc50] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/version (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Merge branch 'master' into tuples Thu, 10 Nov 2016 21:32:41 GMT Thierry Delisle [5f5083e] * src/ResolvExpr/Resolver.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Fixed a few warnings in tuples Thu, 10 Nov 2016 21:16:32 GMT Rob Schluntz [30b65d8] * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) always construct polymorphic types, substitute generic type ... Wed, 09 Nov 2016 19:51:42 GMT Rob Schluntz [b726084] * .gitignore (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (added) * doc/proposals/concurrency/version (modified) * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) * src/ControlStruct/LabelFixer.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/tests/Makefile.in (modified) * version (deleted) Merge branch 'master' into tuples Conflicts: ... Thu, 27 Oct 2016 20:22:27 GMT Thierry Delisle [62e5546] * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) Removed warnings when compiling with clang Thu, 27 Oct 2016 19:24:02 GMT Rob Schluntz [77971f6] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) resolve ctor/dtors for UniqueExprs Thu, 22 Sep 2016 12:14:56 GMT Rob Schluntz [65660bd] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) replace multiple-returning functions with tuple-returning functions, ... 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 Thu, 15 Sep 2016 14:17:16 GMT Rob Schluntz [906e24d] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelTypeChecker.cc (deleted) * src/ControlStruct/LabelTypeChecker.h (deleted) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) replace results list on Expressions with a single Type field Sun, 04 Sep 2016 19:25:32 GMT Rob Schluntz [1ba88a0] * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) implement implicit ctor/dtor deletion, track managed types when ... Mon, 08 Aug 2016 20:20:29 GMT Rob Schluntz [a465caf] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) generate a field constructor for union types and some refactoring Fri, 05 Aug 2016 18:53:25 GMT Rob Schluntz [242d458] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) Merge branch 'typedecl' into resolve-typedecl Conflicts: ... Thu, 04 Aug 2016 20:10:06 GMT Rob Schluntz [f9cebb5] * src/CodeGen/CodeGenerator.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/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Label.h (modified) * src/SynTree/ObjectDecl.cc (modified) add gcc attributes to ObjectDecl, hoist destructed static variables, ... Tue, 02 Aug 2016 22:37:08 GMT Rob Schluntz [4d2434a] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Initializer.h (modified) major reorganization of constructor generation from initializer list ... Thu, 21 Jul 2016 15:19:24 GMT Rob Schluntz [40e636a] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Validate.cc (modified) only generate array dimension constant inside of functions, ... Tue, 19 Jul 2016 23:09:30 GMT Rob Schluntz [5f98ce5] * src/GenPoly/DeclMutator.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) hoist non-constexpr array dimension into const variable in case of ... Mon, 18 Jul 2016 20:13:51 GMT Rob Schluntz [2be1023] * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) rework ctor/dtor generation to work properly with multidimensional arrays Tue, 12 Jul 2016 22:34:33 GMT Peter A. Buhr [e4d3ceb] * Jenkins/FullBuild (added) * Jenkinsfile (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/tests/.expect/extension.txt (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 12 Jul 2016 22:34:10 GMT Peter A. Buhr [4e06c1e] * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.cc (deleted) * src/ControlStruct/ChooseMutator.h (deleted) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/includes.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/tests/switch.c (modified) changes for switch and choose statements Mon, 11 Jul 2016 21:20:03 GMT Rob Schluntz [cad355a] * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/tests/.expect/extension.txt (modified) generated field constructors for structs with const members no longer ... Thu, 23 Jun 2016 16:17:31 GMT Rob Schluntz [71a145de] * src/ResolvExpr/Resolver.cc (modified) remove destructor from ConstructorInit in fallback case Tue, 07 Jun 2016 19:59:15 GMT Rob Schluntz [a436947] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Attribute.h (modified) change type of enumerator to EnumInstType, allow casting between ... Mon, 06 Jun 2016 18:16:00 GMT Rob Schluntz [64071c2] * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Resolver.cc (modified) greatly simplify construction of qualified objects using cast ... 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 ... 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: ... 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 ... 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, ... 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: ... 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: ... 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 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 Wed, 07 Oct 2015 16:31:28 GMT Rob Schluntz [679864e1] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) link typedecl to its implementation type, typedecl initialization ... 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, 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 ... 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, ... 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 ... 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 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 ... 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