# # ChangeLog for / # # Generated by Trac 1.2.1 # Jun 27, 2024, 10:52:38 AM Tue, 02 May 2023 15:05:54 GMT Peter A. Buhr [ab6dcc8] * doc/bibliography/pl.bib (modified) add citations for Actor paper Tue, 02 May 2023 15:04:55 GMT Peter A. Buhr [e20c0af] * doc/LaTeXmacros/lstlang.sty (modified) update list of CFA keywords in lstlang.sty Tue, 02 May 2023 15:03:46 GMT Peter A. Buhr [085f67a] * doc/theses/colby_parsons_MMAth/style/cfa-format.tex (deleted) remove unsed cfa-format.tex file Mon, 01 May 2023 22:26:22 GMT Peter A. Buhr [6740811] * Jenkinsfile (modified) change all-tests to tests to match new make targets Mon, 01 May 2023 22:15:26 GMT Peter A. Buhr [c083c3d] * benchmark/mutexStmt/JavaThread.java (deleted) * doc/papers/AMA/AMA-stix/Documents/.log (modified) * doc/papers/AMA/AMA-stix/Documents/README.txt (modified) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (modified) * doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd (modified) * doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (modified) * doc/theses/colby_parsons_MMAth/code/swap_queues.cfa (modified) * doc/theses/colby_parsons_MMAth/version.sh (modified) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.vsdx (modified) * doc/theses/rob_schluntz_MMath/thesis.bib (modified) * libcfa/src/bits/weakso_locks.cfa (modified) * libcfa/src/bits/weakso_locks.hfa (modified) * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/future.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/select.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Concurrency/WaitforNew.cpp (modified) * src/Concurrency/Waituntil.cpp (added) * src/Concurrency/Waituntil.hpp (added) * src/Concurrency/module.mk (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) * tests/Makefile.am (modified) * tests/concurrent/futures/select_future.cfa (modified) * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (deleted) * tests/concurrent/mutexstmt/scoped_lock.cfa (deleted) * tests/concurrent/unified_locking/.expect/clh.txt (deleted) * tests/concurrent/unified_locking/clh.cfa (deleted) * tests/concurrent/waituntil/.expect/basic_else.txt (added) * tests/concurrent/waituntil/.expect/channel_close.txt (added) * tests/concurrent/waituntil/.expect/channels.txt (added) * tests/concurrent/waituntil/.expect/futures.txt (added) * tests/concurrent/waituntil/.expect/locks.txt (added) * tests/concurrent/waituntil/basic_else.cfa (added) * tests/concurrent/waituntil/channel_close.cfa (added) * tests/concurrent/waituntil/channels.cfa (added) * tests/concurrent/waituntil/futures.cfa (added) * tests/concurrent/waituntil/locks.cfa (added) * tests/zombies/gc_no_raii/bug-repro/deref.c (modified) * tests/zombies/gc_no_raii/bug-repro/malloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/zero.c (modified) * tests/zombies/gc_no_raii/test/operators.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 01 May 2023 20:59:07 GMT Peter A. Buhr [4daf79f] * Makefile.am (modified) * tests/Makefile.am (modified) formatting, adjust target names for Makefiles Mon, 01 May 2023 20:19:09 GMT caparsons [6e1e2d0] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/Documents/.log (modified) * doc/papers/AMA/AMA-stix/Documents/README.txt (modified) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (modified) * doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd (modified) * doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib (modified) * doc/theses/colby_parsons_MMAth/.gitignore (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (modified) * doc/theses/colby_parsons_MMAth/code/swap_queues.cfa (modified) * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * doc/theses/colby_parsons_MMAth/version.sh (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/_classic.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.vsdx (modified) * doc/theses/rob_schluntz_MMath/thesis.bib (modified) * driver/cfa.cc (modified) * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/Iterate.hpp (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (added) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (added) * src/Parser/InitializerNode.cc (modified) * src/Parser/InitializerNode.h (added) * src/Parser/ParseNode.h (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (added) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/module.mk (modified) * src/Validate/Autogen.cpp (modified) * src/main.cc (modified) * tests/.expect/PRNG.x64.txt (modified) * tests/.expect/PRNG.x86.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/concurrent/waitfor/parse.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (deleted) * tests/pybin/settings.py (modified) * tests/test.py (modified) * tests/zombies/gc_no_raii/bug-repro/deref.c (modified) * tests/zombies/gc_no_raii/bug-repro/malloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/zero.c (modified) * tests/zombies/gc_no_raii/test/operators.c (modified) resolved merge conflicts Mon, 01 May 2023 20:11:29 GMT caparsons [a50fdfb] * tests/concurrent/waituntil/.expect/basic_else.txt (added) * tests/concurrent/waituntil/.expect/channel_close.txt (added) * tests/concurrent/waituntil/.expect/channels.txt (added) * tests/concurrent/waituntil/.expect/futures.txt (added) * tests/concurrent/waituntil/.expect/locks.txt (added) added waituntil test expect files Mon, 01 May 2023 20:09:30 GMT caparsons [63d5ac5] * tests/concurrent/futures/select_future.cfa (modified) removed TODO since it is now done Mon, 01 May 2023 20:09:08 GMT caparsons [2a84d994] * benchmark/mutexStmt/JavaThread.java (deleted) removed old unused benchmark file Mon, 01 May 2023 20:08:41 GMT caparsons [6c3c51d] * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (deleted) * tests/concurrent/mutexstmt/scoped_lock.cfa (deleted) removed scoped lock Mon, 01 May 2023 20:08:20 GMT caparsons [b9cd3b5] * tests/concurrent/unified_locking/.expect/clh.txt (deleted) * tests/concurrent/unified_locking/clh.cfa (deleted) removed clh lock Mon, 01 May 2023 20:07:29 GMT caparsons [a33a5e2] * tests/concurrent/waituntil/basic_else.cfa (added) * tests/concurrent/waituntil/channel_close.cfa (added) * tests/concurrent/waituntil/channels.cfa (added) * tests/concurrent/waituntil/futures.cfa (added) * tests/concurrent/waituntil/locks.cfa (added) added tests for the waituntil stmt Mon, 01 May 2023 20:06:07 GMT caparsons [c86b08d] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Concurrency/WaitforNew.cpp (modified) * src/Concurrency/Waituntil.cpp (added) * src/Concurrency/Waituntil.hpp (added) * src/Concurrency/module.mk (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) added support for the waituntil statement in the compiler Mon, 01 May 2023 20:01:46 GMT caparsons [73bf7ddc] * libcfa/src/bits/weakso_locks.cfa (modified) * libcfa/src/bits/weakso_locks.hfa (modified) updated lock interface to support waituntil trait Mon, 01 May 2023 20:00:06 GMT caparsons [beeff61e] * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/future.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/select.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) some cleanup and a bunch of changes to support waituntil statement Mon, 01 May 2023 11:39:30 GMT Peter A. Buhr [985b624] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly ... Wed, 26 Apr 2023 22:20:33 GMT Peter A. Buhr [e6d8d11] * tests/PRNG.cfa (modified) update comment about locale problem with leaked storage Wed, 26 Apr 2023 22:19:15 GMT Peter A. Buhr [04c78215] * src/Parser/parser.yy (modified) change waituntil expression from cast_expression to comma_expression Thu, 20 Apr 2023 19:21:09 GMT Andrew Beach [699a97d] * src/ResolvExpr/CurrentObject.cc (modified) Added IndexIterator, which absorbs some functionality of some ... Thu, 20 Apr 2023 15:58:06 GMT Andrew Beach [45e753c] * src/Parser/DeclarationNode.cc (modified) Clean-up in DeclarationNode.cc. Made all buildList loops the same. ... Wed, 19 Apr 2023 15:58:01 GMT Andrew Beach [028e512] * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (modified) Cleaned up some DeclarationNode code that had some extra code no ... Wed, 19 Apr 2023 14:39:24 GMT Andrew Beach [a5ea261] * tests/pybin/settings.py (modified) * tests/test.py (modified) The test.py (through Makefile) handles --invariant passing it to the ... Tue, 18 Apr 2023 18:09:52 GMT Andrew Beach [81bd7e3] * driver/cfa.cc (modified) Adding explination to the memory leak in driver/cfa.cc. Mon, 17 Apr 2023 15:00:38 GMT Andrew Beach [66b6f66] * src/Parser/DeclarationNode.h (modified) Cleaned up some indentation in DeclarationNode.h. Sun, 16 Apr 2023 13:08:32 GMT Peter A. Buhr [6349929] * tests/.expect/PRNG.x86.txt (modified) fix 32-bit build with new PRNG output Sat, 15 Apr 2023 20:53:13 GMT Peter A. Buhr [c831073] * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/module.mk (modified) * src/Validate/Autogen.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 15 Apr 2023 20:52:59 GMT Peter A. Buhr [8a2f7f1] * tests/.expect/PRNG.x64.txt (modified) * tests/PRNG.cfa (modified) fix PRNG test to work correctly on ARM Fri, 14 Apr 2023 21:57:09 GMT Andrew Beach [d859a30] * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) Some SymbolTable clean-up I did while trying a change I didn't go ... Fri, 14 Apr 2023 19:55:06 GMT Andrew Beach [fb4dc28] * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/module.mk (modified) * src/Validate/Autogen.cpp (modified) Moved new ast code out of one of the old files. The new file may have ... Thu, 13 Apr 2023 20:47:05 GMT Andrew Beach [1b8fc06c] * src/Common/Iterate.hpp (modified) Updated Iterate.hpp documentation. Thu, 13 Apr 2023 14:28:47 GMT Andrew Beach [32d6fdc] * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/parser.yy (modified) Clean-up in the parser %union. Wed, 12 Apr 2023 22:32:46 GMT Andrew Beach [52f9804] * src/main.cc (modified) Update macros in main. DUMP is now a macro to save space/noise and ... Wed, 12 Apr 2023 19:10:28 GMT Andrew Beach [eb8d791] * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/main.cc (modified) CandidateFinder fills in the CodeLocation on a generated expression. ... Wed, 12 Apr 2023 14:42:12 GMT Andrew Beach [153d3440] * src/ResolvExpr/CandidateFinder.cpp (modified) Reorganize CandidateFinder to lower indentation. I did not flatten ... Tue, 11 Apr 2023 19:51:31 GMT Andrew Beach [94c98f0e] * src/AST/Attribute.hpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Stmt.hpp (modified) Added/cleaned some AST comments. Tue, 11 Apr 2023 18:35:14 GMT Andrew Beach [b05beaa] * src/Common/CodeLocationTools.cpp (modified) Clean-up in CodeLocationTools. Tue, 11 Apr 2023 17:12:22 GMT Andrew Beach [5541a44e] * src/Parser/StatementNode.cc (modified) Missed some uses of the new parser helpers. Tue, 11 Apr 2023 16:48:03 GMT Andrew Beach [6611177] * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.h (modified) Clean-up in parser. ClauseNode rework, plus internal adjustments to ... Tue, 11 Apr 2023 14:47:15 GMT Peter A. Buhr [9921573] * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) update channel chapter intro Tue, 11 Apr 2023 14:45:58 GMT Peter A. Buhr [e59a9fa] * doc/theses/colby_parsons_MMAth/.gitignore (modified) clean up .gitignore file Tue, 11 Apr 2023 03:59:17 GMT Peter A. Buhr [8c3d1d5] * doc/bibliography/pl.bib (modified) add Kahn74 citation Tue, 11 Apr 2023 03:57:45 GMT Peter A. Buhr [a1b41e3] * tests/Makefile.am (modified) * tests/concurrent/waitfor/parse.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (deleted) add parsing test for waitfor statement Tue, 11 Apr 2023 01:25:28 GMT Peter A. Buhr [6adeb5f] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (modified) * src/ResolvExpr/CurrentObject.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 11 Apr 2023 01:25:21 GMT Peter A. Buhr [372b6d3] * driver/cfa.cc (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/main.cc (modified) add -invariant/--invariant flag to enable invariant checking during ... Mon, 10 Apr 2023 16:03:31 GMT Mike Brooks [a085470] * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (added) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (added) * src/Parser/InitializerNode.cc (modified) * src/Parser/InitializerNode.h (added) * src/Parser/ParseNode.h (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (added) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 10 Apr 2023 16:03:17 GMT Mike Brooks [2b01f8e] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (modified) Adjust LL perf to use a random layout of nodes in memory Mon, 10 Apr 2023 13:49:05 GMT Andrew Beach [ea2759b] * src/ResolvExpr/CurrentObject.cc (modified) Some clean-up in CurrentObject, so that TupleIterator is no longer ... Sat, 08 Apr 2023 19:50:53 GMT Peter A. Buhr [8472c6c] * src/AST/Pass.impl.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 08 Apr 2023 19:50:20 GMT Peter A. Buhr [beabdf3] * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) formatting, replace latex package subcaption with subfig Sat, 08 Apr 2023 19:49:44 GMT Peter A. Buhr [3d5fba21] * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) formatting, replace latex package subcaption with subfig Sat, 08 Apr 2023 19:48:16 GMT Peter A. Buhr [16dff44] * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) proofread chapter mutex_stmt Sat, 08 Apr 2023 19:47:20 GMT Peter A. Buhr [7f164c3] * doc/theses/colby_parsons_MMAth/thesis.tex (modified) replace latex package subcaption with subfig Sat, 08 Apr 2023 19:46:10 GMT Peter A. Buhr [39b2403] * doc/theses/colby_parsons_MMAth/style/style.tex (modified) add temporary Newterm, PAB macro, save boxes, and lstnewenvironment java Thu, 06 Apr 2023 22:10:56 GMT Mike Brooks [e9ed2a1] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (modified) Run LL perf with more stable compile flags and run context. Thu, 06 Apr 2023 20:40:03 GMT Andrew Beach [485393c] * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) Moved code out of the CurrentObject header. Thu, 06 Apr 2023 20:09:24 GMT Andrew Beach [fac05b3] * src/AST/Pass.impl.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) Removed members from TupleType. They were only used in one place, ... Thu, 06 Apr 2023 14:13:38 GMT Andrew Beach [c468150] * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (added) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (added) * src/Parser/InitializerNode.cc (modified) * src/Parser/InitializerNode.h (added) * src/Parser/ParseNode.h (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (added) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) Split up ParseNode.h so that headers match implementation. May have a ... Wed, 05 Apr 2023 20:45:38 GMT Andrew Beach [835d6e8] * src/AST/Convert.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) ast::SuspendStmt::Type -> ::Kind, this fits the new convention where ... Wed, 05 Apr 2023 15:30:56 GMT Andrew Beach [3e94a23] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) More use of the new AST named boolean types. Wed, 05 Apr 2023 02:13:39 GMT Mike Brooks [9bb8ee42] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (added) Extend LL perf experiment to run on many dataset sizes. Wed, 05 Apr 2023 02:12:57 GMT Mike Brooks [e02e13f] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * src/AST/SymbolTable.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * tests/.expect/attributes.arm64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/errors/.expect/declaration.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 04 Apr 2023 18:25:52 GMT Andrew Beach [bb7422a] * src/AST/SymbolTable.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * tests/.expect/attributes.arm64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/errors/.expect/declaration.txt (modified) Translated parser to the new ast. This incuded a small fix in the ... Tue, 04 Apr 2023 17:26:08 GMT Mike Brooks [ff71057] * doc/theses/mike_brooks_MMath/benchmarks/list/_classic.c (modified) Apply volatile variable frequency reduction (of fa6ca1ac779b4) to ... Tue, 04 Apr 2023 17:25:27 GMT Mike Brooks [fdc042d] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) Fix Makefile noise on LL perf rebuild. Tue, 04 Apr 2023 17:24:24 GMT Mike Brooks [b0be909f] * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) Remove mistakenly committed diagnostic output from LL prf. Tue, 04 Apr 2023 17:17:44 GMT Mike Brooks [1dfc3d0] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) Tweak LL perf compilation--CLI to support a fixed-work mode that does ... Tue, 04 Apr 2023 16:05:46 GMT Peter A. Buhr [4541b09] * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) small corrections Tue, 04 Apr 2023 16:04:52 GMT Peter A. Buhr [9586d22] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) add access to LstNumberStyle, make tt font smalled for lst string ... Tue, 04 Apr 2023 15:58:50 GMT Peter A. Buhr [deeda09] * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) proofread CFA-concurrency chapter Tue, 04 Apr 2023 15:57:02 GMT Peter A. Buhr [11e3e97] * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) formatting Tue, 04 Apr 2023 14:10:19 GMT Peter A. Buhr [55fabac] * doc/theses/colby_parsons_MMAth/thesis.tex (modified) change citation colour from green to blue Tue, 04 Apr 2023 14:09:19 GMT Peter A. Buhr [59c05958] * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) proofread CFA-introduction chapter Tue, 04 Apr 2023 13:50:07 GMT caparsons [9363b1b] * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) removed code style and refactored to use cfa code style Mon, 03 Apr 2023 21:53:11 GMT Peter A. Buhr [e8b1f23c] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness.sh (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 03 Apr 2023 21:52:34 GMT Peter A. Buhr [525a46a] * doc/theses/colby_parsons_MMAth/thesis.tex (modified) formatting Mon, 03 Apr 2023 21:51:56 GMT Peter A. Buhr [0e398ad] * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) convert to CFAStyle in CFA_intro chapter Mon, 03 Apr 2023 21:50:57 GMT Peter A. Buhr [9432499] * doc/theses/colby_parsons_MMAth/style/style.tex (modified) turn on CFAStyle and make default language Mon, 03 Apr 2023 21:49:26 GMT Peter A. Buhr [bf0c723] * doc/theses/colby_parsons_MMAth/Makefile (modified) add style file to Makefile dependencies Mon, 03 Apr 2023 20:48:47 GMT Mike Brooks [34b6a7b6] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/style/cfa-format.tex (modified) * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * doc/theses/colby_parsons_MMAth/version (modified) * tests/concurrent/channels/churn.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 03 Apr 2023 20:35:57 GMT Mike Brooks [fa6ca1a] * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) LL perf: reduce frequency of using volatile variables. ... Mon, 03 Apr 2023 20:34:39 GMT Mike Brooks [90a3a89] * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness.sh (modified) LL perf: Add comments for rerunning tests Mon, 03 Apr 2023 19:34:01 GMT caparsons [1689ecf] * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) fixed citation issue Mon, 03 Apr 2023 17:34:02 GMT caparsons [9a5a2cd] * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/style/style.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) Big cleanup pass. Updated style to get rid of almost all macros. ... Sun, 02 Apr 2023 12:21:07 GMT caparsons [48fda7a] * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) cleaned up cpp figure Sun, 02 Apr 2023 12:20:50 GMT caparsons [fb7cda9] * doc/theses/colby_parsons_MMAth/Makefile (modified) removed uneeded make rules Sun, 02 Apr 2023 12:20:16 GMT caparsons [e41c4c6] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/style/cfa-format.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * doc/theses/colby_parsons_MMAth/version (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 02 Apr 2023 11:58:54 GMT caparsons [1e6cecb] * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) fixed accidental duplicate label Sun, 02 Apr 2023 11:58:34 GMT caparsons [3c17a10] * doc/theses/colby_parsons_MMAth/style/cfa-format.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) updated style to remove some 800-lb gorilla macros Sun, 02 Apr 2023 03:02:26 GMT Peter A. Buhr [678c540] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/style/cfa-format.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * doc/theses/colby_parsons_MMAth/version (modified) small commits before changing latex macros Sat, 01 Apr 2023 19:57:20 GMT caparsons [75bd041] * doc/theses/mike_brooks_MMath/benchmarks/list/.gitignore (added) * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (added) * doc/theses/mike_brooks_MMath/benchmarks/list/_classic.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cfa-cfa.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cpp-stlref.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-list.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-tailq.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-upp-upp.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/proglang.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (added) * doc/theses/mike_brooks_MMath/benchmarks/list/tailq-bug.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness-regenerate-expected.sh (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness.sh (added) * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 01 Apr 2023 19:57:12 GMT caparsons [3d08cea] * tests/concurrent/channels/churn.cfa (modified) Removed unneeded include. Should fix failing channels/churn test. Sat, 01 Apr 2023 02:56:31 GMT Mike Brooks [f3ba69d] * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (modified) LL perf: Upgrade the results' dataset to have more runs of longer ... Fri, 31 Mar 2023 22:32:04 GMT Michael Brooks [0b66ef9] * doc/theses/mike_brooks_MMath/benchmarks/list/.gitignore (added) * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (added) * doc/theses/mike_brooks_MMath/benchmarks/list/_classic.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cfa-cfa.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cpp-stlref.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-list.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-tailq.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-upp-upp.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/proglang.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (added) * doc/theses/mike_brooks_MMath/benchmarks/list/tailq-bug.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness-regenerate-expected.sh (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness.sh (added) Add linked list performance experiment Fri, 31 Mar 2023 01:48:06 GMT Peter A. Buhr [eb47a80] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/barrier.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/churn.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/contend.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/daisy_chain.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/hot_potato.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/ping_pong.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/pub_sub.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/barrier/barrier.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/barrier/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/churn/churn.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/churn/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/contend/contend.go (moved) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/contend/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/daisy_chain/daisy_chain.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/daisy_chain/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/hot_potato/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/hot_potato/hot_potato.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/ping_pong/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/ping_pong/ping_pong.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/pub_sub/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/pub_sub/pub_sub.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/run (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Channel_Contention.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Channel_Contention.pgf (added) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (added) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * libcfa/src/concurrency/actor.hfa (modified) * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * tests/concurrent/channels/.expect/churn.txt (added) * tests/concurrent/channels/.expect/contend.txt (added) * tests/concurrent/channels/.expect/daisy_chain.txt (added) * tests/concurrent/channels/.expect/hot_potato.txt (added) * tests/concurrent/channels/.expect/ping_pong.txt (added) * tests/concurrent/channels/.expect/pub_sub.txt (added) * tests/concurrent/channels/barrier.cfa (added) * tests/concurrent/channels/churn.cfa (added) * tests/concurrent/channels/contend.cfa (added) * tests/concurrent/channels/daisy_chain.cfa (added) * tests/concurrent/channels/hot_potato.cfa (added) * tests/concurrent/channels/ping_pong.cfa (added) * tests/concurrent/channels/pub_sub.cfa (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 31 Mar 2023 01:47:58 GMT Peter A. Buhr [70056ed] * src/Parser/parser.yy (modified) clean up waituntil grammar Fri, 31 Mar 2023 00:48:02 GMT caparsons [6e83384] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (added) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) did more editing, finished first draft of mutex stmt and channel ... Fri, 31 Mar 2023 00:46:37 GMT caparsons [c7f6786] * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Channel_Contention.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Channel_Contention.pgf (added) added figures for mutex stmt and channels Thu, 30 Mar 2023 20:27:13 GMT caparsons [bd72c28] * libcfa/src/concurrency/locks.hfa (modified) fixed build issue caused by globals Thu, 30 Mar 2023 20:05:59 GMT caparson [9082d7e8] * Jenkins/Promote (modified) * libcfa/src/concurrency/pthread.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/interpose_thread.cfa (modified) * src/AST/ParseNode.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/DeclStats.cpp (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ToString.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/include/cassert (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc