# # ChangeLog for src/GenPoly # # Generated by Trac 1.2.1 # May 17, 2024, 10:12:42 AM Thu, 18 May 2017 20:58:08 GMT Rob Schluntz [c7a3081] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) only bind generic parameters in TypeSubstitution in freeOnly mode, ... Sun, 14 May 2017 22:23:58 GMT Peter A. Buhr [7b2c0a99] * src/GenPoly/Box.cc (modified) fix unbound type-variable error Thu, 11 May 2017 18:09:51 GMT Rob Schluntz [a28bc02] * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) assignment argument and return value are now always copy constructed Tue, 09 May 2017 17:56:16 GMT Rob Schluntz [c10ee66] * src/GenPoly/Box.cc (modified) fix nested generic member expressions, fix generic union member ... Fri, 05 May 2017 15:05:45 GMT Rob Schluntz [45a4ea7] * src/GenPoly/PolyMutator.cc (modified) fix out-of-order traversal in PolyMutator Tue, 02 May 2017 23:51:37 GMT Rob Schluntz [6db9dab] * src/GenPoly/InstantiateGeneric.cc (modified) recursively instantiate generic members Fri, 07 Apr 2017 22:12:50 GMT Aaron Moss [a0ad7dc] * src/GenPoly/Box.cc (modified) Switch alloca's to VLA's for safe in-loop use Wed, 29 Mar 2017 20:37:00 GMT Aaron Moss [b2daebd4] * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/Unify.cc (modified) ttype parameters to generic types now bind parameter lists into ... Tue, 21 Mar 2017 19:26:09 GMT Rob Schluntz [623ecf3] * src/GenPoly/Specialize.cc (modified) trim type environment for specialized expressions Tue, 21 Mar 2017 19:25:01 GMT Rob Schluntz [f5392c1] * src/GenPoly/Box.cc (modified) don't generate return value temporaries for adapters Fri, 17 Mar 2017 13:58:23 GMT Peter A. Buhr [615a096] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) fix BFCommon problem on gcc-4.9, and begin consistent renaming 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:47:36 GMT Peter A. Buhr [ddfd945] * src/GenPoly/Box.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/SymTab/Autogen.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) move type FuncSpecifiers from DeclarationNode to Type 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 Wed, 15 Mar 2017 21:02:25 GMT Aaron Moss [9b443c7f] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * 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/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.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/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/main.cc (modified) * 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:software/cfa/cfa-cc Wed, 15 Mar 2017 21:01:18 GMT Aaron Moss [5a3ac84] * 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) Fixed Box(T*) generic instantiation bug 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:29:34 GMT Peter A. Buhr [08d5507b] * src/CodeGen/CodeGenerator.cc (modified) * 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/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) change type of function specifier and storage class to bit fields Mon, 13 Mar 2017 18:14:46 GMT Aaron Moss [031a2c95] * src/GenPoly/InstantiateGeneric.cc (modified) Fix to otype T* => void* conversion Fri, 10 Mar 2017 21:32:54 GMT Rob Schluntz [dc0557d] * src/GenPoly/Specialize.cc (modified) simplify and generalize Specialize transform to work for different ... Wed, 08 Mar 2017 20:22:50 GMT Aaron Moss [be8bd88] * .gitignore (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * 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/InitTweak/GenInit.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 (deleted) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (deleted) * src/Parser/parser.h (deleted) * 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/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/rational.cc (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (deleted) * src/tests/.expect/tupleAssign.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/tupleAssign.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 08 Mar 2017 20:21:15 GMT Aaron Moss [87c3bef] * src/GenPoly/InstantiateGeneric.cc (modified) Fix bug with generated structs for pointer-to-polymorphic types 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 Thu, 16 Feb 2017 20:36:45 GMT Peter A. Buhr [3a5131ed] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.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/core (added) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/.expect/KRfunctions.txt (added) * src/tests/KRfunctions.c (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) handle KR function declarations Tue, 14 Feb 2017 20:58:01 GMT Thierry Delisle [35cd219] * src/CodeTools/DeclStats.cc (modified) * src/Common/ScopedMap.h (modified) * src/Common/VectorMap.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 ... Tue, 14 Feb 2017 18:53:29 GMT Aaron Moss [e58dfb9] * src/Common/ScopedMap.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Fix scoping bug with generic type instantiations (thanks Rob!) Fri, 03 Feb 2017 21:02:13 GMT Rob Schluntz [064cb18] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Mangler.cc (modified) Fixed code gen for default argument functions Mon, 23 Jan 2017 21:27:33 GMT Aaron Moss [0bfaf80] * src/GenPoly/InstantiateGeneric.cc (modified) Generic instantiation accounts for sized dtypes Wed, 18 Jan 2017 17:47:15 GMT Rob Schluntz [5ebb2fbc] * doc/proposals/concurrency/thePlan.md (added) * src/CodeGen/FixMain.cc (added) * src/CodeGen/FixMain.h (added) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/Makefile.in (modified) * src/SynTree/FunctionDecl.cc (modified) * src/examples/thread.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutines (added) * src/libcfa/concurrency/coroutines.c (added) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (added) * src/libcfa/concurrency/kernel.c (added) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/bootloader.cf (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/coroutine.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 17 Jan 2017 20:43:50 GMT Thierry Delisle [7350ff97] * src/GenPoly/GenPoly.cc (modified) Moved assert(... && ...) to assertf(...), this particular asserts ... Mon, 16 Jan 2017 20:29:18 GMT Rob Schluntz [f3b0a07] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Unify.cc (modified) allow ttypes contained in tuple types to unify, refactor and simplify ... Wed, 11 Jan 2017 21:23:51 GMT Thierry Delisle [075734f] * src/GenPoly/InstantiateGeneric.cc (modified) Removed 2 clang warnings Wed, 11 Jan 2017 20:29:33 GMT Rob Schluntz [dd0c97b] * src/GenPoly/Box.cc (modified) * src/tests/.expect/tupleVariadic.txt (modified) * src/tests/tupleVariadic.c (modified) prevent generic parameters from polluting the outer scope in Box Pass2 Thu, 05 Jan 2017 20:47:36 GMT Rob Schluntz [6c3a988f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) fix inferred parameter data structures to correctly associate ... Thu, 22 Dec 2016 21:07:58 GMT Rob Schluntz [4c8621ac] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) allow construction, destruction, and assignment for empty tuples, ... Wed, 21 Dec 2016 22:15:27 GMT Rob Schluntz [64eae56] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/tests/tupleVariadic.c (modified) match formal parameter type of actual function when specializing ... Wed, 21 Dec 2016 21:15:47 GMT Rob Schluntz [b940dc71] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) replace type variables in InstantiateGeneric, fix call passTypeVars ... Wed, 21 Dec 2016 20:12:19 GMT Rob Schluntz [626dbc10] * src/GenPoly/Specialize.cc (modified) * src/main.cc (modified) major refactoring of specialization code, added code to generate ... Wed, 21 Dec 2016 19:54:31 GMT Rob Schluntz [8bf784a] * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) name mangling for ttype, fix SynTree operator<< to work with nullptr, ... Fri, 16 Dec 2016 17:42:02 GMT Rob Schluntz [8f60f0b] * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) add support for ttype in the parser Thu, 15 Dec 2016 21:16:52 GMT Rob Schluntz [5802a4f] * src/GenPoly/Box.cc (modified) remove assignment to polymorphic return values in Box Wed, 14 Dec 2016 19:10:42 GMT Rob Schluntz [1aa4b71] * src/GenPoly/GenPoly.cc (modified) added case for ConditionalExpr in getBaseVar 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, ... Tue, 13 Dec 2016 21:13:08 GMT Rob Schluntz [fc638d2] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/VarExprReplacer.cc (modified) fixed StmtExpr code in PolyMutator, added missing copy constructor, ... 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, 16 Nov 2016 21:37:50 GMT Rob Schluntz [d9fa60a] * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Expression.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) * src/tests/tupleFunction.c (modified) moved substituion into MemberExpr constructor, change generated tuple ... Tue, 15 Nov 2016 22:30:52 GMT Rob Schluntz [33a7b6d] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/tests/.expect/simpleGenericTriple.txt (added) * src/tests/simpleGenericTriple.c (added) * src/tests/tupleAssign.c (modified) * src/tests/tupleFunction.c (modified) * src/tests/tupleMember.c (modified) changed use of formal types to actual types for boxing return ... 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 Tue, 08 Nov 2016 21:09:58 GMT Rob Schluntz [b6fd751] * src/GenPoly/Lvalue.cc (modified) added pass which generates code for GCC-like Generalized lvalues 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 ... 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 Wed, 07 Sep 2016 13:30:25 GMT Thierry Delisle [5fda714] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) * 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/ctorWarnings.txt (deleted) * src/tests/.expect/memberCtors-ERR1.txt (added) * src/tests/.expect/memberCtors.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/ctorWarnings.c (deleted) * src/tests/memberCtors.c (added) * src/tests/typeof.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ... Mon, 05 Sep 2016 13:49:53 GMT Rob Schluntz [dcd73d1] * src/GenPoly/PolyMutator.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) add error checking for managed object's initializer depth 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 ... 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 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 Wed, 10 Aug 2016 18:29:40 GMT Aaron Moss [f18a711] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) Fix bug in replacing dtype-only generics with stripped versions Mon, 08 Aug 2016 19:44:56 GMT Aaron Moss [3bb195cb] * 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/Autogen.cc (modified) Dtypes now erased on dtype-only generic types, tests pass, build ... Fri, 05 Aug 2016 15:03:04 GMT Aaron Moss [c331406] * doc/aaron_comp_II/comp_II.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/ControlStruct/CaseRangeMutator.cc (deleted) * src/ControlStruct/CaseRangeMutator.h (deleted) * src/ControlStruct/MLEMutator.cc (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/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.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/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.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/Initializer.h (modified) * src/SynTree/Label.h (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/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/gc_no_raii/bug-repro/return_template.c (modified) * src/examples/gc_no_raii/src/gc.h (modified) * src/examples/gc_no_raii/src/gcpointers.c (modified) * src/examples/gc_no_raii/src/gcpointers.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.h (modified) * src/examples/gc_no_raii/src/tools/worklist.h (modified) * src/examples/gc_no_raii/test/badlll.c (modified) * src/examples/gc_no_raii/test/gctest.c (modified) * src/main.cc (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/multiDimension.txt (added) * src/tests/init_once.c (modified) * src/tests/multiDimension.c (added) * src/tests/switch.c (modified) Merge changes from master Thu, 04 Aug 2016 23:39:46 GMT Aaron Moss [ea5daeb] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) Move generic instantiation earlier Thu, 04 Aug 2016 20:11:11 GMT Rob Schluntz [4819cac] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (deleted) * src/ControlStruct/CaseRangeMutator.h (deleted) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/examples/gc_no_raii/bug-repro/return_template.c (modified) * src/examples/gc_no_raii/src/gc.h (modified) * src/examples/gc_no_raii/src/gcpointers.c (modified) * src/examples/gc_no_raii/src/gcpointers.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.h (modified) * src/examples/gc_no_raii/src/tools/worklist.h (modified) * src/examples/gc_no_raii/test/badlll.c (modified) * src/examples/gc_no_raii/test/gctest.c (modified) * src/tests/switch.c (modified) Merge branch 'master' into ctor Conflicts: ... Thu, 04 Aug 2016 16:30:01 GMT Peter A. Buhr [76e8c55] * src/GenPoly/Box.cc (modified) * src/SymTab/Validate.cc (modified) * src/examples/gc_no_raii/bug-repro/return_template.c (modified) * src/examples/gc_no_raii/src/gc.h (modified) * src/examples/gc_no_raii/src/gcpointers.c (modified) * src/examples/gc_no_raii/src/gcpointers.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.h (modified) * src/examples/gc_no_raii/src/tools/worklist.h (modified) * src/examples/gc_no_raii/test/badlll.c (modified) * src/examples/gc_no_raii/test/gctest.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 04 Aug 2016 16:29:54 GMT Peter A. Buhr [8688ce1] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (deleted) * src/ControlStruct/CaseRangeMutator.h (deleted) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/AddVisit.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/tests/switch.c (modified) move case-list management into parser Wed, 03 Aug 2016 15:22:09 GMT Rob Schluntz [73bf8cf2] * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * src/GenPoly/Box.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Merge branch 'master' into ctor Wed, 03 Aug 2016 15:21:47 GMT Rob Schluntz [9799ec8] * src/GenPoly/Box.cc (modified) fix bug where the wrong scope level is used for assertion parameters ... Mon, 25 Jul 2016 20:20:17 GMT Rob Schluntz [aedfd91] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) unused thunks are no longer generated for intrinsic function calls 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 ... 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 Thu, 30 Jun 2016 17:47:52 GMT Peter A. Buhr [ca35c51] * src/ControlStruct/CaseRangeMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Constant.h (modified) move implementation of ConstantNode to ConstantExpr Mon, 27 Jun 2016 19:43:10 GMT Rob Schluntz [4d3ca1d8] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Statement.cc (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Merge branch 'master' into ctor Thu, 23 Jun 2016 19:46:10 GMT Aaron Moss [c2ad3c9] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) fix explicit cast error for returning polymorphic types, also ... Thu, 23 Jun 2016 16:23:00 GMT Rob Schluntz [f1ee72e] * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (added) * doc/LaTeXmacros/enumitem/enumitem.pdf (added) * doc/LaTeXmacros/enumitem/enumitem.sty (added) * doc/LaTeXmacros/enumitem/enumitem.tex (added) * doc/LaTeXmacros/listings/README (added) * doc/LaTeXmacros/listings/listings-acm.prf (added) * doc/LaTeXmacros/listings/listings-bash.prf (added) * doc/LaTeXmacros/listings/listings-fortran.prf (added) * doc/LaTeXmacros/listings/listings-lua.prf (added) * doc/LaTeXmacros/listings/listings-python.prf (added) * doc/LaTeXmacros/listings/listings.cfg (added) * doc/LaTeXmacros/listings/listings.dtx (added) * doc/LaTeXmacros/listings/listings.ins (added) * doc/LaTeXmacros/listings/listings.log (added) * doc/LaTeXmacros/listings/listings.pdf (added) * doc/LaTeXmacros/listings/listings.sty (added) * doc/LaTeXmacros/listings/listings.sty.new (added) * doc/LaTeXmacros/listings/lstdoc.sty (added) * doc/LaTeXmacros/listings/lstdrvrs.dtx (added) * doc/LaTeXmacros/listings/lstdrvrs.ins (added) * doc/LaTeXmacros/listings/lstdrvrs.pdf (added) * doc/LaTeXmacros/listings/lstlang1.sty (added) * doc/LaTeXmacros/listings/lstlang2.sty (added) * doc/LaTeXmacros/listings/lstlang3.sty (added) * doc/LaTeXmacros/listings/lstmisc.sty (added) * doc/bibliography/cfa.bib (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.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/examples/poly-bench.c (moved) * src/tests/.expect/Array.txt (added) * src/tests/.expect/AsmName.txt (added) * src/tests/.expect/Cast.txt (added) * src/tests/.expect/CastError.txt (added) * src/tests/.expect/Constant0-1.txt (added) * src/tests/.expect/Constant0-1DP.txt (added) * src/tests/.expect/Constant0-1ND.txt (added) * src/tests/.expect/Constant0-1NDDP.txt (added) * src/tests/.expect/DeclarationErrors.txt (added) * src/tests/.expect/DeclarationSpecifier.txt (added) * src/tests/.expect/Enum.txt (added) * src/tests/.expect/Expression.txt (added) * src/tests/.expect/GccExtensions.txt (added) * src/tests/.expect/IdentFuncDeclarator.txt (added) * src/tests/.expect/IdentFuncParamDeclarator.txt (added) * src/tests/.expect/LabelledExit.txt (added) * src/tests/.expect/NumericConstants.txt (added) * src/tests/.expect/Operators.txt (added) * src/tests/.expect/ScopeErrors.txt (added) * src/tests/.expect/ShortCircuit.txt (added) * src/tests/.expect/Switch.txt (added) * src/tests/.expect/Typeof.txt (added) * src/tests/.expect/VariableDeclarator.txt (added) * src/tests/.expect/abs.txt (modified) * src/tests/.expect/ato.txt (added) * src/tests/.expect/io.txt (added) * src/tests/.expect/limits.txt (added) * src/tests/.expect/math.txt (added) * src/tests/.expect/minmax.txt (modified) * src/tests/.expect/swap.txt (added) * src/tests/Cast.c (modified) * src/tests/CommentMisc.c (modified) * src/tests/Constant0-1.c (modified) * src/tests/Context.c (modified) * src/tests/Enum.c (modified) * src/tests/Exception.c (modified) * src/tests/Expression.c (modified) * src/tests/Forall.c (modified) * src/tests/GccExtensions.c (modified) * src/tests/IdentFuncDeclarator.c (modified) * src/tests/IdentFuncParamDeclarator.c (modified) * src/tests/LabelledExit.c (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/NumericConstants.c (modified) * src/tests/OccursError.c (modified) * src/tests/Operators.c (modified) * src/tests/Scope.c (modified) * src/tests/ShortCircuit.c (modified) * src/tests/Statement.c (deleted) * src/tests/StructMember.c (modified) * src/tests/Subrange.c (modified) * src/tests/Switch.c (modified) * src/tests/Tuples.c (moved) * src/tests/Typedef.c (modified) * src/tests/Typeof.c (modified) * src/tests/limits.c (modified) * src/tests/runTests.sh (deleted) * src/tests/test.py (modified) Merge branch 'master' into ctor Tue, 21 Jun 2016 16:11:32 GMT Aaron Moss [f6d4204] * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Small bugfix for ScopedSet/Map iterators Thu, 16 Jun 2016 16:24:39 GMT Rob Schluntz [0f8e4ac] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) change Label from a string typedef to a class Tue, 07 Jun 2016 15:22:59 GMT Rob Schluntz [64a32c6] * src/GenPoly/Specialize.cc (modified) add unused attribute to thunks to eliminate warnings 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 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 00:54:33 GMT Aaron Moss [e24955a] * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Fixed infinite loops in GenPoly Wed, 25 May 2016 17:42:24 GMT Rob Schluntz [d9f1b2d] * src/GenPoly/GenPoly.cc (modified) handle MemberExpr in getBaseVar Fri, 13 May 2016 18:55:44 GMT Rob Schluntz [189243c] * src/GenPoly/Box.cc (modified) Merge branch 'master' into ctor Conflicts: src/GenPoly/Box.cc Fri, 13 May 2016 18:49:38 GMT Rob Schluntz [cc3528f] * src/GenPoly/Box.cc (modified) Added a few comments to Box.cc Thu, 12 May 2016 17:19:59 GMT Rob Schluntz [fb24492] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Merge branch 'master' into ctor Conflicts: ... Wed, 11 May 2016 17:09:33 GMT Aaron Moss [cb4c607] * src/GenPoly/Box.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Refactor Constant::from to disambiguate type Wed, 04 May 2016 15:07:41 GMT Rob Schluntz [2e3a379] * src/GenPoly/Box.cc (modified) * src/SymTab/Autogen.cc (modified) Change cloneAndRename to clone all assertion parameters rather than ... Mon, 02 May 2016 19:09:08 GMT Rob Schluntz [540de412] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.h (modified) 'merge' type substitutions from resolved copy constructors, add case ... Fri, 29 Apr 2016 16:26:50 GMT Rob Schluntz [fea7ca7] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/main.cc (modified) Account for lvalue returning functions in FixCopyCtor, removed ... Fri, 22 Apr 2016 14:33:19 GMT Rob Schluntz [dc2e7e0] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) add ImplicitCopyCtorExpr returnDecls to Visitor, Mutator, print Thu, 14 Apr 2016 20:13:10 GMT Rob Schluntz [70a06f6] * doc/LaTeXmacros/common.tex (added) * doc/LaTeXmacros/indexstyle (moved) * doc/bibliography/cfa.bib (added) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/user/Makefile (modified) * doc/user/indexstyle (deleted) * doc/user/user.bib (deleted) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (added) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/driver/cfa.cc (modified) * src/examples/io.c (added) * src/examples/io.data (moved) * src/examples/rational.c (added) * src/examples/rational.cc (added) * src/examples/read.c (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/limits (modified) * src/libcfa/limits.c (added) * src/libcfa/rational (added) * src/libcfa/rational.c (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) Merge branch 'master' into ctor Conflicts: ... Thu, 14 Apr 2016 17:24:16 GMT Aaron Moss [baba5d8] * src/GenPoly/Lvalue.cc (modified) Fix lvalue casts to not break batchtest Wed, 13 Apr 2016 21:53:06 GMT Aaron Moss [02af22de] * src/GenPoly/Lvalue.cc (modified) back out build-breaking change Wed, 13 Apr 2016 21:40:28 GMT Aaron Moss [02ad3f5] * src/GenPoly/Lvalue.cc (modified) Fix bug returning lvalue polymorphic type Wed, 13 Apr 2016 19:02:30 GMT Aaron Moss [aa19ccf] * src/GenPoly/Box.cc (modified) Box no longer marks generic type layouts calculated past scope of ... Tue, 12 Apr 2016 18:30:22 GMT Aaron Moss [4b8f918] * src/GenPoly/Box.cc (modified) Fix modularization for generic types, so that caller is only required ... Mon, 11 Apr 2016 20:41:22 GMT Aaron Moss [5ba653c] * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Fix latent empty-scope iteration bug in ScopedMap/Set