# # ChangeLog for src # # Generated by Trac 1.2.1 # Apr 30, 2024, 4:27:21 PM 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 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: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: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 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 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 ... Tue, 13 Dec 2016 21:59:46 GMT Rob Schluntz [7933351] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/Type.h (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/tupleCast.txt (modified) * src/tests/tupleCast.c (modified) add tuple cast resolution code 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, ... Tue, 13 Dec 2016 20:59:01 GMT Thierry Delisle [37efaf56] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Now compiling libcfa.a and libcfa-d.a with proper flags, both lib now ... Tue, 13 Dec 2016 20:56:44 GMT Rob Schluntz [f7e749f] * src/tests/.expect/memberCtors.txt (modified) * src/tests/.expect/simpleGenericTriple.txt (modified) * src/tests/.expect/tupleCast.txt (added) * src/tests/.expect/tuplePolymorphism.txt (added) * src/tests/completeTypeError.c (modified) * src/tests/memberCtors.c (modified) * src/tests/simpleGenericTriple.c (modified) * src/tests/tupleCast.c (added) * src/tests/tuplePolymorphism.c (added) added tests for polymorphic tuples and cast on tuples, updated a ... Tue, 13 Dec 2016 20:15:11 GMT Peter A. Buhr [04c8bba] * configure (modified) * configure.ac (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 13 Dec 2016 20:14:59 GMT Peter A. Buhr [58dd019] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/OperatorTable.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/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) add asm_name clause to declarations Tue, 13 Dec 2016 17:24:36 GMT Thierry Delisle [0edebf8] * src/driver/cfa.cc (modified) cfa now properly selects correct library based on -debug option Tue, 13 Dec 2016 16:35:53 GMT Thierry Delisle [3d50aaf] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Build process now properly only builds libcfa.a and libcfa-d.a ... Tue, 13 Dec 2016 15:53:21 GMT Thierry Delisle [24f4671] * configure (modified) * configure.ac (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) Added defines to driver to enable debug/release modes (not ... Mon, 12 Dec 2016 21:53:16 GMT Thierry Delisle [2ee5426] * Jenkinsfile (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/TypeData.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) Cfa translator now compiles with O2 by default. Also fixed some warning Fri, 09 Dec 2016 20:20:17 GMT Rob Schluntz [599b386] * src/InitTweak/InitTweak.cc (modified) handle the case where a function pointer is dereferenced to get the ... Fri, 09 Dec 2016 18:02:45 GMT Rob Schluntz [9a063c8] * src/InitTweak/FixInit.cc (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/64/extension.txt (modified) don't try to destruct return values from builtin functions Fri, 09 Dec 2016 15:24:11 GMT Aaron Moss [6a16806] * Jenkinsfile (modified) * aclocal.m4 (modified) * configure (modified) * configure.ac (modified) * src/libcfa/concurrency/CtxSwitch-i686.S (added) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/threads.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 09 Dec 2016 15:24:07 GMT Aaron Moss [2d59d53] * src/tests/.expect/voidPtr.txt (added) * src/tests/voidPtr.c (added) Added regression test for void* issues Thu, 08 Dec 2016 22:50:39 GMT Thierry Delisle [b58a5772] * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/threads.c (modified) Removed workarounds the void ptr error (now fixed). Renamed a few ... Thu, 08 Dec 2016 22:39:11 GMT Thierry Delisle [fda7e90] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/libcfa/prelude.cf (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 08 Dec 2016 22:13:47 GMT Aaron Moss [76e9498] * src/Common/Assert.cc (modified) * src/libcfa/assert.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 08 Dec 2016 22:05:42 GMT Aaron Moss [a2a77af] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/libcfa/prelude.cf (modified) Fix void* to dtype* bindings Thu, 08 Dec 2016 21:10:20 GMT Thierry Delisle [3874269] * src/Common/Assert.cc (modified) * src/libcfa/assert.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 08 Dec 2016 21:10:10 GMT Thierry Delisle [43ceeb58] * Jenkinsfile (modified) * src/libcfa/concurrency/CtxSwitch-i686.S (added) Jenkins nows compiles the translator with -O2 Added symlink for i686 ... Thu, 08 Dec 2016 18:19:50 GMT Thierry Delisle [57f408e] * src/Common/Assert.cc (modified) * src/libcfa/assert.c (modified) added a terminating newline to asserts Wed, 07 Dec 2016 21:51:19 GMT Thierry Delisle [550a338] * src/examples/Bench.c (added) Added quick benchmark for coroutines Wed, 07 Dec 2016 19:47:53 GMT Thierry Delisle [80d9e49] * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/tests/coroutine.c (modified) Coroutines no longer require virtual pointers or any code beyond the ... Tue, 06 Dec 2016 23:32:57 GMT Thierry Delisle [a68caae] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Invoke.h now properly push as a standard header Tue, 06 Dec 2016 23:28:47 GMT Thierry Delisle [5c81105] * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/tests/coroutine.c (modified) cleaned-up coroutines code to no longer need a manual start Tue, 06 Dec 2016 21:16:47 GMT Thierry Delisle [d9c44c3] * src/libcfa/assert (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/threads.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/tests/.expect/coroutine.txt (added) * src/tests/coroutine.c (moved) Implemented coroutine for i386 and added coroutines to tests Tue, 06 Dec 2016 20:38:11 GMT Thierry Delisle [e4745d7a] * Makefile.in (modified) * automake/config.guess (added) * automake/config.sub (added) * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (added) * src/libcfa/concurrency/invoke.c (modified) * src/tests/Makefile.in (modified) Properly fixed the build for i386/x86_64 including regular C file ... Tue, 06 Dec 2016 18:51:35 GMT Thierry Delisle [c5cb6130] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Added special automake options to invoke flags Tue, 06 Dec 2016 17:13:49 GMT Thierry Delisle [d7bcbf5] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Added invoke.c to libcfa Fri, 02 Dec 2016 22:10:22 GMT Thierry Delisle [78b3f52] * src/examples/coroutine.c (modified) * src/libcfa/assert (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/invoke.c (added) * src/libcfa/concurrency/invoke.h (added) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) * src/libcfa/libhdr.h (added) * src/libcfa/libhdr/libalign.h (added) * src/libcfa/libhdr/libdebug.h (added) * src/libcfa/libhdr/libtools.h (added) Ugly but working coroutines Thu, 01 Dec 2016 17:46:34 GMT Thierry Delisle [4cb935e] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/libcfa/prelude.cf (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) 0 and 1 now properly parse and resolve to zero_t and one_t respectively Wed, 30 Nov 2016 15:46:41 GMT Thierry Delisle [148f7290] * 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/examples/zero_one.c (added) Propagate zero_t one_t from parser to backend Tue, 29 Nov 2016 21:47:15 GMT Thierry Delisle [8e5724e] * Makefile.in (modified) * aclocal.m4 (modified) * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (added) * src/tests/Makefile.in (modified) Added the __CFA_DEBUG__ flag and the libhdr folder to libcfa ... Tue, 29 Nov 2016 20:30:59 GMT Peter A. Buhr [1f44196] * doc/proposals/concurrency/Makefile (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/proposals/virtual.txt (added) * doc/working/.gitignore (added) * doc/working/declarative_resolver.tex (added) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/utility.h (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/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/VarExprReplacer.cc (added) * src/SynTree/VarExprReplacer.h (added) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/Explode.cc (added) * src/Tuples/Explode.h (added) * src/Tuples/NameMatcher.cc (deleted) * src/Tuples/NameMatcher.h (deleted) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleAssignment.h (deleted) * src/Tuples/TupleExpansion.cc (added) * src/Tuples/Tuples.h (added) * src/Tuples/module.mk (modified) * src/driver/cfa.cc (modified) * src/examples/ArrayN.c (added) * src/examples/coroutine.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (added) * src/libcfa/assert.c (added) * src/libcfa/concurrency/threads (added) * src/libcfa/concurrency/threads.c (added) * src/main.cc (modified) * src/tests/.expect/tupleAssign.txt (added) * src/tests/.expect/tupleFunction.txt (added) * src/tests/.expect/tupleMember.txt (added) * src/tests/tupleAssign.c (added) * src/tests/tupleFunction.c (added) * src/tests/tupleMember.c (added) Merge branch 'master' of plg2:software/cfa/cfa-cc Conflicts: ... Tue, 29 Nov 2016 16:45:43 GMT Peter A. Buhr [3a2128f] * 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) add types zero_t and one_t to lexer/parser Mon, 28 Nov 2016 21:02:45 GMT Thierry Delisle [9129a84] * src/examples/coroutine.c (modified) * src/libcfa/assert (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/concurrency/threads.c (modified) Implemented suspend and resume for coroutines (CtxSw does nothing) Mon, 28 Nov 2016 20:16:45 GMT Rob Schluntz [0f35657] * src/tests/.expect/completeTypeError.txt (modified) * src/tests/completeTypeError.c (modified) * src/tests/shortCircuit.c (modified) updated completeTypeError test case