# # ChangeLog for / # # Generated by Trac 1.2.1 # Apr 30, 2024, 1:05:27 PM Mon, 05 Jun 2017 14:21:20 GMT Thierry Delisle [ac032b5] * src/tests/test.py (modified) Test now properly outputs on segfaults Mon, 05 Jun 2017 14:05:49 GMT Thierry Delisle [6cff9f3] * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (added) Implementation of a priority queue for alarms Mon, 05 Jun 2017 12:28:32 GMT Peter A. Buhr [7985fa5] * src/examples/hello.c (deleted) * src/tests/.expect/hello.txt (added) * src/tests/hello.c (added) add test program Fri, 02 Jun 2017 22:30:18 GMT Rob Schluntz [0db6fc0] * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) convert several passes to PassVisitor Fri, 02 Jun 2017 21:42:10 GMT Rob Schluntz [f94ca7e] * doc/bibliography/cfa.bib (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (modified) * doc/refrat/refrat.tex (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/reference.c (modified) * src/Common/PassVisitor.impl.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/lex.ll (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 02 Jun 2017 21:05:00 GMT Rob Schluntz [2164637] * src/GenPoly/Box.cc (modified) don't clone member in conversion of OffsetPackExpr to OffsetofExpr ... Fri, 02 Jun 2017 21:02:25 GMT Peter A. Buhr [2c6c893] * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/reference.c (modified) * src/Common/PassVisitor.impl.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 02 Jun 2017 21:01:19 GMT Peter A. Buhr [a4683611] * src/libcfa/stdlib (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) third attempt at memory-allocation routines Fri, 02 Jun 2017 20:59:26 GMT Peter A. Buhr [421a287] * doc/user/user.tex (modified) update allocation documentation Fri, 02 Jun 2017 20:58:10 GMT Peter A. Buhr [83e9bd3] * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (modified) * doc/refrat/refrat.tex (modified) formatting updates Fri, 02 Jun 2017 20:55:38 GMT Peter A. Buhr [d3ed39f] * doc/bibliography/cfa.bib (modified) fix Thompson90new citation Fri, 02 Jun 2017 20:30:03 GMT Thierry Delisle [93684eb] * src/Makefile.am (modified) * src/Makefile.in (modified) Removed Werror, we are not ready yet Fri, 02 Jun 2017 17:10:26 GMT Andrew Beach [6b72040] * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/reference.c (modified) The try exception handler function is now generic. Fri, 02 Jun 2017 15:23:21 GMT Thierry Delisle [acd738aa] * doc/user/user.tex (modified) * src/Common/PassVisitor.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/lex.ll (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 02 Jun 2017 15:23:13 GMT Thierry Delisle [9c1600c] * src/Common/PassVisitor.impl.h (modified) PassVisitor now supports adding statements and using the environment ... Fri, 02 Jun 2017 02:58:24 GMT Peter A. Buhr [49c9773] * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/impl/resume-main.c (added) * doc/working/exception/reference.c (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (added) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/create_cfaCor.c (added) * src/benchmark/create_cfaThrd.c (added) * src/benchmark/create_pthrd.c (added) * src/benchmark/create_uCor.cpp (added) * src/benchmark/create_uTask.cpp (added) * src/tests/test.py (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 02 Jun 2017 02:58:18 GMT Peter A. Buhr [6065b3aa] * doc/user/user.tex (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) second attempt at memory-allocation routines Fri, 02 Jun 2017 02:56:34 GMT Peter A. Buhr [6016c87] * src/Parser/lex.ll (modified) formatting Thu, 01 Jun 2017 23:26:11 GMT Rob Schluntz [b1d4d60] * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 01 Jun 2017 23:26:04 GMT Rob Schluntz [aff3af4] * src/Common/PassVisitor.h (modified) * src/InitTweak/FixInit.cc (modified) convert FixInit to PassVisitor Thu, 01 Jun 2017 20:57:02 GMT Thierry Delisle [28c9ff3] * configure (modified) * configure.ac (modified) * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/impl/resume-main.c (added) * doc/working/exception/reference.c (added) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/PassVisitor.h (added) * src/Common/PassVisitor.impl.h (added) * src/Common/PassVisitor.proto.h (added) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/create_cfaCor.c (added) * src/benchmark/create_cfaThrd.c (added) * src/benchmark/create_pthrd.c (added) * src/benchmark/create_uCor.cpp (added) * src/benchmark/create_uTask.cpp (added) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (added) * src/libcfa/concurrency/signal.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 01 Jun 2017 20:56:53 GMT Thierry Delisle [b78275b] * src/tests/test.py (modified) Increased global time out of the tests Thu, 01 Jun 2017 20:26:57 GMT Thierry Delisle [676cc8c] * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/impl/resume-main.c (added) * doc/working/exception/reference.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 01 Jun 2017 20:26:50 GMT Thierry Delisle [134322e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) Refactored PassVisitor to properly support env and statements to add Thu, 01 Jun 2017 19:36:59 GMT Andrew Beach [4a58895] * doc/working/exception/impl/except.c (modified) * doc/working/exception/impl/main.c (modified) * doc/working/exception/impl/resume-main.c (added) * doc/working/exception/reference.c (added) Added a proof of consept resumption exception handler. Has comparable ... Thu, 01 Jun 2017 19:18:58 GMT Thierry Delisle [3fb9a83] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) Fixed implementation of env, some optim needed Thu, 01 Jun 2017 17:44:44 GMT Thierry Delisle [5013c62] * src/benchmark/create_cfaCor.c (added) * src/benchmark/create_cfaThrd.c (added) * src/benchmark/create_pthrd.c (added) * src/benchmark/create_uCor.cpp (added) * src/benchmark/create_uTask.cpp (added) added several benchmarks to measure creation, some work needs to be ... Thu, 01 Jun 2017 17:35:58 GMT Thierry Delisle [296b2be] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (added) PassVisitor now supports features given by PolyMutator Thu, 01 Jun 2017 15:00:46 GMT Thierry Delisle [ab904dc] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Tuples/TupleExpansion.cc (modified) Added mutator capabilities to the pass visitor Wed, 31 May 2017 20:47:33 GMT Thierry Delisle [7b15d7a] * src/main.cc (modified) Removed unnecessary prints Wed, 31 May 2017 20:33:21 GMT Thierry Delisle [5d88a0a] * src/Common/PassVisitor.h (modified) Some more documentation for PassVisitor Wed, 31 May 2017 18:18:14 GMT Thierry Delisle [13932f14] * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/PassVisitor.h (added) * src/Common/PassVisitor.impl.h (added) * src/Common/utility.h (modified) * src/main.cc (modified) Added the new PassVisitor to simplify visiting all the nodes Wed, 31 May 2017 17:46:19 GMT Thierry Delisle [eb0951d0] * configure (modified) * configure.ac (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) Refacted some of the CXXFLAGS and added c++14 and Werror Wed, 31 May 2017 14:34:05 GMT Thierry Delisle [759908f] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (added) * src/libcfa/concurrency/signal.c (added) Added new files for preemption Tue, 30 May 2017 15:47:09 GMT Peter A. Buhr [d6fb3c7] * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/user/user.tex (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 30 May 2017 15:44:48 GMT Peter A. Buhr [55f5c59] * doc/user/user.tex (modified) more explanation of storage management options Tue, 30 May 2017 13:53:15 GMT Thierry Delisle [5e8d732] * doc/user/user.tex (modified) * src/examples/alloc.c (deleted) * src/libcfa/gmp (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/alloc.txt (added) * src/tests/alloc.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 May 2017 13:53:10 GMT Thierry Delisle [a029714] * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/style/cfa-format.tex (modified) Moved accept,signal,signal_block,wait out of lstlang.sty Tue, 30 May 2017 13:44:40 GMT Peter A. Buhr [bff607e] * src/examples/alloc.c (deleted) remove alloc.c from examples directory as moved to test directory Tue, 30 May 2017 13:17:50 GMT Peter A. Buhr [fab700b] * src/tests/.expect/alloc.txt (added) * src/tests/alloc.c (added) add allocation test Tue, 30 May 2017 13:13:53 GMT Peter A. Buhr [f3fc631f] * doc/user/user.tex (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) first attempt new storage management routines Tue, 30 May 2017 11:49:45 GMT Peter A. Buhr [2ab67b9] * Jenkinsfile (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (moved) * doc/proposals/concurrency/annex/local.bib (moved) * doc/proposals/concurrency/build/bump_ver.sh (added) * doc/proposals/concurrency/build/version (added) * doc/proposals/concurrency/bump_ver.sh (deleted) * doc/proposals/concurrency/concurrency.tex (deleted) * doc/proposals/concurrency/ext_monitor.fig.bak (deleted) * doc/proposals/concurrency/figures/ext_monitor.fig (moved) * doc/proposals/concurrency/figures/monitor.fig (moved) * doc/proposals/concurrency/notes/cor-thread-traits.c (moved) * doc/proposals/concurrency/notes/lit-review.md (moved) * doc/proposals/concurrency/notes/notes.md (moved) * doc/proposals/concurrency/style.tex (deleted) * doc/proposals/concurrency/style/cfa-format.tex (moved) * doc/proposals/concurrency/style/style.tex (added) * doc/proposals/concurrency/text/basics.tex (added) * doc/proposals/concurrency/text/concurrency.tex (added) * doc/proposals/concurrency/text/intro.tex (added) * doc/proposals/concurrency/text/parallelism.tex (added) * doc/proposals/concurrency/thesis.tex (added) * doc/proposals/concurrency/version (deleted) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Mon, 29 May 2017 19:08:47 GMT Thierry Delisle [4a368547] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/copyright/Buhr-059720-Huawei-Assignment_Agreement_Andrew_Beach-25-May-2017.pdf (added) * doc/proposals/user_conversions.md (added) * doc/user/user.tex (modified) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (added) * src/libcfa/containers/maybe.c (added) * src/libcfa/containers/result (added) * src/libcfa/containers/result.c (added) * src/libcfa/containers/vector (modified) * src/libcfa/math (modified) * src/libcfa/math.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-block.txt (added) * src/tests/.expect/constant0-1.txt (deleted) * src/tests/.expect/constant0-1DP.txt (deleted) * src/tests/.expect/constant0-1ND.txt (deleted) * src/tests/.expect/constant0-1NDDP.txt (deleted) * src/tests/KRfunctions.c (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/complex.c (modified) * src/tests/constant0-1.c (deleted) * src/tests/gmp.c (modified) * src/tests/libcfa_vector.c (modified) * src/tests/math.c (modified) * src/tests/numericConstants.c (modified) * src/tests/rational.c (modified) * src/tests/sched-int-block.c (added) * src/tests/sched-int-disjoint.c (modified) * src/tests/test.py (modified) * tools/cfa.nanorc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 29 May 2017 19:08:17 GMT Thierry Delisle [ff98952] * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) Updated draft up to 3.4 Mon, 29 May 2017 17:39:37 GMT Thierry Delisle [27dde72] * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/build/bump_ver.sh (modified) * doc/proposals/concurrency/build/version (modified) * doc/proposals/concurrency/ext_monitor.fig.bak (deleted) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/proposals/concurrency/style/style.tex (modified) * doc/proposals/concurrency/text/basics.tex (added) * doc/proposals/concurrency/text/concurrency.tex (added) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (added) * doc/proposals/concurrency/thesis.tex (modified) Major update to the concurrency proposal to be based on multiple files Mon, 29 May 2017 15:52:22 GMT Thierry Delisle [4c5b972] * src/tests/sched-int-disjoint.c (modified) Minor test cleanup Mon, 29 May 2017 15:50:06 GMT Thierry Delisle [ccd349d] * src/tests/sched-int-block.c (modified) signal block test now uses wait user info pointer Mon, 29 May 2017 15:36:17 GMT Peter A. Buhr [8f61052c] * src/libcfa/gmp (modified) missing static inline for gmp routines Mon, 29 May 2017 15:26:03 GMT Thierry Delisle [be3d020] * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) - signal/signal_block now returns true if the queue was not empty - ... Mon, 29 May 2017 15:16:17 GMT Thierry Delisle [8c700c1] * Jenkinsfile (modified) Added jenkins notification to update description Fri, 26 May 2017 22:56:19 GMT Rob Schluntz [38bfe05b] * Jenkinsfile (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/sched-int-block.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 26 May 2017 22:45:37 GMT Rob Schluntz [01b9928] * src/CodeGen/CodeGenerator.cc (modified) permit empty initializer lists [fixes #12] Fri, 26 May 2017 22:37:49 GMT Rob Schluntz [67cf18c] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.cc (modified) * src/libcfa/containers/vector (modified) * src/tests/libcfa_vector.c (modified) implement default type arguments for generic types [closes #13] Fri, 26 May 2017 21:48:07 GMT Peter A. Buhr [5c69a1e] * Jenkinsfile (modified) * src/SymTab/Indexer.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 26 May 2017 21:48:03 GMT Peter A. Buhr [736fe25] * src/tests/sched-int-block.c (modified) remove global_t monitor declaration Fri, 26 May 2017 21:47:10 GMT Peter A. Buhr [f6b70e5] * src/tests/.expect/32/math.txt (modified) second attempt to update 32-bit test Fri, 26 May 2017 20:36:37 GMT Thierry Delisle [65f9dec] * Jenkinsfile (modified) Added small delay to jenkins notification to mitigate race condition Fri, 26 May 2017 19:13:31 GMT Rob Schluntz [ff03f5c] * src/SymTab/Indexer.cc (modified) only hide intrinsic default constructor when overridden exactly ... Fri, 26 May 2017 16:52:11 GMT Peter A. Buhr [ace67c8] * doc/proposals/user_conversions.md (added) * doc/working/resolver_design.md (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 26 May 2017 16:52:02 GMT Peter A. Buhr [8712514] * doc/LaTeXmacros/lstlang.sty (modified) add uC++ to lst languages Thu, 25 May 2017 20:52:09 GMT Aaron Moss [41634098] * doc/proposals/user_conversions.md (added) * doc/working/resolver_design.md (modified) Added white paper on user-defined conversions based on resolver ... Thu, 25 May 2017 19:39:02 GMT Peter A. Buhr [1eeab94] * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/tests/.expect/32/math.txt (modified) * tools/cfa.nanorc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 25 May 2017 19:35:50 GMT Peter A. Buhr [f851015] * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * tools/cfa.nanorc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 25 May 2017 19:35:36 GMT Peter A. Buhr [cc38669] * src/tests/.expect/32/math.txt (modified) update 32-bit test Thu, 25 May 2017 19:34:05 GMT Peter A. Buhr [7f612112] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) remove test constant0-1, as 0/1 replaced by zero_t/one_t Thu, 25 May 2017 19:32:42 GMT Peter A. Buhr [84d58c5] * src/Parser/parser.yy (modified) * src/tests/.expect/constant0-1.txt (deleted) * src/tests/.expect/constant0-1DP.txt (deleted) * src/tests/.expect/constant0-1ND.txt (deleted) * src/tests/.expect/constant0-1NDDP.txt (deleted) * src/tests/constant0-1.c (deleted) parse default values for generic type parameters and nested type names Thu, 25 May 2017 19:29:25 GMT Andrew Beach [58daf53] * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * tools/cfa.nanorc (modified) Made maybe and result mutable, they should now qualify as otypes. ... Thu, 25 May 2017 16:55:12 GMT Peter A. Buhr [a4943d8c] * src/InitTweak/GenInit.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 25 May 2017 16:55:04 GMT Peter A. Buhr [bc37a83] * doc/copyright/Buhr-059720-Huawei-Assignment_Agreement_Andrew_Beach-25-May-2017.pdf (added) copyright transfer for Andrew Beach Thu, 25 May 2017 15:38:41 GMT Thierry Delisle [e883a4b] * src/InitTweak/GenInit.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 25 May 2017 15:38:36 GMT Thierry Delisle [64fc0ba] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) Added maybe and result to libcfa makefiles and made some minor fixes Thu, 25 May 2017 15:10:42 GMT Rob Schluntz [0a208b8] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/bibliography/cfa.bib (modified) * doc/user/user.tex (modified) * src/Parser/lex.ll (modified) * src/libcfa/containers/maybe (added) * src/libcfa/containers/maybe.c (added) * src/libcfa/containers/result (added) * src/libcfa/containers/result.c (added) * src/libcfa/math (modified) * src/libcfa/math.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/KRfunctions.c (modified) * src/tests/complex.c (modified) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/numericConstants.c (modified) * src/tests/rational.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 25 May 2017 14:46:58 GMT Rob Schluntz [a8e64c4] * src/InitTweak/GenInit.cc (modified) don't try to construct assertion parameters [fixes #2] Thu, 25 May 2017 02:48:02 GMT Peter A. Buhr [58ed882] * doc/user/user.tex (modified) many updates Thu, 25 May 2017 02:46:56 GMT Peter A. Buhr [8dc51c8] * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) add void to empty parameter lists Thu, 25 May 2017 02:32:48 GMT Peter A. Buhr [d997f8e] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * src/MakeLibCfa.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/libcfa/containers/maybe (added) * src/libcfa/containers/maybe.c (added) * src/libcfa/containers/result (added) * src/libcfa/containers/result.c (added) * src/prelude/prelude.cf (modified) * src/tests/test.py (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 25 May 2017 02:26:55 GMT Peter A. Buhr [a933bcb3] * src/tests/KRfunctions.c (modified) * src/tests/complex.c (modified) * src/tests/gmp.c (modified) * src/tests/numericConstants.c (modified) * src/tests/rational.c (modified) documentation and formatting Wed, 24 May 2017 22:03:08 GMT Peter A. Buhr [3c0ec68] * src/libcfa/math (modified) * src/libcfa/math.c (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/math.c (modified) remove routines fabs and cabs from math Wed, 24 May 2017 21:36:41 GMT Peter A. Buhr [daf9671] * src/Parser/lex.ll (modified) change lexing of multiply operator identifier Wed, 24 May 2017 21:34:33 GMT Peter A. Buhr [678765c] * doc/bibliography/cfa.bib (modified) add GMP citation Wed, 24 May 2017 21:27:07 GMT Andrew Beach [79b5869] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * src/MakeLibCfa.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/prelude/prelude.cf (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 24 May 2017 21:27:01 GMT Andrew Beach [79308c8e] * src/libcfa/containers/maybe (added) * src/libcfa/containers/maybe.c (added) * src/libcfa/containers/result (added) * src/libcfa/containers/result.c (added) First draft of maybe and result. Wed, 24 May 2017 21:03:06 GMT Thierry Delisle [cf0b892] * src/MakeLibCfa.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/prelude/prelude.cf (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 24 May 2017 21:02:52 GMT Thierry Delisle [e39647e] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) Jenkins now uses the new mailing list Wed, 24 May 2017 20:16:20 GMT Rob Schluntz [447bf833] * doc/user/user.tex (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/gmp (modified) * src/tests/.expect/64/gmp.txt (modified) * src/tests/.expect/concurrent/sched-int-block.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/gmp.c (modified) * src/tests/sched-int-block.c (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 24 May 2017 20:16:16 GMT Rob Schluntz [7f623d6f] * src/ResolvExpr/AlternativeFinder.cc (modified) add all function type parameters as open variables when instantiating ... Wed, 24 May 2017 20:12:28 GMT Rob Schluntz [0b150ec] * src/MakeLibCfa.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/prelude/prelude.cf (modified) minor zero_t/one_t prelude changes, simplify prelude generation, ... Wed, 24 May 2017 18:57:14 GMT Rob Schluntz [6e206cb] * src/tests/test.py (modified) tests run with chunksize = 1 to take advantage of cores Tue, 23 May 2017 16:28:26 GMT Thierry Delisle [8bcaf21] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Update concurrency make target Tue, 23 May 2017 16:20:38 GMT Thierry Delisle [13099105] * doc/user/user.tex (modified) * doc/working/exception/design.txt (added) * doc/working/exception/impl/README (moved) * doc/working/exception/impl/except.c (moved) * doc/working/exception/impl/except.h (moved) * doc/working/exception/impl/lsda.h (moved) * doc/working/exception/impl/main.c (moved) * doc/working/exception/impl/main.cfa (moved) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) * src/libcfa/gmp (modified) * src/tests/.expect/64/gmp.txt (modified) * src/tests/gmp.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 23 May 2017 16:19:39 GMT Thierry Delisle [2c9ebab] * src/tests/.expect/concurrent/sched-int-block.txt (added) * src/tests/sched-int-block.c (added) concurrent test for signal block Tue, 23 May 2017 16:17:07 GMT Thierry Delisle [44264c5] * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) Working implementation of internal scheduling, TODO some cleanup Tue, 23 May 2017 13:55:37 GMT Thierry Delisle [eb182b0] * doc/bibliography/cfa.bib (modified) * doc/user/pointer2.fig (modified) * doc/user/user.tex (modified) * doc/working/exception/design.txt (added) * doc/working/exception/impl/README (moved) * doc/working/exception/impl/except.c (moved) * doc/working/exception/impl/except.h (moved) * doc/working/exception/impl/lsda.h (moved) * doc/working/exception/impl/main.c (moved) * doc/working/exception/impl/main.cfa (moved) * src/CodeGen/GenType.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/libcfa/gmp (modified) * src/main.cc (modified) * src/tests/.expect/64/gmp.txt (moved) * src/tests/.expect/complex.txt (added) * src/tests/complex.c (added) * src/tests/gmp.c (modified) * src/tests/tuplePolymorphism.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 22 May 2017 13:56:39 GMT Peter A. Buhr [935315d] * src/tests/gmp.c (modified) use unsigned int for loop index Mon, 22 May 2017 12:58:56 GMT Peter A. Buhr [18c55e1] * src/tests/gmp.c (modified) remove superfluous casts Mon, 22 May 2017 12:45:05 GMT Peter A. Buhr [4adbe45] * src/libcfa/gmp (modified) * src/tests/.expect/64/gmp.txt (modified) * src/tests/gmp.c (modified) fix bug in converting string to number and update test Mon, 22 May 2017 03:38:21 GMT Peter A. Buhr [0ed8759] * doc/user/user.tex (modified) second attempt at rewrite of section syntax ambiguites Mon, 22 May 2017 03:24:35 GMT Peter A. Buhr [917ab04] * doc/user/user.tex (modified) rewrite section syntax ambiguites Fri, 19 May 2017 21:20:04 GMT Andrew Beach [88e0080] * doc/working/exception/design.txt (added) * doc/working/exception/impl/README (moved) * doc/working/exception/impl/except.c (moved) * doc/working/exception/impl/except.h (moved) * doc/working/exception/impl/lsda.h (moved) * doc/working/exception/impl/main.c (moved) * doc/working/exception/impl/main.cfa (moved) Added a file with notes about the new exception design. Fri, 19 May 2017 19:44:49 GMT Rob Schluntz [11ab8ea8] * src/SymTab/Validate.cc (modified) add checks for generic type parameter length