# # ChangeLog for src/SymTab/Validate.cc # # Generated by Trac 1.2.1 # Apr 27, 2024, 12:56:45 PM Mon, 07 Aug 2017 16:35:05 GMT Thierry Delisle [56e49b0] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Fixed some assertf related warnings Wed, 12 Jul 2017 17:58:00 GMT Thierry Delisle [30f9072] * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) More cleanup on the headers Fri, 23 Jun 2017 16:12:46 GMT Rob Schluntz [d24d4e1] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) convert more passes to PassVisitor, fix PassVisitor constructor bug, ... Wed, 21 Jun 2017 17:40:54 GMT Rob Schluntz [06edda0] * src/SymTab/Validate.cc (modified) convert EnumAndPointerDecayPass and ForallPointerDecay to PassVisitor Tue, 20 Jun 2017 18:02:46 GMT Rob Schluntz [0508ab3] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) fix passes using PassVisitor to use inheritance rather than explicit ... Sun, 18 Jun 2017 13:22:22 GMT Rob Schluntz [436c0de] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/generic_types/refereeReport.txt (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/build/bump_ver.sh (modified) * doc/proposals/concurrency/build/version (deleted) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (added) * doc/proposals/tagged-struct.txt (added) * doc/user/user.tex (modified) * doc/working/exception/design.txt (modified) * doc/working/exception/impl/except.c (deleted) * doc/working/exception/impl/except.h (deleted) * doc/working/exception/impl/exception.c (added) * doc/working/exception/impl/exception.h (added) * doc/working/exception/impl/main.c (deleted) * doc/working/exception/impl/resume-main.c (deleted) * doc/working/exception/impl/test-main.c (added) * doc/working/exception/translate.c (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.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/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/examples/fwrite.c (deleted) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/tests/.expect/identity.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/maybe.txt (added) * src/tests/.expect/result.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (modified) * src/tests/identity.c (moved) * src/tests/io.c (modified) * src/tests/maybe.c (added) * src/tests/preempt_longrun/Makefile.am (added) * src/tests/preempt_longrun/Makefile.in (added) * src/tests/preempt_longrun/create.c (added) * src/tests/preempt_longrun/processor.c (added) * src/tests/preempt_longrun/stack.c (added) * src/tests/preempt_longrun/yield.c (added) * src/tests/result.c (added) * tools/cfa.nanorc (modified) * tools/repeat (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa ... Wed, 07 Jun 2017 17:48:19 GMT Rob Schluntz [c6d2e93] * src/SymTab/Validate.cc (modified) add unused attribute to function return variable Tue, 06 Jun 2017 20:03:24 GMT Thierry Delisle [af397ef8] * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) More attribute unused on parameters Fri, 02 Jun 2017 22:30:18 GMT Rob Schluntz [0db6fc0] * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) convert several passes to PassVisitor Fri, 26 May 2017 22:37:49 GMT Rob Schluntz [67cf18c] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.cc (modified) * src/libcfa/containers/vector (modified) * src/tests/libcfa_vector.c (modified) implement default type arguments for generic types [closes #13] Fri, 19 May 2017 19:44:49 GMT Rob Schluntz [11ab8ea8] * src/SymTab/Validate.cc (modified) add checks for generic type parameter length Tue, 02 May 2017 23:09:44 GMT Rob Schluntz [ed8a0d2] * src/SymTab/Validate.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) constructor taking an array parameter is now an error Tue, 04 Apr 2017 17:28:15 GMT Rob Schluntz [fbd7ad6] * src/SymTab/Validate.cc (modified) compute and store array length when missing and known at compile-time Thu, 30 Mar 2017 21:21:07 GMT Peter A. Buhr [fbcde64] * src/CodeGen/CodeGenerator.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) remove duplication in compound literal, support aggregate-type ... Thu, 23 Mar 2017 15:37:27 GMT Thierry Delisle [bcda04c] * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/Parser/lex.ll (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) Fixed autogen constructors for concurrent sues Thu, 16 Mar 2017 22:14:32 GMT Peter A. Buhr [395fc37] * doc/LaTeXmacros/common.tex (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/tests/.expect/tuplePolymorphism.txt (modified) * src/tests/memberCtors.c (modified) * src/tests/tuplePolymorphism.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 16 Mar 2017 22:14:27 GMT Peter A. Buhr [6f95000] * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) more cleanup for bit-field type usage and create struct forward for ... Thu, 16 Mar 2017 20:50:08 GMT Rob Schluntz [1fbab5a] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * doc/proposals/flags.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/ThrdCtxSwitch.c (modified) * src/benchmark/bench.c (modified) * src/benchmark/csv-data.c (modified) * src/examples/multicore.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine (moved) * src/libcfa/concurrency/coroutine.c (moved) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (moved) * src/libcfa/concurrency/thread.c (moved) * src/tests/coroutine.c (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 16 Mar 2017 12:23:42 GMT Peter A. Buhr [68fe077a] * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) move type StorageClasses from DeclarationNode to Type Thu, 16 Mar 2017 01:43:15 GMT Peter A. Buhr [f2e40a9f] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * doc/proposals/flags.md (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/ThrdCtxSwitch.c (modified) * src/benchmark/bench.c (modified) * src/benchmark/csv-data.c (modified) * src/examples/multicore.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine (moved) * src/libcfa/concurrency/coroutine.c (moved) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (moved) * src/libcfa/concurrency/thread.c (moved) * src/tests/coroutine.c (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 14 Mar 2017 19:17:20 GMT Rob Schluntz [2f26687a] * Jenkinsfile (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (added) * src/Concurrency/Keywords.h (added) * src/Concurrency/module.mk (added) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 14 Mar 2017 15:09:16 GMT Thierry Delisle [c54b0b4] * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Added isMutex qualifier Fri, 10 Mar 2017 16:00:13 GMT Rob Schluntz [861799c] * src/Parser/parser.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TypeDecl.cc (modified) fix 0,1 member access, fix autogenerated routines missing size for ... Tue, 07 Mar 2017 13:33:43 GMT Peter A. Buhr [a7c90d4] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.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/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/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change StorageClass to bitset, support _Thread_local as separate ... Sat, 04 Mar 2017 03:12:02 GMT Peter A. Buhr [dd020c0] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.h (modified) first attempt to create function specifiers Fri, 24 Feb 2017 20:58:03 GMT Rob Schluntz [43c89a7] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) add hoistType flag (currently unused) Mon, 13 Feb 2017 19:33:10 GMT Thierry Delisle [fb7dca0] * src/SymTab/Validate.cc (modified) Changed assert to assertf in validate.cc, should be changed to a ... Tue, 07 Feb 2017 18:01:34 GMT Rob Schluntz [fe26fbf] * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/CodeTools/DeclStats.cc (added) * src/CodeTools/DeclStats.h (added) * src/CodeTools/module.mk (added) * src/Common/ScopedMap.h (modified) * src/Common/VectorMap.h (added) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parser.yy.new (added) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (added) * src/benchmark/Makefile.am (added) * src/benchmark/Makefile.in (added) * src/benchmark/ThrdCtxSwitch.c (added) * src/benchmark/bench.c (moved) * src/driver/cfa.cc (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (added) * src/prelude/sync-builtins.def (added) * src/tests/.expect/64/attributes.txt (added) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/attributes.c (added) * src/tests/extension.c (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 07 Feb 2017 18:01:29 GMT Rob Schluntz [dbe8f244] * src/SymTab/Validate.cc (modified) move function type to function decl when replacing function typedefs Mon, 06 Feb 2017 21:19:41 GMT Peter A. Buhr [c0aa336] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parser.yy.new (added) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/tests/.expect/64/attributes.txt (added) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/attributes.c (added) * src/tests/extension.c (modified) third attempt at gcc attributes Fri, 27 Jan 2017 20:07:53 GMT Rob Schluntz [0a86a30] * src/SymTab/FixFunction.cc (modified) * src/SymTab/Validate.cc (modified) fix dropping attributes in function pointer decay and function typedefs Tue, 24 Jan 2017 20:56:33 GMT Rob Schluntz [4a9ccc3] * src/Common/utility.h (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/tests/vector/array.c (modified) * src/tests/vector/array.h (modified) propagate sized status through trait instances Thu, 15 Dec 2016 18:33:23 GMT Rob Schluntz [9facf3b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (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/scopeErrors.txt (modified) update generation of return variables and the affected test outputs Tue, 13 Dec 2016 23:42:39 GMT Rob Schluntz [cce9429] * src/GenPoly/Box.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) fix function return type in Validate and add single return decl, ... Fri, 25 Nov 2016 23:11:03 GMT Rob Schluntz [2c57025] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/libcfa/prelude.cf (modified) * src/tests/.expect/completeTypeError.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/completeTypeError.c (added) add support for built-in sized trait which decouples size/alignment ... Wed, 09 Nov 2016 19:51:42 GMT Rob Schluntz [b726084] * .gitignore (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (added) * doc/proposals/concurrency/version (modified) * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) * src/ControlStruct/LabelFixer.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/tests/Makefile.in (modified) * version (deleted) Merge branch 'master' into tuples Conflicts: ... Wed, 09 Nov 2016 19:05:09 GMT Rob Schluntz [b3b2077] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) refactor some code that generates dereference and assignment calls Thu, 27 Oct 2016 20:22:27 GMT Thierry Delisle [62e5546] * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (modified) Removed warnings when compiling with clang Mon, 19 Sep 2016 20:39:33 GMT Rob Schluntz [8c49c0e] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) decouple code that uses Type's forall list from std::list in ... Sat, 17 Sep 2016 12:27:51 GMT Rob Schluntz [3c13c03] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/utility.h (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) expand TupleExpr and TupleIndexExpr, add UniqueExpr Fri, 09 Sep 2016 13:20:33 GMT Rob Schluntz [d1969a6] * src/InitTweak/InitTweak.cc (modified) * src/SymTab/Validate.cc (modified) * src/include/assert.h (modified) check that assignment routines have a reasonable signature, add ... Wed, 31 Aug 2016 15:20:03 GMT Thierry Delisle [e491159] * src/Common/ScopedMap.h (added) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScopedMap.h (deleted) * src/SymTab/Validate.cc (modified) Moved ScopedMap to Common folder Tue, 30 Aug 2016 20:02:53 GMT Thierry Delisle [bda58ad] * src/SymTab/Validate.cc (modified) Fixed leaks and rename pass1 in validate phase Mon, 29 Aug 2016 16:20:45 GMT Thierry Delisle [46f6134] * src/GenPoly/ScopedMap.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/main.cc (modified) Implemented owning scoped map for typedef elimination phase Fri, 26 Aug 2016 19:06:08 GMT Thierry Delisle [1e8b02f5] * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) removed unnecessary clone statement in validate phase Wed, 24 Aug 2016 16:36:33 GMT Rob Schluntz [79970ed] * src/CodeGen/GenType.h (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/LinkageSpec.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TypeSubstitution.h (modified) implement warnings for missing struct member constructor calls, ... 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, 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 ... Fri, 15 Jul 2016 17:22:34 GMT Rob Schluntz [956a9c7] * src/SymTab/Validate.cc (modified) add forward declaration for enum type when used in a typedef 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, 27 Jun 2016 16:44:15 GMT Rob Schluntz [74d1804] * src/SymTab/Validate.cc (modified) * src/SynTree/Statement.cc (modified) remove void check in ReturnChecker in Validate, add ownership of ... 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 ... Wed, 01 Jun 2016 21:58:15 GMT Rob Schluntz [83de11e] * src/GenPoly/GenPoly.cc (modified) * src/SymTab/Validate.cc (modified) fix invalid use of lists that caused a crash in gcc versions larger ... Fri, 27 May 2016 19:32:57 GMT Rob Schluntz [677c1be] * src/SymTab/Validate.cc (modified) fix problem with chaining member access expressions Thu, 12 May 2016 17:19:59 GMT Rob Schluntz [fb24492] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Merge branch 'master' into ctor Conflicts: ... Wed, 11 May 2016 17:15:29 GMT Rob Schluntz [fac84be] * src/SymTab/Validate.cc (modified) autogenerated assignment should not assign an unnamed member Fri, 22 Apr 2016 17:42:36 GMT Rob Schluntz [fbfb38e] * doc/user/Cdecl.fig (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/ResolvExpr/CastCost.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/driver/cfa.cc (modified) * src/examples/io.c (modified) * src/examples/swap.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/math (added) * src/libcfa/math.c (added) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor Mon, 18 Apr 2016 19:01:15 GMT Aaron Moss [b644d6f] * src/SymTab/Validate.cc (modified) Fix typedef elimination pass to recursively eliminate typedefs in ... Thu, 14 Apr 2016 20:13:10 GMT Rob Schluntz [70a06f6] * doc/LaTeXmacros/common.tex (added) * doc/LaTeXmacros/indexstyle (moved) * doc/bibliography/cfa.bib (added) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (modified) * doc/user/indexstyle (deleted) * doc/user/user.bib (deleted) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (added) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/driver/cfa.cc (modified) * src/examples/io.c (added) * src/examples/io.data (moved) * src/examples/rational.c (added) * src/examples/rational.cc (added) * src/examples/read.c (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/limits (modified) * src/libcfa/limits.c (added) * src/libcfa/rational (added) * src/libcfa/rational.c (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor Conflicts: ... Wed, 13 Apr 2016 21:08:56 GMT Peter A. Buhr [45161b4d] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) generate implicit typedef right after sue name appears, further fixes ... Fri, 08 Apr 2016 21:22:29 GMT Peter A. Buhr [630a82a] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/rational.c (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) C99 compound literals now work, comment rational code, clean up ... Wed, 06 Apr 2016 21:11:32 GMT Rob Schluntz [a5a71d0] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (added) * doc/user/indexstyle (added) * doc/user/user.bib (added) * doc/user/user.tex (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/InstantiateGeneric.h (deleted) * src/GenPoly/module.mk (modified) * src/InitTweak/RemoveInit.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/Parser.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/AggregateTable.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/IdTable.cc (deleted) * src/SymTab/IdTable.h (deleted) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/StackTable.cc (deleted) * src/SymTab/StackTable.h (deleted) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeTable.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/CodeGenVisitor.cc (deleted) * src/SynTree/CodeGenVisitor.h (deleted) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (modified) * src/examples/array.c (modified) * src/examples/array.h (modified) * src/examples/ato.c (modified) * src/examples/constants.c (modified) * src/examples/ctxts.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/huge.c (modified) * src/examples/identity.c (modified) * src/examples/includes.c (modified) * src/examples/index.h (modified) * src/examples/it_out.c (modified) * src/examples/limits.c (modified) * src/examples/minmax.c (modified) * src/examples/new.c (modified) * src/examples/prolog.c (modified) * src/examples/quad.c (modified) * src/examples/random.c (modified) * src/examples/read.c (added) * src/examples/read.data (added) * src/examples/searchsort.c (modified) * src/examples/simplePoly.c (modified) * src/examples/simpler.c (modified) * src/examples/specialize.c (modified) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/tests/vector_test.out.txt (modified) * src/examples/twice.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bfd.h (deleted) * src/libcfa/bfdlink.h (deleted) * src/libcfa/builtins.cf (modified) * src/libcfa/demangle.h (deleted) * src/libcfa/dialog.h (deleted) * src/libcfa/evdns.h (deleted) * src/libcfa/evhttp.h (deleted) * src/libcfa/evrpc.h (deleted) * src/libcfa/fcntl.h (deleted) * src/libcfa/form.h (deleted) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/gcrypt.h (deleted) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/math.h (deleted) * src/libcfa/prelude.cf (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'fix-memory-error' into ctor Conflicts: ... Thu, 03 Mar 2016 21:50:48 GMT Rob Schluntz [620cb95] * src/InitTweak/RemoveInit.cc (modified) * src/Makefile.in (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) separate Autogen from Validate, call default ctor/dtors on array elements Thu, 03 Mar 2016 19:45:51 GMT Rob Schluntz [071a31a] * src/InitTweak/RemoveInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/libcfa/prelude.cf (modified) removed array ctor/dtors from prelude, generalized struct routine ... Wed, 02 Mar 2016 23:15:02 GMT Peter A. Buhr [4040425] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/AggregateTable.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/array.c (modified) * src/examples/array.h (modified) * src/examples/ctxts.c (modified) * src/examples/index.h (modified) * src/examples/it_out.c (modified) * src/examples/prolog.c (modified) * src/examples/sum.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/prelude.cf (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) change keyword type to otype and context to trait 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: ... Tue, 23 Feb 2016 16:02:53 GMT Rob Schluntz [7528ba1] * src/SymTab/Validate.cc (modified) autogen struct ctor/dtor first attempt Thu, 11 Feb 2016 20:28:23 GMT Aaron Moss [98735ef] * src/GenPoly/Box.cc (modified) * src/SymTab/Validate.cc (modified) Renamed type parameters on generic struct assignment operators 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:46 GMT Peter A. Buhr [ae8b942] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedMap.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/InitModel.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 29 Jan 2016 21:36:39 GMT Peter A. Buhr [d3b7937] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/BasicInit.cc (modified) * src/InitTweak/DeclarationHoister.cc (modified) * src/InitTweak/InitExpander.cc (modified) * src/InitTweak/InitExpander.h (modified) * src/InitTweak/InitModel.h (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/AssignExpand.h (modified) * src/Tuples/FunctionChecker.cc (modified) * src/Tuples/FunctionChecker.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (added) * src/examples/alloc.c (modified) * src/examples/array.h (modified) * src/examples/constants.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/limits.c (added) * src/examples/minmax.c (moved) * src/examples/new.c (modified) * src/examples/quad.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/twice.c (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (added) * src/libcfa/algorithm.c (added) * src/libcfa/bfd.h (moved) * src/libcfa/bfdlink.h (moved) * src/libcfa/demangle.h (moved) * src/libcfa/dialog.h (moved) * src/libcfa/evdns.h (moved) * src/libcfa/evhttp.h (moved) * src/libcfa/evrpc.h (moved) * src/libcfa/expat.h (moved) * src/libcfa/fcntl.h (moved) * src/libcfa/form.h (moved) * src/libcfa/fstream (moved) * src/libcfa/fstream.c (moved) * src/libcfa/gcrypt.h (moved) * src/libcfa/iostream (moved) * src/libcfa/iostream.c (moved) * src/libcfa/iterator (moved) * src/libcfa/iterator.c (moved) * src/libcfa/limits (added) * src/libcfa/math.h (moved) * src/main.cc (modified) building runtime library (first attempt) Fri, 22 Jan 2016 16:00:19 GMT Aaron Moss [4ef7506] * src/SymTab/Validate.cc (modified) Kludge auto-generated assignment operator for generic types into ... Thu, 07 Jan 2016 16:28:48 GMT Rob Schluntz [083cf31] * INSTALL (modified) * configure (modified) * configure.ac (modified) * doc/refrat/refrat.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (added) * src/GenPoly/DeclMutator.h (added) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/InitModel.h (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) merge with master Fri, 18 Dec 2015 20:40:22 GMT Rob Schluntz [de91427b] * src/SymTab/Validate.cc (modified) emit a compiler error if a void function returns a value or if a non- ... Fri, 18 Dec 2015 19:36:53 GMT Rob Schluntz [9cb8e88d] * src/SymTab/Validate.cc (modified) * src/initialization.txt (modified) validate constructors and destructors - ensure they return nothing, ... Thu, 26 Nov 2015 20:46:03 GMT Aaron Moss [32d281d] * src/SymTab/Validate.cc (modified) Fixed generic struct assignment operator generation to generify ... Fri, 20 Nov 2015 21:44:27 GMT Rob Schluntz [5189888] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/iterator.c (modified) * src/examples/iterator.h (modified) * src/examples/vector_test.c (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Conflicts: ... Fri, 20 Nov 2015 21:19:13 GMT Peter A. Buhr [839ccbb] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/examples/Makefile.am (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 20 Nov 2015 15:32:05 GMT Rob Schluntz [63afee0] * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Thu, 19 Nov 2015 16:12:38 GMT Rob Schluntz [f066321] * src/SymTab/Validate.cc (modified) * src/libcfa/prelude.cf (modified) changed AddStructAssignment to AutogenerateRoutines, update prelude ... Tue, 10 Nov 2015 21:15:48 GMT Aaron Moss [37a3b8f9] * src/Parser/TypeData.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) First code generation for generic types (incorrect) Wed, 07 Oct 2015 16:38:48 GMT Rob Schluntz [1cbca6e] * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ObjectDecl.cc (modified) check length, etc. in unification of arrays, switch typedef equality ... 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 ... Mon, 28 Sep 2015 22:25:43 GMT Peter A. Buhr [02e5ab6] * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/driver/cfa.cc (modified) add preprocessor flag -D__CFORALL__=1, add syntax for ... Tue, 11 Aug 2015 20:34:47 GMT Rob Schluntz [ae4c85a] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) fix function type parameter names leaking into the enclosing scope, ... Wed, 29 Jul 2015 16:07:38 GMT Aaron Moss [b29f8f3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge from origin Wed, 22 Jul 2015 17:16:39 GMT Rob Schluntz [51b986f] * src/SymTab/Validate.cc (modified) fix segfault: error check for incorrect number of context parameters Thu, 16 Jul 2015 21:28:24 GMT Peter A. Buhr [1db21619] * src/CodeGen/GenType.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) add __CFA__ flag, remove -p from cc1, typedef on functions become ... Wed, 15 Jul 2015 20:47:48 GMT Rob Schluntz [724c2b6] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) * src/main.cc (modified) Merge branch 'resolver' Wed, 15 Jul 2015 20:36:42 GMT Aaron Moss [73737e5] * src/SymTab/Validate.cc (modified) Add doc comments Wed, 15 Jul 2015 20:18:56 GMT Aaron Moss [34e3732] * src/SymTab/Validate.cc (modified) Remove pass2 from validateType; fixes assertion failure in resolver Wed, 15 Jul 2015 18:59:57 GMT Rob Schluntz [145f1fc] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) modified ForStmt to have a list of statements for the initialization ... Tue, 14 Jul 2015 15:31:54 GMT Aaron Moss [9163b9c] * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 13 Jul 2015 18:43:46 GMT Rob Schluntz [dfee306] * src/CodeGen/FixNames.h (modified) * src/CodeGen/Generate.h (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/RemoveInit.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/TypeSubstitution.h (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Mon, 13 Jul 2015 18:41:40 GMT Rob Schluntz [85c4ef0] * src/SymTab/Validate.cc (modified) typedefs nested within aggregates are handled Fri, 10 Jul 2015 20:35:25 GMT Aaron Moss [0215a76f] * src/SymTab/Validate.cc (modified) Copy instance parameters over typedefs Thu, 09 Jul 2015 19:07:32 GMT Aaron Moss [cff1143] * src/CodeGen/GenType.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/SymTab/TypeEquality.cc (added) * src/SymTab/TypeEquality.h (added) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 09 Jul 2015 19:07:22 GMT Aaron Moss [82dd287] * src/CodeGen/FixNames.h (modified) * src/CodeGen/Generate.h (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/Specialize.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/TypeSubstitution.h (modified) Doc comments