# # ChangeLog for / # # Generated by Trac 1.2.1 # Nov 3, 2024, 3:00:18 PM Fri, 27 Jan 2017 21:37:36 GMT Thierry Delisle [863b34f] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Added thread as one of the default tests Fri, 27 Jan 2017 21:28:27 GMT Thierry Delisle [8804701] * src/SymTab/FixFunction.cc (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 27 Jan 2017 21:28:05 GMT Thierry Delisle [0c92c9f] * src/examples/thread.c (deleted) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/tests/.expect/thread.txt (added) * src/tests/thread.c (added) Cleaned-up threading code and added temporary test for threads ... 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 Fri, 27 Jan 2017 18:06:46 GMT Thierry Delisle [0157ca7] * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) Fixed incorrectly hand-mangled name Thu, 26 Jan 2017 17:03:57 GMT Thierry Delisle [ad56482] * 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) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 25 Jan 2017 18:09:20 GMT Rob Schluntz [ad6343e] * doc/proposals/concurrency/thePlan.md (modified) * src/driver/cfa.cc (modified) * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 24 Jan 2017 21:50:45 GMT Thierry Delisle [e15df4c] * src/examples/a.out (added) * src/examples/thread.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (modified) Renamed thread to scoped and thread_h to thread 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 Tue, 24 Jan 2017 16:48:04 GMT Thierry Delisle [2cdf6dc] * doc/proposals/concurrency/thePlan.md (modified) Update the concurrency plan with completed features and modified ... Tue, 24 Jan 2017 16:45:35 GMT Thierry Delisle [60819df7] * src/examples/thread.c (modified) Update thread example to add processors Tue, 24 Jan 2017 16:45:13 GMT Thierry Delisle [8def349] * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (modified) cfa now supports processors which represent kernel threads, allowing ... Tue, 24 Jan 2017 16:44:07 GMT Thierry Delisle [63f78f0] * src/driver/cfa.cc (modified) Added -lpthread flags to cfa driver Mon, 23 Jan 2017 21:27:33 GMT Aaron Moss [0bfaf80] * src/GenPoly/InstantiateGeneric.cc (modified) Generic instantiation accounts for sized dtypes Mon, 23 Jan 2017 19:36:49 GMT Rob Schluntz [092528b] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (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) fix copy constructing/destructing qualified argument/return temporaries Mon, 23 Jan 2017 16:42:09 GMT Rob Schluntz [207c7e1d] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SymTab/Autogen.cc (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) disable autogeneration of ctor/dtor/assign when a member's ... Fri, 20 Jan 2017 21:50:15 GMT Thierry Delisle [bd98b58] * doc/proposals/concurrency/thePlan.md (modified) * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (modified) Kernel now uses intrusive lists and blocking locks for ready queue ... Thu, 19 Jan 2017 21:04:38 GMT Thierry Delisle [dcb42b8] * src/examples/thread.c (modified) * src/libcfa/concurrency/kernel.c (modified) Some more cleaning and commenting the kernel Thu, 19 Jan 2017 20:42:29 GMT Thierry Delisle [8f49a54] * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) Clean-up thread, kernel and examples Thu, 19 Jan 2017 19:56:51 GMT Thierry Delisle [4a3386b4] * doc/proposals/concurrency/thePlan.md (added) * doc/proposals/ctordtor/Makefile (added) * doc/proposals/ctordtor/ctor.tex (added) * doc/proposals/tuples/Makefile (added) * doc/proposals/tuples/tuples.tex (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.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/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Expression.h (modified) * src/driver/cc1.cc (modified) * src/examples/thread.c (added) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (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/coroutine.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 19 Jan 2017 19:56:28 GMT Thierry Delisle [765aa76] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Added coroutine test to basic tests Thu, 19 Jan 2017 19:48:33 GMT Thierry Delisle [c2416d5] * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) Fixed 32-bits attribute differences Thu, 19 Jan 2017 19:44:19 GMT Thierry Delisle [35dd180f] * src/libcfa/concurrency/CtxSwitch-i386.S (modified) Implemented CtxSwitch-i386 : CtxGet Thu, 19 Jan 2017 19:42:49 GMT Thierry Delisle [eb2e723] * src/InitTweak/FixGlobalInit.cc (modified) * src/examples/thread.c (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/coroutines.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) First prototype of kernel with proper startup and shutdown, not yet ... Thu, 19 Jan 2017 16:16:08 GMT Rob Schluntz [2175062] * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) fix 32 bit tests Thu, 19 Jan 2017 16:04:27 GMT Rob Schluntz [e9e4e9ee] * 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/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Expression.h (modified) * src/driver/cc1.cc (modified) * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.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 Thu, 19 Jan 2017 02:24:12 GMT Peter A. Buhr [68e6031] * doc/proposals/concurrency/thePlan.md (added) * src/GenPoly/GenPoly.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/tests/coroutine.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 19 Jan 2017 02:22:35 GMT Peter A. Buhr [1ab7d3fe] * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) second attempt at gcc attributes Wed, 18 Jan 2017 23:12:13 GMT Thierry Delisle [c84e80a] * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) Kernel now supports [0-9] cfa threads on a single core, using round- ... Wed, 18 Jan 2017 21:59:38 GMT Peter A. Buhr [f8b6d921] * src/driver/cc1.cc (modified) handle cpp -U command-line option Wed, 18 Jan 2017 21:58:22 GMT Peter A. Buhr [5ded739] * src/SynTree/Expression.h (modified) code formatting Wed, 18 Jan 2017 21:57:52 GMT Peter A. Buhr [44a81853] * 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/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Attribute.h (modified) first attempt at gcc attributes 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 Wed, 18 Jan 2017 17:06:44 GMT Thierry Delisle [7fbe450] * src/examples/thread.c (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/threads (modified) * src/tests/coroutine.c (modified) No longer using co_main for coroutines/threads, now simply using main Tue, 17 Jan 2017 22:14:11 GMT Thierry Delisle [c49bf54] * src/examples/thread.c (added) First thread example Tue, 17 Jan 2017 22:13:47 GMT Thierry Delisle [8118303] * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * 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/threads (modified) * src/libcfa/concurrency/threads.c (modified) First prototype of cfa threads running (1 thread on 1 processor) Tue, 17 Jan 2017 20:43:50 GMT Thierry Delisle [7350ff97] * src/GenPoly/GenPoly.cc (modified) Moved assert(... && ...) to assertf(...), this particular asserts ... Tue, 17 Jan 2017 18:33:42 GMT Thierry Delisle [a954e32] * doc/proposals/concurrency/thePlan.md (added) Added the plan for concurrency to doc Tue, 17 Jan 2017 18:33:29 GMT Thierry Delisle [2fc88be] * src/tests/coroutine.c (modified) Fixed tests after last change Tue, 17 Jan 2017 18:33:11 GMT Thierry Delisle [6a3d2e7] * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/coroutines.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) Moved coroutines code in libcfa to coroutines header Tue, 17 Jan 2017 16:42:21 GMT Thierry Delisle [aed3f54] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutines (added) * src/libcfa/concurrency/coroutines.c (added) * src/libcfa/concurrency/kernel (added) * src/libcfa/concurrency/kernel.c (added) added coroutines and kernel files in libcfa for future use 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 ... Fri, 13 Jan 2017 15:29:07 GMT Thierry Delisle [1267fb1] * 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) Fixed code tests that weren't properly updated with bootloader Thu, 12 Jan 2017 20:55:19 GMT Thierry Delisle [4d3cba50] * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) Fixed dependencies for bootloader.c Thu, 12 Jan 2017 20:33:24 GMT Thierry Delisle [aaa1a99a] * src/CodeGen/FixNames.cc (modified) Fixed copy paste error Thu, 12 Jan 2017 20:28:29 GMT Thierry Delisle [13de47bc] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain.h (added) * src/CodeGen/FixNames.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (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) Proper bootloader boilerplate implemented Thu, 12 Jan 2017 19:53:30 GMT Thierry Delisle [7cc2c8d] * src/CodeGen/FixMain.cc (added) * src/CodeGen/module.mk (modified) * src/Makefile.in (modified) added new file for Fixes to main in translator Thu, 12 Jan 2017 19:05:49 GMT Rob Schluntz [981bdc6] * .gitignore (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/libcfa/fstream (modified) * src/libcfa/iostream (modified) * src/libcfa/iterator (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/bootloader.cf (added) * 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) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 12 Jan 2017 19:05:03 GMT Thierry Delisle [3fe34ae] * .gitignore (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/bootloader.cf (added) Added bootloader.cf which contains the main that wraps the user main Thu, 12 Jan 2017 16:31:57 GMT Thierry Delisle [0270824] * src/CodeGen/FixNames.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (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) Replace user main with custom main, prototype Thu, 12 Jan 2017 14:28:32 GMT Rob Schluntz [2298a7b8] * doc/proposals/ctordtor/Makefile (added) * doc/proposals/ctordtor/ctor.tex (added) * doc/proposals/tuples/Makefile (added) * doc/proposals/tuples/tuples.tex (added) added ctor and tuple design docs Wed, 11 Jan 2017 21:23:51 GMT Thierry Delisle [075734f] * src/GenPoly/InstantiateGeneric.cc (modified) Removed 2 clang warnings Wed, 11 Jan 2017 21:11:02 GMT Thierry Delisle [2162c2c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.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/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (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/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/libcfa/math.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/main.cc (modified) * src/tests/.expect/tupleVariadic.txt (added) * src/tests/avltree/avl.h (modified) * src/tests/avltree/avl0.c (modified) * src/tests/tupleVariadic.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 11 Jan 2017 21:10:51 GMT Thierry Delisle [bb82c03] * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/libcfa/fstream (modified) * src/libcfa/iostream (modified) * src/libcfa/iterator (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/stdlib (modified) Removed #ifdef for CFORALL in libcfa headers Wed, 11 Jan 2017 21:06:49 GMT Thierry Delisle [ff2d7341] * configure (modified) * configure.ac (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Modified makefiles and cfa to install headers to include/cfa instead ... Wed, 11 Jan 2017 20:30:10 GMT Rob Schluntz [d3a85240] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/cor-thread-traits.c (added) * doc/proposals/concurrency/version (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/libcfa/fstream (modified) * src/libcfa/iostream (modified) * src/libcfa/iterator (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/stdlib (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc 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 Tue, 10 Jan 2017 19:32:33 GMT Rob Schluntz [627f585] * src/InitTweak/FixInit.cc (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/avltree/avl.h (modified) * src/tests/avltree/avl0.c (modified) * src/tests/tupleVariadic.c (modified) moved new and delete to stdlib Mon, 09 Jan 2017 22:34:26 GMT Thierry Delisle [17e5e2b] * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/libcfa/fstream (modified) * src/libcfa/iostream (modified) * src/libcfa/iterator (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/stdlib (modified) Added proper include guards to cfa headers so they can be added to ... Mon, 09 Jan 2017 21:35:40 GMT Thierry Delisle [f7ff3fb] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/cor-thread-traits.c (added) * doc/proposals/concurrency/version (modified) Some more work on concurrency proposal paper Mon, 09 Jan 2017 20:37:36 GMT Rob Schluntz [f831177] * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) address exprs are now only exploded for tuple assignments 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, 05 Jan 2017 15:51:50 GMT Rob Schluntz [1e3d5b6] * src/tests/.expect/tupleVariadic.txt (modified) * src/tests/tupleVariadic.c (modified) updated tupleVariadic test to include recursive example 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, ... Thu, 22 Dec 2016 20:23:49 GMT Rob Schluntz [907eccb] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.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/TupleExpansion.cc (modified) added UntypedTupleExpr to better differentiate typed and untyped ... Thu, 22 Dec 2016 19:28:56 GMT Rob Schluntz [0c286cf] * src/tests/.expect/tupleVariadic.txt (modified) * src/tests/tupleVariadic.c (modified) update tupleVariadic test for nullary and unary cases 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 22:13:15 GMT Rob Schluntz [53e3b4a] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) refactored computeConversionCost, add ttype parameter handling to ... 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:55:56 GMT Rob Schluntz [e33f321] * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) mutate env on each expression type to ensure type mappings are up to date 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, ... Wed, 21 Dec 2016 19:45:22 GMT Rob Schluntz [6d4d1a6] * src/CodeGen/GenType.cc (modified) assert tuple types do not make it to code gen Wed, 21 Dec 2016 19:43:23 GMT Rob Schluntz [da6dec23] * src/tests/.expect/tupleVariadic.txt (added) * src/tests/tupleVariadic.c (added) added first test case for ttype polymorphism 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 Fri, 16 Dec 2016 15:23:20 GMT Rob Schluntz [43385ca] * src/libcfa/math.c (modified) * src/libcfa/stdlib.c (modified) uncomment multiple-value-returning functions in lib Thu, 15 Dec 2016 22:16:42 GMT Rob Schluntz [66f8528] * .gitignore (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (added) * automake/config.sub (added) * configure (modified) * configure.ac (modified) * doc/proposals/NOTE.txt (added) * doc/proposals/closure.md (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/references.md (added) * doc/proposals/references.pdf (added) * doc/proposals/virtual.txt (added) * doc/proposals/void_ptr.md (added) * doc/proposals/void_ptr.pdf (added) * doc/proposals/zero_one.md (added) * doc/proposals/zero_one.pdf (added) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/Common/Assert.cc (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/ArrayN.c (added) * src/examples/Bench.c (added) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/zero_one.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (added) * src/libcfa/assert.c (added) * src/libcfa/concurrency/CtxSwitch-i386.S (added) * src/libcfa/concurrency/CtxSwitch-i686.S (added) * src/libcfa/concurrency/CtxSwitch-x86_64.S (added) * src/libcfa/concurrency/invoke.c (added) * src/libcfa/concurrency/invoke.h (added) * src/libcfa/concurrency/threads (added) * src/libcfa/concurrency/threads.c (added) * src/libcfa/libhdr.h (added) * src/libcfa/libhdr/libalign.h (added) * src/libcfa/libhdr/libdebug.h (added) * src/libcfa/libhdr/libtools.h (added) * src/libcfa/stdhdr/assert.h (modified) * src/main.cc (modified) * src/prelude/Makefile.am (added) * src/prelude/Makefile.in (added) * src/prelude/builtins.c (moved) * src/prelude/builtins.def (moved) * src/prelude/extras.c (moved) * src/prelude/extras.regx (moved) * src/prelude/prelude.cf (moved) * src/prelude/prototypes.awk (moved) * src/prelude/prototypes.c (moved) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/.expect/constant0-1DP.txt (modified) * src/tests/.expect/constant0-1NDDP.txt (modified) * src/tests/.expect/coroutine.txt (added) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/voidPtr.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (added) * src/tests/test.py (modified) * src/tests/voidPtr.c (added) Merge branch 'master' into tuples Conflicts: ... Thu, 15 Dec 2016 21:16:52 GMT Rob Schluntz [5802a4f] * src/GenPoly/Box.cc (modified) remove assignment to polymorphic return values in Box 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 Thu, 15 Dec 2016 17:40:01 GMT Thierry Delisle [596f987b] * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) Some optimization and clean-up of coroutines Thu, 15 Dec 2016 16:19:43 GMT Thierry Delisle [12d44bb] * src/CodeGen/GenType.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 15 Dec 2016 16:19:35 GMT Thierry Delisle [38a0a4d] * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) Implemented proper makefile rule for coroutine benchmark Thu, 15 Dec 2016 16:07:20 GMT Aaron Moss [d78f4c0] * src/CodeGen/GenType.cc (modified) Suppress warnings in codegen involving zero/one types Thu, 15 Dec 2016 15:58:31 GMT Thierry Delisle [c7800bfc] * src/Common/utility.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 15 Dec 2016 15:58:04 GMT Thierry Delisle [c5a8c5b] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) Fixed makefile dependencies by using gcc -imacros flag Thu, 15 Dec 2016 02:43:35 GMT Peter A. Buhr [a7741435] * src/Common/utility.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) fix empty assignment_opt allocation Wed, 14 Dec 2016 20:31:11 GMT Peter A. Buhr [74e5a3aa] * Jenkinsfile (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/constant0-1DP.txt (modified) * src/tests/.expect/constant0-1NDDP.txt (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/test.py (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 14 Dec 2016 20:31:01 GMT Peter A. Buhr [375a068] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/prelude/Makefile.am (added) * src/prelude/Makefile.in (added) * src/prelude/builtins.c (moved) * src/prelude/builtins.def (moved) * src/prelude/extras.c (moved) * src/prelude/extras.regx (moved) * src/prelude/prelude.cf (moved) * src/prelude/prototypes.awk (moved) * src/prelude/prototypes.c (moved) move builtin/prelude into different directory Wed, 14 Dec 2016 20:21:54 GMT Rob Schluntz [1486116] * src/SymTab/Autogen.cc (modified) autogenerate functions for seen tuple types Wed, 14 Dec 2016 19:23:11 GMT Rob Schluntz [a64644c] * src/Tuples/Explode.cc (modified) ensure that unique address expressions are not exploded twice Wed, 14 Dec 2016 19:10:42 GMT Rob Schluntz [1aa4b71] * src/GenPoly/GenPoly.cc (modified) added case for ConditionalExpr in getBaseVar Wed, 14 Dec 2016 16:04:22 GMT Thierry Delisle [4782b39] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/test.py (modified) Fixed tests flags for 32-bit 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 23:16:21 GMT Rob Schluntz [31f379c] * src/InitTweak/FixInit.cc (modified) add copy constructor code for StmtExpr, fix usage of environments in ... Tue, 13 Dec 2016 22:56:30 GMT Thierry Delisle [cc640aad] * Jenkinsfile (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Jenkins now builds both debug and release tests during full build Tue, 13 Dec 2016 22:42:53 GMT Thierry Delisle [6a1bdfd] * src/tests/.expect/castError.txt (modified) * src/tests/.expect/constant0-1DP.txt (modified) * src/tests/.expect/constant0-1NDDP.txt (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/test.py (modified) Python test script now supports both debug and no debug tests Tue, 13 Dec 2016 22:37:15 GMT Rob Schluntz [d5556a3] * src/SymTab/Indexer.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change rework TupleAssignExpr and StmtExpr Tue, 13 Dec 2016 22:20:54 GMT Rob Schluntz [1d2b64f] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/TupleAssignment.cc (modified) combine environments and costs in tuple assignment, resolve ... Tue, 13 Dec 2016 22:02:24 GMT Rob Schluntz [722617d] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) resolve StmtExprs Tue, 13 Dec 2016 22:01:51 GMT Rob Schluntz [ea83e00a] * src/ResolvExpr/AlternativeFinder.cc (modified) attempt to narrow resolution of function calls based on return type ...