# # ChangeLog for src # # Generated by Trac 1.6 # Mar 10, 2026, 11:36:37 AM Tue, 20 Feb 2018 21:50:23 GMT Rob Schluntz [599fbb6] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for ImplicitCtorDtorStmt and VoidType Tue, 20 Feb 2018 20:13:40 GMT Rob Schluntz [78d69da7] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix build failure on gcc-4.9 Sun, 18 Feb 2018 14:33:18 GMT Rob Schluntz [370f6ef] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/tests/sum.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Sun, 18 Feb 2018 14:33:13 GMT Rob Schluntz [2b95887] * src/tests/.expect/attributes.x86.txt (modified) Update 32-bit test output Sat, 17 Feb 2018 19:08:52 GMT Peter A. Buhr [c0b4db0] * src/tests/sum.c (modified) add extra constructor, formatting Sat, 17 Feb 2018 17:09:02 GMT Peter A. Buhr [93401f8] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) add space in error message Fri, 16 Feb 2018 21:38:50 GMT Rob Schluntz [5964127] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for NullStmt and DeclStmt Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz [7c782af] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 16 Feb 2018 21:14:29 GMT Rob Schluntz [c71b256] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Add resolver error when a deleted identifier is in the final lowest ... Fri, 16 Feb 2018 20:57:44 GMT Rob Schluntz [4a161bec] * src/ResolvExpr/Alternative.h (modified) Add operator<< for Alternative Fri, 16 Feb 2018 20:49:14 GMT Peter A. Buhr [62cd621] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/main.cc (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 16 Feb 2018 20:49:02 GMT Peter A. Buhr [6ea0408] * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) fixed format and output for printing fill character Fri, 16 Feb 2018 20:33:56 GMT Peter A. Buhr [f1917fb] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/main.cc (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 16 Feb 2018 20:33:40 GMT Peter A. Buhr [c2ca04d] * src/libcfa/concurrency/monitor.c (modified) use %z for length of size_t in print Fri, 16 Feb 2018 20:28:35 GMT Thierry Delisle [710deb02] * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Fixed line number in error msg Fri, 16 Feb 2018 20:02:32 GMT Thierry Delisle [d58a7455] * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 16 Feb 2018 20:02:21 GMT Thierry Delisle [76b378d] * src/main.cc (modified) Propagated code locations before resolution pass Fri, 16 Feb 2018 19:36:29 GMT Thierry Delisle [0b0f1dd] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Propagated code location to TypeData Thu, 15 Feb 2018 22:29:31 GMT Peter A. Buhr [24c3b67] * src/Parser/parser.yy (modified) parse _Generic Thu, 15 Feb 2018 20:59:17 GMT Thierry Delisle [75e3cb2] * src/tests/.expect/alloc.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle [d55d7a6] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Massive change to errors to enable warnings Thu, 15 Feb 2018 19:29:06 GMT Peter A. Buhr [ac7d921] * src/tests/.expect/alloc.txt (modified) update output for alloc.c Thu, 15 Feb 2018 16:39:12 GMT Rob Schluntz [0ac366b] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add Indexer support for deleting identifiers Thu, 15 Feb 2018 16:11:00 GMT Thierry Delisle [d27e340] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/Parser/parser.yy (modified) * src/tests/alloc.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 15 Feb 2018 15:52:35 GMT Thierry Delisle [b69ea6b] * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) Updated alarm to use bits/cfatime and fixed preemption for coroutines Thu, 15 Feb 2018 02:22:00 GMT Peter A. Buhr [2dcb750] * src/tests/alloc.c (modified) formatting Wed, 14 Feb 2018 21:34:31 GMT Rob Schluntz [f5883bd] * src/libcfa/assert.c (modified) Fix CFA assert functions to use the assertion string Wed, 14 Feb 2018 21:18:37 GMT Rob Schluntz [44b4114] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Add DeletedExpr node for use of deleted identifiers Wed, 14 Feb 2018 18:54:14 GMT Rob Schluntz [490ff5c3] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/Tuples/Explode.h (modified) Minor code cleanup Tue, 13 Feb 2018 16:41:26 GMT Peter A. Buhr [9c75137] * src/Parser/parser.yy (modified) grammar rules for initializer in assignment and return Tue, 13 Feb 2018 16:12:25 GMT Rob Schluntz [54c9000] * src/Common/utility.h (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/tests/.expect/attributes.x64.txt (modified) Fix missing attribute warning Mon, 12 Feb 2018 20:49:04 GMT Rob Schluntz [7a052e34] * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/figures/Cdecl.fig (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/stdhdr/sys/ucontext.h (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/coroutine.c (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 12 Feb 2018 19:38:44 GMT Thierry Delisle [2fdbb3b] * src/SymTab/Mangler.cc (modified) * src/libcfa/concurrency/monitor.c (modified) Fixed some warnings Mon, 12 Feb 2018 17:00:30 GMT Thierry Delisle [fd062a66] * src/libcfa/Makefile.in (modified) Updated libcfa Makefile.in Mon, 12 Feb 2018 16:57:55 GMT Thierry Delisle [d56ca354] * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/figures/Cdecl.fig (added) * src/libcfa/Makefile.am (modified) * src/libcfa/bits/debug.c (modified) * src/libcfa/bits/debug.h (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/stdhdr/sys/ucontext.h (added) * src/prelude/builtins.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/coroutine.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Feb 2018 16:57:50 GMT Thierry Delisle [c40e7c5] * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) Finished adding with statements to kernel Mon, 12 Feb 2018 16:55:02 GMT Thierry Delisle [cfe2f0a] * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/figures/Cdecl.fig (added) * src/libcfa/Makefile.am (modified) * src/libcfa/bits/debug.c (modified) * src/libcfa/bits/debug.h (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/stdhdr/sys/ucontext.h (added) * src/prelude/builtins.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Feb 2018 16:54:51 GMT Thierry Delisle [827a190] * src/libcfa/concurrency/coroutine.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/coroutine.c (added) Added longrun tests for coroutines and disabled preemption during ... Fri, 09 Feb 2018 21:39:52 GMT Peter A. Buhr [bede27b] * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/figures/Cdecl.fig (added) * src/Common/PassVisitor.impl.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/libcfa/bits/debug.c (modified) * src/libcfa/bits/debug.h (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/interpose.c (modified) * src/main.cc (modified) * src/prelude/builtins.c (modified) fix conflicts Fri, 09 Feb 2018 21:33:29 GMT Peter A. Buhr [381fdee] * src/libcfa/Makefile.am (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/stdhdr/sys/ucontext.h (added) harmonize conditional hardware-architecture code, fix conflicit with ... Fri, 09 Feb 2018 16:59:35 GMT Rob Schluntz [1dcd52a3] * src/ResolvExpr/Unify.cc (modified) * src/tests/tuple/tupleVariadic.c (modified) Disregard outermost const, volatile, _Atomic qualifiers on parameters ... Fri, 09 Feb 2018 16:41:02 GMT Rob Schluntz [538334a] * src/ResolvExpr/Unify.cc (modified) Minor cleanup Fri, 09 Feb 2018 15:49:57 GMT Rob Schluntz [b8a52f5] * src/SymTab/Mangler.cc (modified) Fix Mangler warning Fri, 09 Feb 2018 15:06:16 GMT Rob Schluntz [4bda2cf] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Refactor FixFunction, add error for void foo(void, ...) Thu, 08 Feb 2018 22:07:51 GMT Peter A. Buhr [ff878b7] * src/libcfa/concurrency/preemption.c (modified) fix from last pull Thu, 08 Feb 2018 21:52:56 GMT Peter A. Buhr [41fcd94] * doc/papers/general/Paper.tex (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/preemption.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 08 Feb 2018 21:52:09 GMT Peter A. Buhr [169d944] * src/libcfa/bits/debug.c (modified) * src/libcfa/bits/debug.h (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/interpose.c (modified) * src/prelude/builtins.c (modified) update abort, remove abortf, add printing exit Thu, 08 Feb 2018 18:59:03 GMT Thierry Delisle [4dad189] * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/preemption.c (modified) Processor can no longer be destroyed from a thread that is running on ... Wed, 07 Feb 2018 20:56:51 GMT Thierry Delisle [3d5f2ef1] * src/libcfa/bits/defs.h (modified) * src/libcfa/interpose.c (modified) Cleanup in interpose.c Wed, 07 Feb 2018 14:59:03 GMT Rob Schluntz [695571c] * doc/LaTeXmacros/common.tex (modified) * src/libcfa/bits/signal.h (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/interpose.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 07 Feb 2018 14:14:37 GMT Peter A. Buhr [a424315d] * src/libcfa/interpose.c (modified) update error messages Wed, 07 Feb 2018 14:13:59 GMT Peter A. Buhr [53217c1] * src/libcfa/concurrency/invoke.c (modified) formatting Wed, 07 Feb 2018 03:54:31 GMT Peter A. Buhr [2b8bc41] * src/libcfa/bits/signal.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/interpose.c (modified) print backtrace on termination Tue, 06 Feb 2018 22:11:22 GMT Rob Schluntz [834b892] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for WaitForStmt Tue, 06 Feb 2018 21:41:56 GMT Rob Schluntz [86c934a] * doc/papers/general/Paper.tex (modified) * src/driver/cfa.cc (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.c (modified) * src/tests/concurrent/.expect/coroutineYield.txt (added) * src/tests/concurrent/coroutineYield.c (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 06 Feb 2018 21:41:32 GMT Rob Schluntz [53d3ab4b] * src/main.cc (modified) Add G flag for debug dump after InstantiateGeneric Tue, 06 Feb 2018 21:40:28 GMT Rob Schluntz [bf7b6015] * src/GenPoly/Lvalue.cc (modified) Move pointer cast out past address expression [fixes #67] Tue, 06 Feb 2018 15:29:52 GMT Thierry Delisle [5f95b5f] * doc/papers/general/Paper.tex (modified) * doc/working/assertion_resolution.md (added) * src/Common/PassVisitor.impl.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/driver/cfa.cc (modified) * src/libcfa/interpose.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 06 Feb 2018 15:29:44 GMT Thierry Delisle [7323573] * src/tests/concurrent/.expect/coroutineYield.txt (modified) * src/tests/concurrent/coroutineYield.c (modified) Extended test to allow preemption to occur Tue, 06 Feb 2018 15:07:18 GMT Thierry Delisle [82c948c] * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/tests/concurrent/.expect/coroutineYield.txt (added) * src/tests/concurrent/coroutineYield.c (added) Thread context switch no longer break coroutines. Added ... Tue, 06 Feb 2018 04:49:56 GMT Peter A. Buhr [6bfe5cc] * src/driver/cfa.cc (modified) * src/libcfa/interpose.c (modified) allow backtrace for debug mode no multi Fri, 02 Feb 2018 21:00:09 GMT Rob Schluntz [3ce0c915] * configure (modified) * configure.ac (modified) * doc/papers/general/Paper.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/working/assertion_resolution.md (added) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 02 Feb 2018 20:49:55 GMT Rob Schluntz [11b7028] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for FinallyStmt Fri, 02 Feb 2018 20:46:29 GMT Rob Schluntz [c20b0fea] * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/typeops.h (modified) Perform pointer decay on instantiated generic member expressions ... Fri, 02 Feb 2018 20:44:27 GMT Rob Schluntz [20cba76] * src/GenPoly/Box.cc (modified) Minor code cleanup Fri, 02 Feb 2018 16:27:20 GMT Rob Schluntz [a33fdbe] * src/ResolvExpr/Resolver.cc (modified) Fix build failure Fri, 02 Feb 2018 04:21:44 GMT Peter A. Buhr [0188a0bc] * src/driver/cfa.cc (modified) allow gcc strcmp unrolling Thu, 01 Feb 2018 22:40:01 GMT Thierry Delisle [85521c7] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/.gitignore (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/aaron_moss/comp_II/comp_II.tex (modified) * doc/theses/rob_schluntz/.gitignore (modified) * doc/theses/rob_schluntz/Makefile (modified) * doc/theses/rob_schluntz/intro.tex (modified) * doc/theses/rob_schluntz/thesis.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/theses/thierry_delisle/version (modified) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.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.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 01 Feb 2018 22:37:37 GMT Thierry Delisle [d0a045c7] * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) Faster (but maybe unsafe) interupt management Thu, 01 Feb 2018 21:37:34 GMT Rob Schluntz [33c0ce8] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for BranchStmt and ThrowStmt Thu, 01 Feb 2018 21:33:17 GMT Rob Schluntz [624b722d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor code cleanup Thu, 01 Feb 2018 21:33:00 GMT Rob Schluntz [0992849] * src/SynTree/Expression.cc (modified) Assign a result type to StmtExpr based on returnDecl in FixInit Thu, 01 Feb 2018 14:26:34 GMT Thierry Delisle [05f4b85] * configure (modified) * configure.ac (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) Jenkins benchmark can now skipcompilation on demand and pin programs ... Thu, 01 Feb 2018 14:25:57 GMT Thierry Delisle [b2b44d8] * src/libcfa/concurrency/preemption.c (modified) some arm cleanup Wed, 31 Jan 2018 22:50:34 GMT Rob Schluntz [e2e7330] * .gitignore (modified) * Jenkinsfile (modified) * doc/bibliography/pl.bib (moved) * doc/papers/OOPSLA17/.gitignore (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/OOPSLA17/evaluation/timing.gp (modified) * doc/papers/OOPSLA17/generic_types.tex (modified) * doc/papers/concurrency/.gitignore (modified) * doc/papers/concurrency/Makefile (added) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/build/bump_ver.sh (deleted) * doc/papers/concurrency/version (deleted) * doc/papers/general/.gitignore (modified) * doc/papers/general/Makefile (added) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/Makefile (added) * doc/papers/general/evaluation/timing.gp (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/.gitignore (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (deleted) * doc/refrat/refrat.tex (modified) * doc/user/.gitignore (modified) * doc/user/Makefile (modified) * doc/user/figures/Cdecl.fig (moved) * doc/user/figures/EHMHierarchy.fig (moved) * doc/user/figures/pointer1.fig (moved) * doc/user/figures/pointer2.fig (moved) * doc/user/user.tex (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/bits/signal.h (added) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/prelude/prelude.cf (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/concurrent/examples/quickSort.c (modified) * src/tests/functions.c (modified) * src/tests/identFuncDeclarator.c (modified) * src/tests/identParamDeclarator.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/block.c (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/disjoint.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/wait.c (modified) * src/tests/preempt_longrun/yield.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 31 Jan 2018 22:14:23 GMT Rob Schluntz [bc6f918] * src/Common/PassVisitor.impl.h (modified) Expand VISIT/MUTATE_BODY for AsmStmt Wed, 31 Jan 2018 21:58:04 GMT Rob Schluntz [60914351] * src/ResolvExpr/Resolver.cc (modified) Add support for resolving function with clause [fixes #80] Wed, 31 Jan 2018 21:56:26 GMT Rob Schluntz [7aaec67] * src/Common/PassVisitor.impl.h (modified) Add with clause support to PassVisitor Wed, 31 Jan 2018 21:55:49 GMT Rob Schluntz [c453ac4] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) Change parser to build FunctionDecl withExpr rather than convert to a ... Wed, 31 Jan 2018 21:53:23 GMT Rob Schluntz [c28a038d] * src/ResolvExpr/Resolver.cc (modified) Refactor resolveWith Wed, 31 Jan 2018 21:50:37 GMT Rob Schluntz [4670c79] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Change Indexer::addWith to take a list of expressions instead of a ... Wed, 31 Jan 2018 21:47:30 GMT Rob Schluntz [574894d] * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) Add list of withExprs to FunctionDecl Wed, 31 Jan 2018 21:45:47 GMT Rob Schluntz [84276ba] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) Add withExprs to TypeData::Function_t Wed, 31 Jan 2018 21:42:38 GMT Rob Schluntz [2cb70aa] * src/Common/PassVisitor.impl.h (modified) * src/SymTab/Indexer.cc (modified) Move Indexer unnamed object check into addId Wed, 31 Jan 2018 19:42:44 GMT Thierry Delisle [0394c31] * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) Added timing target for long running test Wed, 31 Jan 2018 16:53:24 GMT Rob Schluntz [5e2c348] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Assign a result type to StmtExpr after resolution [fixes #79] Wed, 31 Jan 2018 16:33:01 GMT Thierry Delisle [1449d83] * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/block.c (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/disjoint.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/wait.c (modified) * src/tests/preempt_longrun/yield.c (modified) Updated longrun tests which where out of date Tue, 30 Jan 2018 21:52:54 GMT Peter A. Buhr [633a642] * src/libcfa/bits/containers.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.h (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 30 Jan 2018 21:37:58 GMT Peter A. Buhr [320eb73a] * src/tests/functions.c (modified) * src/tests/identFuncDeclarator.c (modified) * src/tests/identParamDeclarator.c (modified) formatting Tue, 30 Jan 2018 21:30:50 GMT Peter A. Buhr [c1135eef] * src/tests/concurrent/examples/quickSort.c (modified) restore call to strcmp Tue, 30 Jan 2018 21:29:06 GMT Peter A. Buhr [e0e47d4] * src/driver/cfa.cc (modified) stop gcc strcmp unrolling Tue, 30 Jan 2018 20:54:32 GMT Thierry Delisle [7416d46a] * Jenkinsfile (modified) * doc/NDA/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf (moved) * doc/NDA/Cover_Letter.pdf (moved) * doc/NDA/Daniel_Caccamo.pdf (moved) * doc/NDA/NDA.pdf (moved) * doc/NDA/Neda_Paryab.pdf (moved) * doc/NDA/Peter_Buhr-30-jul-2014.pdf (moved) * doc/bibliography/cfa.bib (modified) * doc/papers/OOPSLA17/.gitignore (moved) * doc/papers/OOPSLA17/ACM-Reference-Format.bst (moved) * doc/papers/OOPSLA17/Makefile (moved) * doc/papers/OOPSLA17/acmart-pacmpl-template.tex (moved) * doc/papers/OOPSLA17/acmart.cls (moved) * doc/papers/OOPSLA17/evaluation/.gitignore (moved) * doc/papers/OOPSLA17/evaluation/Makefile (moved) * doc/papers/OOPSLA17/evaluation/bench.h (moved) * doc/papers/OOPSLA17/evaluation/bench.hpp (moved) * doc/papers/OOPSLA17/evaluation/c-bench.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.h (moved) * doc/papers/OOPSLA17/evaluation/c-print.c (moved) * doc/papers/OOPSLA17/evaluation/c-print.h (moved) * doc/papers/OOPSLA17/evaluation/c-stack.c (moved) * doc/papers/OOPSLA17/evaluation/c-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-bench.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cpp-bench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-pair.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-print.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-stack.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vbench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vprint.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.hpp (moved) * doc/papers/OOPSLA17/evaluation/object.hpp (moved) * doc/papers/OOPSLA17/evaluation/timing.dat (moved) * doc/papers/OOPSLA17/evaluation/timing.gp (moved) * doc/papers/OOPSLA17/evaluation/timing.xlsx (moved) * doc/papers/OOPSLA17/generic_types.tex (moved) * doc/papers/OOPSLA17/mail (moved) * doc/papers/OOPSLA17/refereeReport.txt (moved) * doc/papers/concurrency/.gitignore (moved) * doc/papers/concurrency/Paper.tex (added) * doc/papers/concurrency/annex/local.bib (moved) * doc/papers/concurrency/build/bump_ver.sh (moved) * doc/papers/concurrency/figures/dependency.fig (moved) * doc/papers/concurrency/figures/ext_monitor.fig (moved) * doc/papers/concurrency/figures/int_monitor.fig (moved) * doc/papers/concurrency/figures/monitor.fig (moved) * doc/papers/concurrency/figures/monitor_structs.fig (moved) * doc/papers/concurrency/figures/system.fig (moved) * doc/papers/concurrency/notes/cor-thread-traits.c (moved) * doc/papers/concurrency/notes/lit-review.md (moved) * doc/papers/concurrency/notes/notes.md (moved) * doc/papers/concurrency/style/cfa-format.tex (moved) * doc/papers/concurrency/style/style.tex (moved) * doc/papers/concurrency/version (added) * doc/papers/general/.gitignore (added) * doc/papers/general/Paper.tex (added) * doc/papers/general/evaluation/.gitignore (added) * doc/papers/general/evaluation/bench.h (added) * doc/papers/general/evaluation/bench.hpp (added) * doc/papers/general/evaluation/c-bench.c (added) * doc/papers/general/evaluation/c-pair.c (added) * doc/papers/general/evaluation/c-pair.h (added) * doc/papers/general/evaluation/c-print.c (added) * doc/papers/general/evaluation/c-print.h (added) * doc/papers/general/evaluation/c-stack.c (added) * doc/papers/general/evaluation/c-stack.h (added) * doc/papers/general/evaluation/cfa-bench.c (added) * doc/papers/general/evaluation/cfa-pair.c (added) * doc/papers/general/evaluation/cfa-pair.h (added) * doc/papers/general/evaluation/cfa-print.c (added) * doc/papers/general/evaluation/cfa-print.h (added) * doc/papers/general/evaluation/cfa-stack.c (added) * doc/papers/general/evaluation/cfa-stack.h (added) * doc/papers/general/evaluation/cpp-bench.cpp (added) * doc/papers/general/evaluation/cpp-pair.hpp (added) * doc/papers/general/evaluation/cpp-print.hpp (added) * doc/papers/general/evaluation/cpp-stack.hpp (added) * doc/papers/general/evaluation/cpp-vbench.cpp (added) * doc/papers/general/evaluation/cpp-vprint.hpp (added) * doc/papers/general/evaluation/cpp-vstack.cpp (added) * doc/papers/general/evaluation/cpp-vstack.hpp (added) * doc/papers/general/evaluation/object.hpp (added) * doc/papers/general/evaluation/timing.dat (added) * doc/papers/general/evaluation/timing.gp (added) * doc/papers/general/evaluation/timing.xlsx (added) * doc/papers_related/Baker82.pdf (moved) * doc/papers_related/Bilson.pdf (moved) * doc/papers_related/Bilson03.pdf (moved) * doc/papers_related/Breuel.pdf (moved) * doc/papers_related/Cormack81.pdf (moved) * doc/papers_related/CormackWright90.pdf (moved) * doc/papers_related/Ditchfield92.pdf (moved) * doc/papers_related/Grossman06.pdf (moved) * doc/papers_related/Jones97.pdf (moved) * doc/papers_related/Laufer92.pdf (moved) * doc/papers_related/Ziegler92.pdf (moved) * doc/papers_related/refrat98.pdf (moved) * doc/proposals/concurrency/version (deleted) * doc/theses/aaron_moss/comp_II/.gitignore (moved) * doc/theses/aaron_moss/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss/comp_II/Makefile (moved) * doc/theses/aaron_moss/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.png (moved) * doc/theses/rob_schluntz/.gitignore (moved) * doc/theses/rob_schluntz/Makefile (moved) * doc/theses/rob_schluntz/cfa-format.tex (moved) * doc/theses/rob_schluntz/conclusions.tex (moved) * doc/theses/rob_schluntz/ctordtor.tex (moved) * doc/theses/rob_schluntz/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/member.c (moved) * doc/theses/rob_schluntz/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz/examples/intro/designation.c (moved) * doc/theses/rob_schluntz/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz/examples/intro/ires.java (moved) * doc/theses/rob_schluntz/examples/intro/res.java (moved) * doc/theses/rob_schluntz/examples/intro/res1.java (moved) * doc/theses/rob_schluntz/examples/intro/res2.java (moved) * doc/theses/rob_schluntz/examples/intro/res3.java (moved) * doc/theses/rob_schluntz/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz/examples/malloc.cc (moved) * doc/theses/rob_schluntz/examples/nested.c (moved) * doc/theses/rob_schluntz/examples/poly.c (moved) * doc/theses/rob_schluntz/examples/scope_guard.h (moved) * doc/theses/rob_schluntz/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz/examples/tuples/named.c (moved) * doc/theses/rob_schluntz/examples/variadic/new.c (moved) * doc/theses/rob_schluntz/examples/variadic/print.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz/intro.tex (moved) * doc/theses/rob_schluntz/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz/thesis.bib (moved) * doc/theses/rob_schluntz/thesis.tex (moved) * doc/theses/rob_schluntz/tuples.tex (moved) * doc/theses/rob_schluntz/variadic.tex (moved) * doc/theses/thierry_delisle/.gitignore (added) * doc/theses/thierry_delisle/Makefile (moved) * doc/theses/thierry_delisle/annex/glossary.tex (moved) * doc/theses/thierry_delisle/annex/local.bib (added) * doc/theses/thierry_delisle/build/bump_ver.sh (added) * doc/theses/thierry_delisle/figures/dependency.fig (added) * doc/theses/thierry_delisle/figures/ext_monitor.fig (added) * doc/theses/thierry_delisle/figures/int_monitor.fig (added) * doc/theses/thierry_delisle/figures/monitor.fig (added) * doc/theses/thierry_delisle/figures/monitor_structs.fig (added) * doc/theses/thierry_delisle/figures/system.fig (added) * doc/theses/thierry_delisle/notes/cor-thread-traits.c (added) * doc/theses/thierry_delisle/notes/lit-review.md (added) * doc/theses/thierry_delisle/notes/notes.md (added) * doc/theses/thierry_delisle/style/cfa-format.tex (added) * doc/theses/thierry_delisle/style/style.tex (added) * doc/theses/thierry_delisle/text/basics.tex (moved) * doc/theses/thierry_delisle/text/cforall.tex (moved) * doc/theses/thierry_delisle/text/concurrency.tex (moved) * doc/theses/thierry_delisle/text/frontpgs.tex (moved) * doc/theses/thierry_delisle/text/future.tex (moved) * doc/theses/thierry_delisle/text/internals.tex (moved) * doc/theses/thierry_delisle/text/intro.tex (moved) * doc/theses/thierry_delisle/text/parallelism.tex (moved) * doc/theses/thierry_delisle/text/results.tex (moved) * doc/theses/thierry_delisle/text/together.tex (moved) * doc/theses/thierry_delisle/thePlan.md (moved) * doc/theses/thierry_delisle/thesis.tex (moved) * doc/theses/thierry_delisle/version (added) * src/CodeGen/GenType.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (deleted) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Label.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/bits/signal.h (added) * src/libcfa/concurrency/CtxSwitch-armv7l.S (added) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/alloc-ERROR.txt (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/.expect/ctor-autogen.txt (deleted) * src/tests/.expect/dtor-early-exit-ERR1.txt (deleted) * src/tests/.expect/dtor-early-exit-ERR2.txt (deleted) * src/tests/.expect/io.txt (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (deleted) * src/tests/.expect/sum.txt (modified) * src/tests/.expect/vector.txt (moved) * src/tests/.expect/vector_test.txt (deleted) * src/tests/.in/vector_test.txt (deleted) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (modified) * src/tests/concurrent/examples/.expect/quickSort.txt (added) * src/tests/concurrent/examples/quickSort.c (modified) * src/tests/io.c (modified) * src/tests/io.data (modified) * src/tests/raii/.expect/ctor-autogen-ERR1.txt (moved) * src/tests/raii/.expect/ctor-autogen.txt (moved) * src/tests/raii/.expect/dtor-early-exit-ERR1.txt (added) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (added) * src/tests/raii/.expect/dtor-early-exit.txt (moved) * src/tests/raii/.expect/globals.txt (moved) * src/tests/raii/.expect/init_once.txt (added) * src/tests/raii/.expect/memberCtors-ERR1.txt (added) * src/tests/raii/.expect/memberCtors.txt (moved) * src/tests/raii/ctor-autogen.c (moved) * src/tests/raii/dtor-early-exit.c (moved) * src/tests/raii/globals.c (moved) * src/tests/raii/init_once.c (moved) * src/tests/raii/memberCtors.c (moved) * src/tests/raii/multiDimension.c (moved) * src/tests/raii/multiDimension.txt (moved) * src/tests/sum.c (modified) * src/tests/vector.c (moved) * src/tests/vector/array.c (deleted) * src/tests/vector/array.h (deleted) * src/tests/vector/vector_int.c (deleted) * src/tests/vector/vector_int.h (deleted) * src/tests/vector/vector_test.c (deleted) * tools/repeat.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Jan 2018 20:52:55 GMT Thierry Delisle [f792cb8] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Fixed concurrency make target Tue, 30 Jan 2018 20:52:42 GMT Thierry Delisle [65deb18] * src/libcfa/bits/containers.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.h (modified) Kernel now properly uses with statments Tue, 30 Jan 2018 20:06:49 GMT Thierry Delisle [42be3c3] * src/prelude/prelude.cf (modified) Removed extraneous arithmetic operations on booleans Tue, 30 Jan 2018 19:04:33 GMT Thierry Delisle [ffd0ac2] * doc/NDA/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf (moved) * doc/NDA/Cover_Letter.pdf (moved) * doc/NDA/Daniel_Caccamo.pdf (moved) * doc/NDA/NDA.pdf (moved) * doc/NDA/Neda_Paryab.pdf (moved) * doc/NDA/Peter_Buhr-30-jul-2014.pdf (moved) * doc/bibliography/cfa.bib (modified) * doc/papers/OOPSLA17/.gitignore (moved) * doc/papers/OOPSLA17/ACM-Reference-Format.bst (moved) * doc/papers/OOPSLA17/Makefile (moved) * doc/papers/OOPSLA17/acmart-pacmpl-template.tex (moved) * doc/papers/OOPSLA17/acmart.cls (moved) * doc/papers/OOPSLA17/evaluation/.gitignore (moved) * doc/papers/OOPSLA17/evaluation/Makefile (moved) * doc/papers/OOPSLA17/evaluation/bench.h (moved) * doc/papers/OOPSLA17/evaluation/bench.hpp (moved) * doc/papers/OOPSLA17/evaluation/c-bench.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.c (moved) * doc/papers/OOPSLA17/evaluation/c-pair.h (moved) * doc/papers/OOPSLA17/evaluation/c-print.c (moved) * doc/papers/OOPSLA17/evaluation/c-print.h (moved) * doc/papers/OOPSLA17/evaluation/c-stack.c (moved) * doc/papers/OOPSLA17/evaluation/c-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-bench.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-pair.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-print.h (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.c (moved) * doc/papers/OOPSLA17/evaluation/cfa-stack.h (moved) * doc/papers/OOPSLA17/evaluation/cpp-bench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-pair.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-print.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-stack.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vbench.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vprint.hpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.cpp (moved) * doc/papers/OOPSLA17/evaluation/cpp-vstack.hpp (moved) * doc/papers/OOPSLA17/evaluation/object.hpp (moved) * doc/papers/OOPSLA17/evaluation/timing.dat (moved) * doc/papers/OOPSLA17/evaluation/timing.gp (moved) * doc/papers/OOPSLA17/evaluation/timing.xlsx (moved) * doc/papers/OOPSLA17/generic_types.tex (moved) * doc/papers/OOPSLA17/mail (moved) * doc/papers/OOPSLA17/refereeReport.txt (moved) * doc/papers/concurrency/.gitignore (moved) * doc/papers/concurrency/Paper.tex (added) * doc/papers/concurrency/annex/local.bib (moved) * doc/papers/concurrency/build/bump_ver.sh (moved) * doc/papers/concurrency/figures/dependency.fig (moved) * doc/papers/concurrency/figures/ext_monitor.fig (moved) * doc/papers/concurrency/figures/int_monitor.fig (moved) * doc/papers/concurrency/figures/monitor.fig (moved) * doc/papers/concurrency/figures/monitor_structs.fig (moved) * doc/papers/concurrency/figures/system.fig (moved) * doc/papers/concurrency/notes/cor-thread-traits.c (moved) * doc/papers/concurrency/notes/lit-review.md (moved) * doc/papers/concurrency/notes/notes.md (moved) * doc/papers/concurrency/style/cfa-format.tex (moved) * doc/papers/concurrency/style/style.tex (moved) * doc/papers/concurrency/version (added) * doc/papers/general/.gitignore (added) * doc/papers/general/Paper.tex (added) * doc/papers/general/evaluation/.gitignore (added) * doc/papers/general/evaluation/bench.h (added) * doc/papers/general/evaluation/bench.hpp (added) * doc/papers/general/evaluation/c-bench.c (added) * doc/papers/general/evaluation/c-pair.c (added) * doc/papers/general/evaluation/c-pair.h (added) * doc/papers/general/evaluation/c-print.c (added) * doc/papers/general/evaluation/c-print.h (added) * doc/papers/general/evaluation/c-stack.c (added) * doc/papers/general/evaluation/c-stack.h (added) * doc/papers/general/evaluation/cfa-bench.c (added) * doc/papers/general/evaluation/cfa-pair.c (added) * doc/papers/general/evaluation/cfa-pair.h (added) * doc/papers/general/evaluation/cfa-print.c (added) * doc/papers/general/evaluation/cfa-print.h (added) * doc/papers/general/evaluation/cfa-stack.c (added) * doc/papers/general/evaluation/cfa-stack.h (added) * doc/papers/general/evaluation/cpp-bench.cpp (added) * doc/papers/general/evaluation/cpp-pair.hpp (added) * doc/papers/general/evaluation/cpp-print.hpp (added) * doc/papers/general/evaluation/cpp-stack.hpp (added) * doc/papers/general/evaluation/cpp-vbench.cpp (added) * doc/papers/general/evaluation/cpp-vprint.hpp (added) * doc/papers/general/evaluation/cpp-vstack.cpp (added) * doc/papers/general/evaluation/cpp-vstack.hpp (added) * doc/papers/general/evaluation/object.hpp (added) * doc/papers/general/evaluation/timing.dat (added) * doc/papers/general/evaluation/timing.gp (added) * doc/papers/general/evaluation/timing.xlsx (added) * doc/papers_related/Baker82.pdf (moved) * doc/papers_related/Bilson.pdf (moved) * doc/papers_related/Bilson03.pdf (moved) * doc/papers_related/Breuel.pdf (moved) * doc/papers_related/Cormack81.pdf (moved) * doc/papers_related/CormackWright90.pdf (moved) * doc/papers_related/Ditchfield92.pdf (moved) * doc/papers_related/Grossman06.pdf (moved) * doc/papers_related/Jones97.pdf (moved) * doc/papers_related/Laufer92.pdf (moved) * doc/papers_related/Ziegler92.pdf (moved) * doc/papers_related/refrat98.pdf (moved) * doc/theses/aaron_moss/comp_II/.gitignore (moved) * doc/theses/aaron_moss/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss/comp_II/Makefile (moved) * doc/theses/aaron_moss/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.png (moved) * doc/theses/rob_schluntz/.gitignore (moved) * doc/theses/rob_schluntz/Makefile (moved) * doc/theses/rob_schluntz/cfa-format.tex (moved) * doc/theses/rob_schluntz/conclusions.tex (moved) * doc/theses/rob_schluntz/ctordtor.tex (moved) * doc/theses/rob_schluntz/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/member.c (moved) * doc/theses/rob_schluntz/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz/examples/intro/designation.c (moved) * doc/theses/rob_schluntz/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz/examples/intro/ires.java (moved) * doc/theses/rob_schluntz/examples/intro/res.java (moved) * doc/theses/rob_schluntz/examples/intro/res1.java (moved) * doc/theses/rob_schluntz/examples/intro/res2.java (moved) * doc/theses/rob_schluntz/examples/intro/res3.java (moved) * doc/theses/rob_schluntz/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz/examples/malloc.cc (moved) * doc/theses/rob_schluntz/examples/nested.c (moved) * doc/theses/rob_schluntz/examples/poly.c (moved) * doc/theses/rob_schluntz/examples/scope_guard.h (moved) * doc/theses/rob_schluntz/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz/examples/tuples/named.c (moved) * doc/theses/rob_schluntz/examples/variadic/new.c (moved) * doc/theses/rob_schluntz/examples/variadic/print.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz/intro.tex (moved) * doc/theses/rob_schluntz/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz/thesis.bib (moved) * doc/theses/rob_schluntz/thesis.tex (moved) * doc/theses/rob_schluntz/tuples.tex (moved) * doc/theses/rob_schluntz/variadic.tex (moved) * doc/theses/thierry_delisle/.gitignore (added) * doc/theses/thierry_delisle/Makefile (moved) * doc/theses/thierry_delisle/annex/glossary.tex (moved) * doc/theses/thierry_delisle/annex/local.bib (added) * doc/theses/thierry_delisle/build/bump_ver.sh (added) * doc/theses/thierry_delisle/figures/dependency.fig (added) * doc/theses/thierry_delisle/figures/ext_monitor.fig (added) * doc/theses/thierry_delisle/figures/int_monitor.fig (added) * doc/theses/thierry_delisle/figures/monitor.fig (added) * doc/theses/thierry_delisle/figures/monitor_structs.fig (added) * doc/theses/thierry_delisle/figures/system.fig (added) * doc/theses/thierry_delisle/notes/cor-thread-traits.c (added) * doc/theses/thierry_delisle/notes/lit-review.md (added) * doc/theses/thierry_delisle/notes/notes.md (added) * doc/theses/thierry_delisle/style/cfa-format.tex (added) * doc/theses/thierry_delisle/style/style.tex (added) * doc/theses/thierry_delisle/text/basics.tex (moved) * doc/theses/thierry_delisle/text/cforall.tex (moved) * doc/theses/thierry_delisle/text/concurrency.tex (moved) * doc/theses/thierry_delisle/text/frontpgs.tex (moved) * doc/theses/thierry_delisle/text/future.tex (moved) * doc/theses/thierry_delisle/text/internals.tex (moved) * doc/theses/thierry_delisle/text/intro.tex (moved) * doc/theses/thierry_delisle/text/parallelism.tex (moved) * doc/theses/thierry_delisle/text/results.tex (moved) * doc/theses/thierry_delisle/text/together.tex (moved) * doc/theses/thierry_delisle/thePlan.md (moved) * doc/theses/thierry_delisle/thesis.tex (moved) * doc/theses/thierry_delisle/version (moved) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/io.txt (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/sum.txt (modified) * src/tests/concurrent/examples/.expect/quickSort.txt (added) * src/tests/concurrent/examples/quickSort.c (modified) * src/tests/io.c (modified) * src/tests/io.data (modified) * src/tests/sum.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 30 Jan 2018 19:04:27 GMT Thierry Delisle [2e9aed4] * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) Fixed non-preemptive locks Tue, 30 Jan 2018 19:03:06 GMT Thierry Delisle [813ddcaa] * src/libcfa/interpose.c (modified) Interpose now replaces abort/segfault handlers Tue, 30 Jan 2018 19:02:22 GMT Thierry Delisle [24ed606] * src/driver/cfa.cc (modified) Force the compiler to always include interpose logic Tue, 30 Jan 2018 16:57:12 GMT Rob Schluntz [5a73f0f] * src/tests/.expect/literals.x86.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc