# # ChangeLog for tests # # Generated by Trac 1.2.1 # Dec 19, 2024, 7:32:48 AM Mon, 17 Jul 2023 19:59:52 GMT caparsons [5adb277] * tests/concurrency/channels/daisy_chain.cfa (modified) changed test back to using new operators Mon, 17 Jul 2023 17:55:46 GMT caparsons [66ac416] * tests/concurrency/channels/daisy_chain.cfa (modified) revert channel test change Mon, 17 Jul 2023 17:46:48 GMT caparsons [c2c1717] * tests/concurrency/channels/daisy_chain.cfa (modified) * tests/concurrency/waituntil/repeat_close.cfa (modified) cleaned up a waituntil test and changed a channel test to use go- ... Tue, 11 Jul 2023 18:29:56 GMT caparsons [c16cc99] * tests/exceptions/pingpong_nonlocal.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 11 Jul 2023 18:29:49 GMT caparsons [d829c6d] * tests/concurrency/waituntil/.expect/repeat_close.txt (added) * tests/concurrency/waituntil/channel_close.cfa (modified) * tests/concurrency/waituntil/repeat_close.cfa (added) added test that consistently produced the waituntil channel close ... Tue, 11 Jul 2023 18:02:38 GMT Peter A. Buhr [ffac259] * tests/exceptions/pingpong_nonlocal.cfa (modified) hide numtimes Tue, 11 Jul 2023 14:47:49 GMT caparsons [4c8ce47] * tests/exceptions/.expect/pingpong_nonlocal.txt (modified) * tests/exceptions/pingpong_nonlocal.cfa (modified) updated pingpong exception test to remove output race for repeatable ... Tue, 11 Jul 2023 13:59:11 GMT Peter A. Buhr [a2eb21a] * tests/exceptions/.expect/pingpong_nonlocal.txt (modified) * tests/exceptions/pingpong_nonlocal.cfa (modified) fix problems in pingpong_nonlocal Mon, 10 Jul 2023 19:45:12 GMT caparsons [c3f7dd9] * doc/bibliography/pl.bib (modified) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * src/InitTweak/FixInitNew.cpp (modified) * tests/exceptions/.expect/fibonacci_nonlocal.txt (modified) * tests/exceptions/.expect/pingpong_nonlocal.txt (moved) * tests/exceptions/fibonacci_nonlocal.cfa (modified) * tests/exceptions/pingpong_nonlocal.cfa (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 07 Jul 2023 13:56:28 GMT caparsons [555c599] * tests/concurrency/waituntil/.expect/break.txt (deleted) * tests/concurrency/waituntil/break.cfa (deleted) removed test since it now contains unsupportd behaviour Fri, 07 Jul 2023 11:34:18 GMT Peter A. Buhr [5186775] * tests/exceptions/.expect/fibonacci_nonlocal.txt (modified) * tests/exceptions/fibonacci_nonlocal.cfa (modified) alternative version of fibonacci_nonlocal Fri, 07 Jul 2023 00:35:15 GMT Peter A. Buhr [64e3ac7] * tests/exceptions/.expect/pingpong_nonlocal.txt (moved) * tests/exceptions/pingpong_nonlocal.cfa (moved) harmonize name for fibonacci_nonlocal and pingpong_nonlocal Thu, 06 Jul 2023 20:52:23 GMT caparsons [bef2245] * tests/exceptions/.expect/fibonacci_nonlocal.txt (added) * tests/exceptions/.expect/nonlocal_pingpong.txt (added) * tests/exceptions/fibonacci_nonlocal.cfa (added) * tests/exceptions/nonlocal_pingpong.cfa (added) added basic tests for non-local exceptions Mon, 03 Jul 2023 17:12:51 GMT caparsons [70f97c8] * doc/papers/llheap/figures/AddressSpace.fig (modified) * doc/papers/llheap/figures/Alignment1.fig (modified) * doc/papers/llheap/figures/Alignment2.fig (modified) * doc/papers/llheap/figures/Alignment2Impl.fig (modified) * doc/papers/llheap/figures/AllocDS1.fig (modified) * doc/papers/llheap/figures/AllocDS2.fig (modified) * doc/papers/llheap/figures/AllocInducedActiveFalseSharing.fig (modified) * doc/papers/llheap/figures/AllocInducedPassiveFalseSharing.fig (modified) * doc/papers/llheap/figures/AllocatedObject.fig (modified) * doc/papers/llheap/figures/AllocatorComponents.fig (modified) * doc/papers/llheap/figures/CoalesceAllocated.fig (modified) * doc/papers/llheap/figures/CoalesceFree.fig (modified) * doc/papers/llheap/figures/Container.fig (modified) * doc/papers/llheap/figures/ContainerFalseSharing1.fig (modified) * doc/papers/llheap/figures/ContainerFalseSharing2.fig (modified) * doc/papers/llheap/figures/ContainerNoOwnership.fig (modified) * doc/papers/llheap/figures/ContainerNoOwnershipFreelist.fig (modified) * doc/papers/llheap/figures/ContainerOwnership.fig (modified) * doc/papers/llheap/figures/ContainerOwnershipFreelist.fig (modified) * doc/papers/llheap/figures/FakeHeader.fig (modified) * doc/papers/llheap/figures/FreeListAmongContainers.fig (modified) * doc/papers/llheap/figures/FreeListWithinContainers.fig (modified) * doc/papers/llheap/figures/Header.fig (modified) * doc/papers/llheap/figures/HeapStructure.fig (modified) * doc/papers/llheap/figures/IntExtFragmentation.fig (modified) * doc/papers/llheap/figures/MemoryFragmentation.fig (modified) * doc/papers/llheap/figures/MultipleHeapsNoOwnership.fig (modified) * doc/papers/llheap/figures/MultipleHeapsOwnership.fig (modified) * doc/papers/llheap/figures/MultipleHeapsOwnershipStorage.fig (modified) * doc/papers/llheap/figures/MultipleHeapsStorage.fig (modified) * doc/papers/llheap/figures/ObjectHeaders.fig (modified) * doc/papers/llheap/figures/PerThreadHeap.fig (modified) * doc/papers/llheap/figures/PrivatePublicHeaps.fig (modified) * doc/papers/llheap/figures/ProgramFalseSharing.fig (modified) * doc/papers/llheap/figures/RemoteFreeList.fig (modified) * doc/papers/llheap/figures/SharedHeaps.fig (modified) * doc/papers/llheap/figures/SingleHeap.fig (modified) * doc/papers/llheap/figures/SuperContainers.fig (modified) * doc/papers/llheap/figures/UserKernelHeaps.fig (modified) * doc/papers/llheap/figures/llheap.fig (modified) * 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/channels.tex (modified) * src/Parser/parser.yy (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/memberCtors.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 03 Jul 2023 17:10:47 GMT caparsons [a2f1ea8d] * tests/concurrency/waituntil/.expect/break.txt (added) * tests/concurrency/waituntil/break.cfa (added) added test for fixed waituntil break case Fri, 30 Jun 2023 20:50:01 GMT Peter A. Buhr [6c7fe7b] * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/memberCtors.cfa (modified) change from printf to sout Fri, 30 Jun 2023 20:00:44 GMT caparsons [bdf4cd9e] * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/mutexstmt/.expect/tuple.txt (added) * tests/concurrency/mutexstmt/tuple.cfa (added) added test for mutex stmt tuples and changed actor test to use a ... Thu, 29 Jun 2023 16:12:35 GMT Peter A. Buhr [85a3806] * tests/designations.cfa (modified) change from printf to sout Thu, 29 Jun 2023 16:12:01 GMT Peter A. Buhr [7d25f44] * libcfa/src/containers/string_res.cfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/parseconfig.cfa (modified) * tests/PRNG.cfa (modified) * tests/io/.expect/io.txt (modified) * tests/io/io.cfa (modified) * tests/raii/dtor-early-exit.cfa (modified) update files from old separator manipulator names to new names Thu, 22 Jun 2023 11:59:55 GMT Peter A. Buhr [fe0b94f] * tests/exceptions/conditional.cfa (modified) * tests/exceptions/data-except.cfa (modified) fix include files Thu, 22 Jun 2023 01:45:26 GMT Peter A. Buhr [6065281f] * libcfa/src/parseargs.cfa (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/GenericParameter.cpp (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-c.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa.txt (modified) * tests/array-container/.expect/safety-summary.txt (added) * tests/array-container/.expect/symtab-collision.txt (added) * tests/array-container/dimexpr-match.hfa (modified) * tests/array-container/safety-summary.cfa (added) * tests/array-container/symtab-collision.cfa (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 22 Jun 2023 01:45:08 GMT Peter A. Buhr [3bf9d10] * tests/exceptions/.expect/polymorphic.txt (modified) * tests/exceptions/cancel/coroutine.cfa (modified) * tests/exceptions/cancel/thread.cfa (modified) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/data-except.cfa (modified) * tests/exceptions/defaults.cfa (modified) * tests/exceptions/except-io.hfa (modified) * tests/exceptions/finally.cfa (modified) * tests/exceptions/interact.cfa (modified) * tests/exceptions/polymorphic.cfa (modified) * tests/exceptions/resume.cfa (modified) * tests/exceptions/terminate.cfa (modified) * tests/exceptions/trash.cfa (modified) * tests/exceptions/virtual-cast.cfa (modified) * tests/exceptions/virtual-poly.cfa (modified) change printf to sout Wed, 21 Jun 2023 17:28:09 GMT Michael Brooks [f02f546] * libcfa/src/parseargs.cfa (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/GenericParameter.cpp (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-c.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa.txt (modified) * tests/array-container/.expect/safety-summary.txt (added) * tests/array-container/.expect/symtab-collision.txt (added) * tests/array-container/dimexpr-match.hfa (modified) * tests/array-container/safety-summary.cfa (added) * tests/array-container/symtab-collision.cfa (added) Implement new rules for array dimension expression matching. Core ... Tue, 20 Jun 2023 20:14:32 GMT Michael Brooks [da0edec] * src/Validate/GenericParameter.cpp (modified) * tests/.expect/polybits.txt (added) * tests/polybits.cfa (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 20 Jun 2023 20:13:56 GMT Michael Brooks [9c4330d5] * tests/Makefile.am (modified) Add Makefile entries to include new test-support files in Promote ... Tue, 20 Jun 2023 19:59:33 GMT Andrew Beach [caf06aa] * src/Validate/GenericParameter.cpp (modified) * tests/.expect/polybits.txt (added) * tests/polybits.cfa (added) Added the check for bitfields in sized polymorphic types. It was ... Tue, 20 Jun 2023 15:37:10 GMT Andrew Beach [2fd4cea] * tests/test.py (modified) In a sentence, invariants is correct. Mon, 19 Jun 2023 19:54:33 GMT Michael Brooks [0f4ac10] * tests/Makefile.am (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (added) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (added) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (added) * tests/array-container/.expect/dimexpr-match-c.txt (added) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (added) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (added) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (added) * tests/array-container/.expect/dimexpr-match-cfa.txt (added) * tests/array-container/dimexpr-match-c.cfa (added) * tests/array-container/dimexpr-match-cfa.cfa (added) * tests/array-container/dimexpr-match-detail.sh (added) * tests/array-container/dimexpr-match.hfa (added) Add tests demonstrating CFA's treatment of C arrays, compared with ... Mon, 19 Jun 2023 17:56:02 GMT caparsons [0388a99] * tests/concurrency/actors/inline.cfa (modified) updated a test to use the actor automatic executor config Sun, 18 Jun 2023 03:12:23 GMT Peter A. Buhr [b87ef7be] * tests/.expect/mathX.arm64.txt (modified) update mathX.arm64 expected output Sat, 17 Jun 2023 23:06:49 GMT Peter A. Buhr [c8cbb41] * tests/.expect/mathX.x86.txt (modified) update mathX.x86 expected output Sat, 17 Jun 2023 22:46:20 GMT Peter A. Buhr [600478d] * libcfa/src/math.hfa (modified) * tests/.expect/mathX.x64.txt (modified) change ceiling function to work with negative values Sat, 17 Jun 2023 17:28:54 GMT Peter A. Buhr [6527150] * tests/io/manipulatorsInput.cfa (modified) formatting Sat, 17 Jun 2023 17:28:14 GMT Peter A. Buhr [c8f0199] * tests/coroutine/.in/devicedriver.txt (modified) add test case to device-driver input Sat, 17 Jun 2023 17:26:32 GMT Peter A. Buhr [93c86ac] * tests/coroutine/devicedriver.cfa (modified) formatting and comments Sat, 17 Jun 2023 13:31:06 GMT caparsons [77fd9fe2] * tests/concurrency/actors/dynamic.cfa (modified) * tests/concurrency/actors/executor.cfa (modified) * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/actors/inline.cfa (modified) * tests/concurrency/actors/matrix.cfa (modified) * tests/concurrency/actors/pingpong.cfa (modified) * tests/concurrency/actors/poison.cfa (modified) * tests/concurrency/actors/static.cfa (modified) * tests/concurrency/actors/types.cfa (modified) refactored actor tests to use bar operator Fri, 16 Jun 2023 17:25:25 GMT Peter A. Buhr [3a7aa94] * tests/test.py (modified) harmonized help messages for --invariant and --no-invariant Fri, 16 Jun 2023 16:03:17 GMT Peter A. Buhr [4c0acb0] * tests/test.py (modified) add back --invariant with --no-invariant as both are needed for toggling Fri, 16 Jun 2023 14:24:44 GMT caparsons [0d31434] * tests/pybin/settings.py (modified) changes test.py invariant flag to --no-invariant, with the default ... Fri, 16 Jun 2023 14:07:59 GMT caparsons [5dbb9f3] * libcfa/prelude/builtins.c (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/collections/vector-demo.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 16 Jun 2023 14:00:03 GMT caparsons [d144c26] * tests/Makefile.am (modified) * tests/test.py (modified) updated invariant flag to be default, can be toggled off with --no- ... Fri, 16 Jun 2023 13:10:46 GMT caparsons [e172f42] * libcfa/prelude/builtins.c (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/collections/vector-demo.cfa (modified) Merge branch 'ast-experimental' Wed, 14 Jun 2023 20:45:37 GMT caparsons [f6fd22a4] * tests/concurrency/actors/.expect/inherit.txt (modified) * tests/concurrency/actors/inherit.cfa (modified) refactored inherit test to avoid base ctor call bug Wed, 14 Jun 2023 20:45:01 GMT caparsons [8d6786b] * tests/concurrency/actors/.expect/inline.txt (added) * tests/concurrency/actors/inline.cfa (added) added new actor test for plan-9 edge case Tue, 13 Jun 2023 20:33:16 GMT Michael Brooks [8f557161] * src/AST/Decl.cpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/.expect/eval.txt (added) * tests/eval.cfa (added) Clarify and fix accuracy in `eval` public API, on reporting "unable ... Mon, 12 Jun 2023 22:06:26 GMT caparsons [62d62db] * doc/papers/llheap/Paper.tex (modified) * doc/papers/llheap/figures/AllocatorComponents.fig (modified) * doc/papers/llheap/figures/AllocatorComponents.fig.bak (deleted) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/balance.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/dynamic.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/executor.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/matrix.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/repeat.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/static.cfa (modified) * doc/theses/colby_parsons_MMAth/code/basic_actor_example.cfa (modified) * doc/user/figures/EHMHierarchy.fig (modified) * doc/user/user.tex (modified) * driver/cc1.cc (modified) * libcfa/src/concurrency/actor.hfa (modified) * libcfa/src/concurrency/atomic.hfa (modified) * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/containers/lockfree.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/parseconfig.cfa (modified) * libcfa/src/parseconfig.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Util.cpp (modified) * src/Concurrency/Actors.cpp (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/HoistStruct.cpp (modified) * tests/.expect/copyfile.txt (modified) * tests/.in/copyfile.txt (modified) * tests/concurrency/actors/dynamic.cfa (modified) * tests/concurrency/actors/executor.cfa (modified) * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/actors/matrix.cfa (modified) * tests/concurrency/actors/pingpong.cfa (modified) * tests/concurrency/actors/poison.cfa (modified) * tests/concurrency/actors/static.cfa (modified) * tests/concurrency/actors/types.cfa (modified) * tests/concurrency/lockfree_stack.cfa (modified) * tests/concurrency/waituntil/locks.cfa (modified) * tests/configs/.expect/parseconfig.txt (modified) * tests/configs/parseconfig.cfa (modified) * tests/copyfile.cfa (modified) * tests/rational.cfa (modified) * tests/zombies/simplePoly.c (deleted) Merge branch 'master' into ast-experimental Mon, 12 Jun 2023 18:45:32 GMT Fangren Yu [24d6572] * Jenkins/FullBuild (modified) * Jenkins/Promote (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/Makefile.am (modified) * benchmark/convoy/data/nasus_12_12_2022_0NCS (added) * benchmark/convoy/data/nasus_12_12_2022_1NCS (added) * benchmark/convoy/data/single_16_thd (added) * benchmark/convoy/genConvoyStats.py (added) * benchmark/mutexStmt/JavaThread.java (deleted) * configure.ac (modified) * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (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/papers/llheap/.gitignore (added) * doc/papers/llheap/AMA-stix_New.zip (added) * doc/papers/llheap/AMA-stix_New/Documents/.log (added) * doc/papers/llheap/AMA-stix_New/Documents/README.txt (added) * doc/papers/llheap/AMA-stix_New/Documents/wileyNJD-Doc.tex (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-BoldItalic.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Italic.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Regular.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/Windows-Stix-fontinstaller.exe (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/a_axxd65.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixbb.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixfrak.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixscr.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixsf.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixcal.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixex.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixtt.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ly1sti.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra1.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra2.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra2.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra3.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra3.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ot1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ot2.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-t1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ts1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.dtx (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.fdd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.map (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.sty (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1stix.fd (added) * doc/papers/llheap/AMA-stix_New/ama/NJDnatbib.sty (added) * doc/papers/llheap/AMA-stix_New/ama/WileyNJD-v2.cls (added) * doc/papers/llheap/AMA-stix_New/ama/empty.eps (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.aux (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.bbl (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.bib (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.blg (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.log (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.pag (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.synctex (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.tex (added) * doc/papers/llheap/Makefile (added) * doc/papers/llheap/Paper.tex (added) * doc/papers/llheap/WileyNJD-v2.cls (added) * doc/papers/llheap/evaluations/algol-perf-eps/cache_scratch_0-scratch.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/cache_thrash_0-thrash.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/churn.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-je.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-je.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-1-malloc-null.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-10-malloc-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-11-calloc-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-12-malloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-13-calloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-2-free-null.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-3-malloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-4-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-5-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-6-calloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-7-malloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-8-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-9-calloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/cache_scratch_0-scratch.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/cache_thrash_0-thrash.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/churn.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-je.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-je.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-1-malloc-null.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-10-malloc-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-11-calloc-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-12-malloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-13-calloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-2-free-null.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-3-malloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-4-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-5-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-6-calloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-7-malloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-8-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-9-calloc-free.eps (added) * doc/papers/llheap/examples/C++Cor-ts.cpp (added) * doc/papers/llheap/examples/DatingServiceThread.cfa (added) * doc/papers/llheap/examples/Fib.c (added) * doc/papers/llheap/examples/Fib.cfa (added) * doc/papers/llheap/examples/Fib.cpp (added) * doc/papers/llheap/examples/Fib.js (added) * doc/papers/llheap/examples/Fib.py (added) * doc/papers/llheap/examples/Fib.sim (added) * doc/papers/llheap/examples/Fib1.c (added) * doc/papers/llheap/examples/Fib2.c (added) * doc/papers/llheap/examples/Fib2.cfa (added) * doc/papers/llheap/examples/Fib2.cpp (added) * doc/papers/llheap/examples/Fib2.py (added) * doc/papers/llheap/examples/Fib3.c (added) * doc/papers/llheap/examples/Fib3.cc (added) * doc/papers/llheap/examples/FibRefactor.py (added) * doc/papers/llheap/examples/Fmt.sim (added) * doc/papers/llheap/examples/Format.c (added) * doc/papers/llheap/examples/Format.cc (added) * doc/papers/llheap/examples/Format.cfa (added) * doc/papers/llheap/examples/Format.cpp (added) * doc/papers/llheap/examples/Format.data (added) * doc/papers/llheap/examples/Format.js (added) * doc/papers/llheap/examples/Format.py (added) * doc/papers/llheap/examples/Format.sim (added) * doc/papers/llheap/examples/Format1.c (added) * doc/papers/llheap/examples/PingPong.c (added) * doc/papers/llheap/examples/PingPong.cc (added) * doc/papers/llheap/examples/Pingpong.cc (added) * doc/papers/llheap/examples/Pingpong.cfa (added) * doc/papers/llheap/examples/Pingpong.py (added) * doc/papers/llheap/examples/Pingpong2.cfa (added) * doc/papers/llheap/examples/ProdCons.cfa (added) * doc/papers/llheap/examples/ProdCons.cpp (added) * doc/papers/llheap/examples/ProdCons.py (added) * doc/papers/llheap/examples/ProdCons.sim (added) * doc/papers/llheap/examples/RWMonitorEXT.cfa (added) * doc/papers/llheap/examples/RWMonitorINT.cfa (added) * doc/papers/llheap/examples/Refactor.py (added) * doc/papers/llheap/examples/channels.go (added) * doc/papers/llheap/examples/channels.rs (added) * doc/papers/llheap/examples/counter.cpp (added) * doc/papers/llheap/examples/future.rs (added) * doc/papers/llheap/figures/AddressSpace.fig (added) * doc/papers/llheap/figures/Alignment1.fig (added) * doc/papers/llheap/figures/Alignment2.fig (added) * doc/papers/llheap/figures/Alignment2Impl.fig (added) * doc/papers/llheap/figures/AllocDS1.fig (added) * doc/papers/llheap/figures/AllocDS2.fig (added) * doc/papers/llheap/figures/AllocInducedActiveFalseSharing.fig (added) * doc/papers/llheap/figures/AllocInducedPassiveFalseSharing.fig (added) * doc/papers/llheap/figures/AllocatedObject.fig (added) * doc/papers/llheap/figures/AllocatorComponents.fig (added) * doc/papers/llheap/figures/AllocatorComponents.fig.bak (added) * doc/papers/llheap/figures/CoalesceAllocated.fig (added) * doc/papers/llheap/figures/CoalesceFree.fig (added) * doc/papers/llheap/figures/CondSigWait.fig (added) * doc/papers/llheap/figures/Container.fig (added) * doc/papers/llheap/figures/ContainerFalseSharing1.fig (added) * doc/papers/llheap/figures/ContainerFalseSharing2.fig (added) * doc/papers/llheap/figures/ContainerNoOwnership.fig (added) * doc/papers/llheap/figures/ContainerNoOwnershipFreelist.fig (added) * doc/papers/llheap/figures/ContainerOwnership.fig (added) * doc/papers/llheap/figures/ContainerOwnershipFreelist.fig (added) * doc/papers/llheap/figures/ContigFragmentation.fig (added) * doc/papers/llheap/figures/FakeHeader.fig (added) * doc/papers/llheap/figures/FreeListAmongContainers.fig (added) * doc/papers/llheap/figures/FreeListWithinContainers.fig (added) * doc/papers/llheap/figures/FullCoroutinePhases.fig (added) * doc/papers/llheap/figures/FullProdConsStack.fig (added) * doc/papers/llheap/figures/Header.fig (added) * doc/papers/llheap/figures/HeapStructure.fig (added) * doc/papers/llheap/figures/IntExtFragmentation.fig (added) * doc/papers/llheap/figures/MemoryFragmentation.fig (added) * doc/papers/llheap/figures/MultipleHeapsNoOwnership.fig (added) * doc/papers/llheap/figures/MultipleHeapsOwnership.fig (added) * doc/papers/llheap/figures/MultipleHeapsOwnershipStorage.fig (added) * doc/papers/llheap/figures/MultipleHeapsStorage.fig (added) * doc/papers/llheap/figures/NewHeapStructure.eps (added) * doc/papers/llheap/figures/NonContigFragmentation.fig (added) * doc/papers/llheap/figures/ObjectHeaders.fig (added) * doc/papers/llheap/figures/PerThreadHeap.fig (added) * doc/papers/llheap/figures/PrivatePublicHeaps.fig (added) * doc/papers/llheap/figures/ProgramFalseSharing.fig (added) * doc/papers/llheap/figures/RemoteFreeList.fig (added) * doc/papers/llheap/figures/RunTimeStructure.fig (added) * doc/papers/llheap/figures/SharedHeaps.fig (added) * doc/papers/llheap/figures/SingleHeap.fig (added) * doc/papers/llheap/figures/SuperContainers.fig (added) * doc/papers/llheap/figures/UserKernelHeaps.fig (added) * doc/papers/llheap/figures/llheap.fig (added) * doc/papers/llheap/local.bib (added) * doc/proposals/alt-enums.md (added) * doc/theses/colby_parsons_MMAth/.gitignore (added) * doc/theses/colby_parsons_MMAth/Makefile (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/AkkaExecutor.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/AkkaMatrix.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/AkkaRepeat.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/AkkaSendDynamic.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/AkkaSendStatic.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFExecutor.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFMatrix.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFRepeat.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFSendDynamic.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFSendStatic.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/caf-application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/balance.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/bench.hfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/dynamic.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/executor.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/matrix.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/repeat.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/static.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendDynamic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendStatic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_ALL.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_CFA.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_SEND.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendDynamic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendStatic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_ALL.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_CFA.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_SEND.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/genPlots (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/GoExecutor.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/INSTALL (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/GoMatrix.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/GoRepeat.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/GoSendDynamic.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/GoSendStatic.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Executor.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Matrix.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Repeat.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++SendDynamic.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++SendStatic.cc (added) * 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 (added) * 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 (added) * 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 (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/bench.h (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/baseline.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/order.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/rand.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/baseline.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/cppLock.hpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/order.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/rand.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/contend.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/future.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/spin.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend2/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend2/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend4/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend4/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend8/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend8/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/sidechan/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/sidechan/sidechan.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin2/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin2/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin4/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin4/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin8/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin8/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/ucpp/future.cc (added) * doc/theses/colby_parsons_MMAth/code/basic_actor_example.cfa (added) * doc/theses/colby_parsons_MMAth/code/swap_queues.cfa (added) * doc/theses/colby_parsons_MMAth/data/nasusExecutorMem (added) * doc/theses/colby_parsons_MMAth/data/nasusSendDynamic (added) * doc/theses/colby_parsons_MMAth/data/nasusSendStatic (added) * doc/theses/colby_parsons_MMAth/data/pykeExecutorMem (added) * doc/theses/colby_parsons_MMAth/data/pykeSendDynamic (added) * doc/theses/colby_parsons_MMAth/data/pykeSendStatic (added) * doc/theses/colby_parsons_MMAth/diagrams/M_to_one_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/acyclic_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/chain_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/cyclic_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/gulp.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/inverted_actor.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/standard_actor.tikz (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-Multi.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-One.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFAExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFAMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFARepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusRepeat.pgf (added) * 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/pykeCFABalance-Multi.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFABalance-One.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFAExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFAMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFARepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeRepeat.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 (added) * doc/theses/colby_parsons_MMAth/local.bib (added) * doc/theses/colby_parsons_MMAth/style/style.tex (added) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (added) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (added) * doc/theses/colby_parsons_MMAth/text/actors.tex (added) * doc/theses/colby_parsons_MMAth/text/channels.tex (added) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (added) * doc/theses/colby_parsons_MMAth/text/intro.tex (added) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (added) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (added) * doc/theses/colby_parsons_MMAth/thesis.tex (added) * doc/theses/mike_brooks_MMath/Makefile (modified) * 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/results-sizing.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) * doc/theses/mike_brooks_MMath/list.tex (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-attach.pdf (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-attach.vsdx (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.pdf (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.vsdx (added) * doc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa (added) * doc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction-byref.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction-emplaced.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction.hpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-intrusive.run.c (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-byref.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-emplaced.run.cpp (added) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) * doc/theses/rob_schluntz_MMath/thesis.bib (modified) * driver/cfa.cc (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/algorithms/range_iterator.hfa (modified) * libcfa/src/bitmanip.hfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/random.hfa (modified) * libcfa/src/bits/weakso_locks.cfa (modified) * libcfa/src/bits/weakso_locks.hfa (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/actor.hfa (added) * libcfa/src/concurrency/atomic.hfa (added) * libcfa/src/concurrency/barrier.hfa (modified) * libcfa/src/concurrency/channel.hfa (added) * libcfa/src/concurrency/clib/cfathread.cfa (modified) * libcfa/src/concurrency/clib/cfathread.h (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/future.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/call.cfa.in (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/io/types.hfa (modified) * libcfa/src/concurrency/iofwd.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel/cluster.cfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/concurrency/kernel/private.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/once.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/pthread.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/concurrency/select.cfa (added) * libcfa/src/concurrency/select.hfa (added) * libcfa/src/concurrency/snzi.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/array.hfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/containers/lockfree.hfa (modified) * libcfa/src/containers/vector.hfa (modified) * libcfa/src/containers/vector2.hfa (modified) * libcfa/src/exception.h (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/interpose_thread.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.hfa (modified) * libcfa/src/limits.cfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/vec/vec.hfa (modified) * libcfa/src/virtual_dtor.hfa (added) * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Visitor.hpp (modified) * src/AST/porting.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CompilerError.h (deleted) * src/Common/Debug.h (deleted) * src/Common/DeclStats.cpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (added) * src/Common/Iterate.hpp (added) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/ToString.hpp (added) * src/Common/UnimplementedError.h (deleted) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Actors.cpp (added) * src/Concurrency/Actors.hpp (added) * src/Concurrency/KeywordsNew.cpp (modified) * src/Concurrency/WaitforNew.cpp (modified) * src/Concurrency/Waituntil.cpp (added) * src/Concurrency/Waituntil.hpp (added) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfaNew.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/ParserTypes.h (modified) * src/Parser/RunParser.cpp (added) * src/Parser/RunParser.hpp (added) * 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.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/AdjustExprType.hpp (added) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CastCost.hpp (added) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (added) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PolyCost.hpp (added) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsAssignable.hpp (added) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/PtrsCastable.hpp (added) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.hpp (added) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/Explode.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/VirtualDtor.cpp (added) * src/Virtual/VirtualDtor.hpp (added) * src/Virtual/module.mk (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/PRNG.x64.txt (modified) * tests/.expect/PRNG.x86.txt (modified) * tests/.expect/alloc.txt.old (deleted) * tests/.expect/array-ERR1.txt (added) * tests/.expect/array-ERR2.txt (added) * tests/.expect/array-ERR3.txt (added) * tests/.expect/array.txt (modified) * tests/.expect/attributes.arm64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/declarationSpecifier.arm64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/forall.txt (modified) * tests/.expect/nested_function.x64.txt (modified) * tests/.expect/nested_function.x86.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/array.cfa (modified) * tests/attributes.cfa (modified) * tests/avltree/avl.h (modified) * tests/collections/vector-demo.cfa (modified) * tests/concurrency/.expect/clib.txt (moved) * tests/concurrency/.expect/clib_tls.txt (moved) * tests/concurrency/.expect/cluster.txt (moved) * tests/concurrency/.expect/coroutineYield.txt (moved) * tests/concurrency/.expect/ctor-check.txt (moved) * tests/concurrency/.expect/join.txt (moved) * tests/concurrency/.expect/joinerror.sed (moved) * tests/concurrency/.expect/keywordErrors.txt (added) * tests/concurrency/.expect/lockfree_stack.txt (moved) * tests/concurrency/.expect/mainError.txt (added) * tests/concurrency/.expect/migrate.txt (moved) * tests/concurrency/.expect/monitor.txt (moved) * tests/concurrency/.expect/multi-monitor.txt (moved) * tests/concurrency/.expect/once.txt (moved) * tests/concurrency/.expect/preempt.txt (moved) * tests/concurrency/.expect/preempt2.txt (moved) * tests/concurrency/.expect/sleep.txt (moved) * tests/concurrency/.expect/suspend_then.txt (moved) * tests/concurrency/.expect/thread.txt (moved) * tests/concurrency/actors/.expect/dynamic.txt (added) * tests/concurrency/actors/.expect/executor.txt (added) * tests/concurrency/actors/.expect/inherit.txt (added) * tests/concurrency/actors/.expect/matrix.txt (added) * tests/concurrency/actors/.expect/pingpong.txt (added) * tests/concurrency/actors/.expect/poison.txt (added) * tests/concurrency/actors/.expect/static.txt (added) * tests/concurrency/actors/.expect/types.txt (added) * tests/concurrency/actors/dynamic.cfa (added) * tests/concurrency/actors/executor.cfa (added) * tests/concurrency/actors/inherit.cfa (added) * tests/concurrency/actors/matrix.cfa (added) * tests/concurrency/actors/pingpong.cfa (added) * tests/concurrency/actors/poison.cfa (added) * tests/concurrency/actors/static.cfa (added) * tests/concurrency/actors/types.cfa (added) * tests/concurrency/barrier/.expect/generation.txt (moved) * tests/concurrency/barrier/.expect/last.txt (moved) * tests/concurrency/barrier/.expect/order.txt (moved) * tests/concurrency/barrier/gen_generation_expect.cfa (moved) * tests/concurrency/barrier/generation.cfa (moved) * tests/concurrency/barrier/last.cfa (moved) * tests/concurrency/barrier/order.cfa (moved) * tests/concurrency/channels/.expect/big_elems.txt (added) * tests/concurrency/channels/.expect/churn.txt (moved) * tests/concurrency/channels/.expect/contend.txt (moved) * tests/concurrency/channels/.expect/daisy_chain.txt (moved) * tests/concurrency/channels/.expect/hot_potato.txt (moved) * tests/concurrency/channels/.expect/ping_pong.txt (moved) * tests/concurrency/channels/.expect/pub_sub.txt (added) * tests/concurrency/channels/.expect/zero_size.txt (added) * tests/concurrency/channels/barrier.cfa (added) * tests/concurrency/channels/big_elems.cfa (added) * tests/concurrency/channels/churn.cfa (added) * tests/concurrency/channels/contend.cfa (added) * tests/concurrency/channels/daisy_chain.cfa (added) * tests/concurrency/channels/hot_potato.cfa (added) * tests/concurrency/channels/parallel_harness.hfa (added) * tests/concurrency/channels/ping_pong.cfa (added) * tests/concurrency/channels/pub_sub.cfa (added) * tests/concurrency/channels/zero_size.cfa (added) * tests/concurrency/clib.c (moved) * tests/concurrency/clib_tls.c (moved) * tests/concurrency/cluster.cfa (moved) * tests/concurrency/coroutineYield.cfa (moved) * tests/concurrency/ctor-check.cfa (moved) * tests/concurrency/examples/.expect/boundedBufferEXT.txt (moved) * tests/concurrency/examples/.expect/boundedBufferINT.txt (moved) * tests/concurrency/examples/.expect/datingService.txt (moved) * tests/concurrency/examples/.expect/gortn.txt (moved) * tests/concurrency/examples/.expect/matrixSum.txt (moved) * tests/concurrency/examples/.expect/quickSort.txt (moved) * tests/concurrency/examples/.in/quickSort.txt (moved) * tests/concurrency/examples/boundedBufferEXT.cfa (moved) * tests/concurrency/examples/boundedBufferINT.cfa (moved) * tests/concurrency/examples/boundedBufferTHREAD.cfa (moved) * tests/concurrency/examples/datingService.cfa (moved) * tests/concurrency/examples/gortn.cfa (moved) * tests/concurrency/examples/matrixSum.cfa (moved) * tests/concurrency/examples/multiSort.cfa (moved) * tests/concurrency/examples/quickSort.cfa (moved) * tests/concurrency/examples/quickSort.generic.cfa (moved) * tests/concurrency/futures/.expect/abandon.txt (added) * tests/concurrency/futures/.expect/basic.txt (added) * tests/concurrency/futures/.expect/multi.txt (added) * tests/concurrency/futures/.expect/select_future.txt (added) * tests/concurrency/futures/.expect/typed.txt (added) * tests/concurrency/futures/.expect/wait_any.txt (added) * tests/concurrency/futures/abandon.cfa (moved) * tests/concurrency/futures/basic.cfa (moved) * tests/concurrency/futures/multi.cfa (moved) * tests/concurrency/futures/select_future.cfa (added) * tests/concurrency/futures/typed.cfa (moved) * tests/concurrency/futures/wait_any.cfa (moved) * tests/concurrency/join.cfa (moved) * tests/concurrency/joinerror.cfa (moved) * tests/concurrency/keywordErrors.cfa (moved) * tests/concurrency/lockfree_stack.cfa (added) * tests/concurrency/mainError.cfa (moved) * tests/concurrency/migrate.cfa (moved) * tests/concurrency/monitor.cfa (moved) * tests/concurrency/multi-monitor.cfa (moved) * tests/concurrency/mutexstmt/.expect/locks.txt (moved) * tests/concurrency/mutexstmt/.expect/monitors.txt (moved) * tests/concurrency/mutexstmt/locks.cfa (moved) * tests/concurrency/mutexstmt/monitors.cfa (moved) * tests/concurrency/once.cfa (moved) * tests/concurrency/park/.expect/contention.txt (moved) * tests/concurrency/park/.expect/force_preempt.txt (moved) * tests/concurrency/park/.expect/start_parked.txt (added) * tests/concurrency/park/contention.cfa (moved) * tests/concurrency/park/force_preempt.cfa (moved) * tests/concurrency/park/start_parked.cfa (moved) * tests/concurrency/preempt.cfa (moved) * tests/concurrency/preempt2.cfa (moved) * tests/concurrency/pthread/.expect/bounded_buffer.x64.txt (added) * tests/concurrency/pthread/.expect/bounded_buffer.x86.txt (added) * tests/concurrency/pthread/.expect/pthread_attr_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_cond_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_create_join.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_lock.txt (moved) * tests/concurrency/pthread/.expect/pthread_key_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_once_test.txt (moved) * tests/concurrency/pthread/bounded_buffer.cfa (moved) * tests/concurrency/pthread/pthread_attr_test.cfa (moved) * tests/concurrency/pthread/pthread_cond_test.cfa (moved) * tests/concurrency/pthread/pthread_demo_create_join.cfa (moved) * tests/concurrency/pthread/pthread_demo_lock.cfa (moved) * tests/concurrency/pthread/pthread_key_test.cfa (moved) * tests/concurrency/pthread/pthread_once_test.cfa (moved) * tests/concurrency/readyQ/.expect/barrier_sleeper.txt (moved) * tests/concurrency/readyQ/.expect/leader_spin.txt (moved) * tests/concurrency/readyQ/barrier_sleeper.cfa (moved) * tests/concurrency/readyQ/leader_spin.cfa (moved) * tests/concurrency/signal/.expect/block.txt (moved) * tests/concurrency/signal/.expect/disjoint.txt (moved) * tests/concurrency/signal/.expect/wait.txt (moved) * tests/concurrency/signal/block.cfa (moved) * tests/concurrency/signal/disjoint.cfa (moved) * tests/concurrency/signal/wait.cfa (moved) * tests/concurrency/sleep.cfa (moved) * tests/concurrency/suspend_then.cfa (moved) * tests/concurrency/thread.cfa (moved) * tests/concurrency/unified_locking/.expect/block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/exp_backoff.txt (moved) * tests/concurrency/unified_locking/.expect/fast_block_lock.txt (moved) * tests/concurrency/unified_locking/.expect/futex_mutex.txt (moved) * tests/concurrency/unified_locking/.expect/locks.txt (moved) * tests/concurrency/unified_locking/.expect/mcs.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_spin.txt (moved) * tests/concurrency/unified_locking/.expect/pthread_locks.txt (moved) * tests/concurrency/unified_locking/.expect/simple_owner_lock.txt (moved) * tests/concurrency/unified_locking/.expect/spin_queue_lock.txt (moved) * tests/concurrency/unified_locking/.expect/timeout_lock.txt (moved) * tests/concurrency/unified_locking/block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/exp_backoff.cfa (moved) * tests/concurrency/unified_locking/fast_block_lock.cfa (moved) * tests/concurrency/unified_locking/futex_mutex.cfa (moved) * tests/concurrency/unified_locking/locks.cfa (moved) * tests/concurrency/unified_locking/mcs.cfa (moved) * tests/concurrency/unified_locking/mcs_block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/mcs_spin.cfa (moved) * tests/concurrency/unified_locking/mutex_test.hfa (moved) * tests/concurrency/unified_locking/pthread_locks.cfa (moved) * tests/concurrency/unified_locking/simple_owner_lock.cfa (moved) * tests/concurrency/unified_locking/spin_queue_lock.cfa (moved) * tests/concurrency/unified_locking/spintest.cfa (added) * tests/concurrency/unified_locking/test_debug.cfa (added) * tests/concurrency/unified_locking/thread_test.cfa (moved) * tests/concurrency/unified_locking/timeout_lock.cfa (moved) * tests/concurrency/waitfor/.expect/barge.txt (moved) * tests/concurrency/waitfor/.expect/dtor.txt (moved) * tests/concurrency/waitfor/.expect/else.txt (moved) * tests/concurrency/waitfor/.expect/parse.txt (added) * tests/concurrency/waitfor/.expect/recurse.txt (moved) * tests/concurrency/waitfor/.expect/statment.txt (moved) * tests/concurrency/waitfor/.expect/when.txt (moved) * tests/concurrency/waitfor/barge.cfa (moved) * tests/concurrency/waitfor/dtor.cfa (moved) * tests/concurrency/waitfor/else.cfa (moved) * tests/concurrency/waitfor/parse.cfa (added) * tests/concurrency/waitfor/recurse.cfa (moved) * tests/concurrency/waitfor/simple.cfa (moved) * tests/concurrency/waitfor/statment.cfa (moved) * tests/concurrency/waitfor/when.cfa (moved) * tests/concurrency/waituntil/.expect/all_types.txt (added) * tests/concurrency/waituntil/.expect/basic_else.txt (added) * tests/concurrency/waituntil/.expect/channel_close.txt (added) * tests/concurrency/waituntil/.expect/channel_zero_size.txt (added) * tests/concurrency/waituntil/.expect/channels.txt (added) * tests/concurrency/waituntil/.expect/futures.txt (added) * tests/concurrency/waituntil/.expect/locks.txt (added) * tests/concurrency/waituntil/.expect/one_chan.txt (added) * tests/concurrency/waituntil/.expect/timeout.txt (added) * tests/concurrency/waituntil/all_types.cfa (added) * tests/concurrency/waituntil/basic_else.cfa (added) * tests/concurrency/waituntil/channel_close.cfa (added) * tests/concurrency/waituntil/channel_zero_size.cfa (added) * tests/concurrency/waituntil/channels.cfa (added) * tests/concurrency/waituntil/futures.cfa (added) * tests/concurrency/waituntil/locks.cfa (added) * tests/concurrency/waituntil/one_chan.cfa (added) * tests/concurrency/waituntil/timeout.cfa (added) * tests/concurrent/.expect/keywordErrors.txt (deleted) * tests/concurrent/.expect/mainError.txt (deleted) * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (deleted) * tests/concurrent/mutexstmt/scoped_lock.cfa (deleted) * tests/concurrent/pthread/.expect/bounded_buffer.txt (deleted) * tests/concurrent/waitfor/parse.cfa (deleted) * tests/concurrent/waitfor/parse2.cfa (deleted) * tests/declarationSpecifier.cfa (modified) * tests/enum_tests/.expect/pointerEnum.cfa (deleted) * tests/enum_tests/.expect/qualifiedEnum.cfa (deleted) * tests/enum_tests/.expect/typedIntEnum.txt (modified) * tests/enum_tests/pointerEnum.cfa (modified) * tests/enum_tests/typedIntEnum.cfa (modified) * tests/errors/.expect/declaration.txt (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/include/includes.cfa (modified) * tests/io/comp_basic.cfa (modified) * tests/io/comp_fair.cfa (modified) * tests/linking/mangling/.expect/anon.txt (added) * tests/linking/mangling/header.hfa (modified) * tests/linking/mangling/lib.cfa (modified) * tests/linking/mangling/main.cfa (modified) * tests/pybin/settings.py (modified) * tests/quotedKeyword.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/unified_locking/.expect/lin_backoff.txt (deleted) * tests/unified_locking/lin_backoff.cfa (deleted) * 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) * tests/zombies/prolog.c (deleted) Merge branch 'master' into ast-experimental Sun, 11 Jun 2023 22:42:36 GMT caparsons [38e266ca] * doc/papers/llheap/Paper.tex (modified) * doc/papers/llheap/figures/AllocatorComponents.fig (modified) * doc/papers/llheap/figures/AllocatorComponents.fig.bak (deleted) * doc/user/figures/EHMHierarchy.fig (modified) * doc/user/user.tex (modified) * driver/cc1.cc (modified) * libcfa/src/concurrency/atomic.hfa (modified) * libcfa/src/containers/lockfree.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/parseconfig.cfa (modified) * libcfa/src/parseconfig.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Util.cpp (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/HoistStruct.cpp (modified) * tests/.expect/copyfile.txt (modified) * tests/.in/copyfile.txt (modified) * tests/concurrency/lockfree_stack.cfa (modified) * tests/configs/.expect/parseconfig.txt (modified) * tests/configs/parseconfig.cfa (modified) * tests/copyfile.cfa (modified) * tests/rational.cfa (modified) * tests/zombies/simplePoly.c (deleted) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 11 Jun 2023 22:42:32 GMT caparsons [1db6d70] * libcfa/src/concurrency/locks.hfa (modified) * tests/concurrency/waituntil/locks.cfa (modified) removed unneeded fstream include from locks.hfa Fri, 09 Jun 2023 18:31:04 GMT Peter A. Buhr [37b2c2c] * tests/concurrency/lockfree_stack.cfa (modified) update lockfree stack with double-wide CAS Wed, 07 Jun 2023 18:19:12 GMT Peter A. Buhr [55266c7] * src/Parser/parser.yy (modified) * tests/zombies/simplePoly.c (deleted) harmonize semantic error messages with yacc error messages Tue, 06 Jun 2023 12:44:14 GMT Peter A. Buhr [541dbc09] * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * tests/rational.cfa (modified) make type names arithmetic, rational, rat_int lower-case Tue, 06 Jun 2023 02:33:25 GMT Peter A. Buhr [874b16e] * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/parseconfig.cfa (modified) * tests/.expect/copyfile.txt (modified) * tests/.in/copyfile.txt (modified) * tests/configs/.expect/parseconfig.txt (modified) * tests/configs/parseconfig.cfa (modified) * tests/copyfile.cfa (modified) lower case type names open_failure, close_failure, write_failure, ... Sun, 04 Jun 2023 12:39:25 GMT caparsons [c880a7b] * tests/concurrency/actors/dynamic.cfa (modified) * tests/concurrency/actors/executor.cfa (modified) * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/actors/matrix.cfa (modified) * tests/concurrency/actors/pingpong.cfa (modified) * tests/concurrency/actors/static.cfa (modified) * tests/concurrency/actors/types.cfa (modified) refactored tests to use new name for allocation enum Sat, 03 Jun 2023 17:41:22 GMT caparsons [46e6e47] * tests/concurrency/actors/poison.cfa (modified) refactored test to reflect new naming Wed, 31 May 2023 00:30:17 GMT Peter A. Buhr [d8d9c115] * tests/concurrency/lockfree_stack.cfa (modified) reduce duration of lock-free stack test on ARM because CASV is very ... Sun, 28 May 2023 12:31:29 GMT Peter A. Buhr [5007618] * Jenkinsfile (modified) * tests/Makefile.am (modified) update tests/Makefile.am and corresponding Jenkinsfile with more ... Sat, 27 May 2023 22:44:54 GMT Peter A. Buhr [124400b] * tests/.expect/array-ERR1.txt (modified) * tests/.expect/array-ERR2.txt (modified) * tests/.expect/array-ERR3.txt (modified) * tests/.expect/array.txt (modified) * tests/array.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 27 May 2023 22:44:46 GMT Peter A. Buhr [bdbf536] * tests/Makefile.am (modified) remove/specialize test/Makfile.am variables concurrent/timeout, ... Fri, 26 May 2023 21:08:03 GMT Michael Brooks [7ae39f0] * tests/.expect/array-ERR1.txt (modified) * tests/.expect/array-ERR2.txt (modified) * tests/.expect/array-ERR3.txt (modified) * tests/.expect/array.txt (modified) * tests/array.cfa (modified) Re-enable testing function prototype taking length-star array, ... Fri, 26 May 2023 17:51:37 GMT Peter A. Buhr [b2fa3c2] * tests/concurrency/barrier/gen_generation_expect.cfa (modified) * tests/concurrency/barrier/generation.cfa (modified) * tests/concurrency/barrier/last.cfa (modified) * tests/concurrency/barrier/order.cfa (modified) * tests/concurrency/readyQ/barrier_sleeper.cfa (modified) * tests/concurrency/readyQ/leader_spin.cfa (modified) fix comments referring to concurrency directory Fri, 26 May 2023 17:47:58 GMT Peter A. Buhr [6b1c4f2] * tests/Makefile.am (modified) fix spelling mistake of concurrency Fri, 26 May 2023 12:47:20 GMT Peter A. Buhr [53f6a11] * tests/concurrency/lockfree_stack.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 26 May 2023 12:47:00 GMT Peter A. Buhr [c26bea2a] * tests/Makefile.am (modified) * tests/concurrency/.expect/clib.txt (moved) * tests/concurrency/.expect/clib_tls.txt (moved) * tests/concurrency/.expect/cluster.txt (moved) * tests/concurrency/.expect/coroutineYield.txt (moved) * tests/concurrency/.expect/ctor-check.txt (moved) * tests/concurrency/.expect/join.txt (moved) * tests/concurrency/.expect/joinerror.sed (moved) * tests/concurrency/.expect/keywordErrors.txt (added) * tests/concurrency/.expect/lockfree_stack.txt (moved) * tests/concurrency/.expect/mainError.txt (added) * tests/concurrency/.expect/migrate.txt (moved) * tests/concurrency/.expect/monitor.txt (moved) * tests/concurrency/.expect/multi-monitor.txt (moved) * tests/concurrency/.expect/once.txt (moved) * tests/concurrency/.expect/preempt.txt (moved) * tests/concurrency/.expect/preempt2.txt (moved) * tests/concurrency/.expect/sleep.txt (moved) * tests/concurrency/.expect/suspend_then.txt (moved) * tests/concurrency/.expect/thread.txt (moved) * tests/concurrency/actors/.expect/dynamic.txt (moved) * tests/concurrency/actors/.expect/executor.txt (moved) * tests/concurrency/actors/.expect/inherit.txt (moved) * tests/concurrency/actors/.expect/matrix.txt (moved) * tests/concurrency/actors/.expect/pingpong.txt (moved) * tests/concurrency/actors/.expect/poison.txt (moved) * tests/concurrency/actors/.expect/static.txt (moved) * tests/concurrency/actors/.expect/types.txt (moved) * tests/concurrency/actors/dynamic.cfa (moved) * tests/concurrency/actors/executor.cfa (moved) * tests/concurrency/actors/inherit.cfa (moved) * tests/concurrency/actors/matrix.cfa (moved) * tests/concurrency/actors/pingpong.cfa (moved) * tests/concurrency/actors/poison.cfa (moved) * tests/concurrency/actors/static.cfa (moved) * tests/concurrency/actors/types.cfa (moved) * tests/concurrency/barrier/.expect/generation.txt (moved) * tests/concurrency/barrier/.expect/last.txt (moved) * tests/concurrency/barrier/.expect/order.txt (moved) * tests/concurrency/barrier/gen_generation_expect.cfa (moved) * tests/concurrency/barrier/generation.cfa (moved) * tests/concurrency/barrier/last.cfa (moved) * tests/concurrency/barrier/order.cfa (moved) * tests/concurrency/channels/.expect/big_elems.txt (moved) * tests/concurrency/channels/.expect/churn.txt (moved) * tests/concurrency/channels/.expect/contend.txt (moved) * tests/concurrency/channels/.expect/daisy_chain.txt (moved) * tests/concurrency/channels/.expect/hot_potato.txt (moved) * tests/concurrency/channels/.expect/ping_pong.txt (moved) * tests/concurrency/channels/.expect/pub_sub.txt (moved) * tests/concurrency/channels/.expect/zero_size.txt (moved) * tests/concurrency/channels/barrier.cfa (moved) * tests/concurrency/channels/big_elems.cfa (moved) * tests/concurrency/channels/churn.cfa (moved) * tests/concurrency/channels/contend.cfa (moved) * tests/concurrency/channels/daisy_chain.cfa (moved) * tests/concurrency/channels/hot_potato.cfa (moved) * tests/concurrency/channels/parallel_harness.hfa (moved) * tests/concurrency/channels/ping_pong.cfa (moved) * tests/concurrency/channels/pub_sub.cfa (moved) * tests/concurrency/channels/zero_size.cfa (moved) * tests/concurrency/clib.c (moved) * tests/concurrency/clib_tls.c (moved) * tests/concurrency/cluster.cfa (moved) * tests/concurrency/coroutineYield.cfa (moved) * tests/concurrency/ctor-check.cfa (moved) * tests/concurrency/examples/.expect/boundedBufferEXT.txt (moved) * tests/concurrency/examples/.expect/boundedBufferINT.txt (moved) * tests/concurrency/examples/.expect/datingService.txt (moved) * tests/concurrency/examples/.expect/gortn.txt (moved) * tests/concurrency/examples/.expect/matrixSum.txt (moved) * tests/concurrency/examples/.expect/quickSort.txt (moved) * tests/concurrency/examples/.in/quickSort.txt (moved) * tests/concurrency/examples/boundedBufferEXT.cfa (moved) * tests/concurrency/examples/boundedBufferINT.cfa (moved) * tests/concurrency/examples/boundedBufferTHREAD.cfa (moved) * tests/concurrency/examples/datingService.cfa (moved) * tests/concurrency/examples/gortn.cfa (moved) * tests/concurrency/examples/matrixSum.cfa (moved) * tests/concurrency/examples/multiSort.cfa (moved) * tests/concurrency/examples/quickSort.cfa (moved) * tests/concurrency/examples/quickSort.generic.cfa (moved) * tests/concurrency/futures/.expect/abandon.txt (moved) * tests/concurrency/futures/.expect/basic.txt (moved) * tests/concurrency/futures/.expect/multi.txt (moved) * tests/concurrency/futures/.expect/select_future.txt (moved) * tests/concurrency/futures/.expect/typed.txt (moved) * tests/concurrency/futures/.expect/wait_any.txt (moved) * tests/concurrency/futures/abandon.cfa (moved) * tests/concurrency/futures/basic.cfa (moved) * tests/concurrency/futures/multi.cfa (moved) * tests/concurrency/futures/select_future.cfa (moved) * tests/concurrency/futures/typed.cfa (moved) * tests/concurrency/futures/wait_any.cfa (moved) * tests/concurrency/join.cfa (moved) * tests/concurrency/joinerror.cfa (moved) * tests/concurrency/keywordErrors.cfa (moved) * tests/concurrency/lockfree_stack.cfa (moved) * tests/concurrency/mainError.cfa (moved) * tests/concurrency/migrate.cfa (moved) * tests/concurrency/monitor.cfa (moved) * tests/concurrency/multi-monitor.cfa (moved) * tests/concurrency/mutexstmt/.expect/locks.txt (moved) * tests/concurrency/mutexstmt/.expect/monitors.txt (moved) * tests/concurrency/mutexstmt/locks.cfa (moved) * tests/concurrency/mutexstmt/monitors.cfa (moved) * tests/concurrency/once.cfa (moved) * tests/concurrency/park/.expect/contention.txt (moved) * tests/concurrency/park/.expect/force_preempt.txt (moved) * tests/concurrency/park/.expect/start_parked.txt (moved) * tests/concurrency/park/contention.cfa (moved) * tests/concurrency/park/force_preempt.cfa (moved) * tests/concurrency/park/start_parked.cfa (moved) * tests/concurrency/preempt.cfa (moved) * tests/concurrency/preempt2.cfa (moved) * tests/concurrency/pthread/.expect/bounded_buffer.x64.txt (moved) * tests/concurrency/pthread/.expect/bounded_buffer.x86.txt (moved) * tests/concurrency/pthread/.expect/pthread_attr_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_cond_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_create_join.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_lock.txt (moved) * tests/concurrency/pthread/.expect/pthread_key_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_once_test.txt (moved) * tests/concurrency/pthread/bounded_buffer.cfa (moved) * tests/concurrency/pthread/pthread_attr_test.cfa (moved) * tests/concurrency/pthread/pthread_cond_test.cfa (moved) * tests/concurrency/pthread/pthread_demo_create_join.cfa (moved) * tests/concurrency/pthread/pthread_demo_lock.cfa (moved) * tests/concurrency/pthread/pthread_key_test.cfa (moved) * tests/concurrency/pthread/pthread_once_test.cfa (moved) * tests/concurrency/readyQ/.expect/barrier_sleeper.txt (moved) * tests/concurrency/readyQ/.expect/leader_spin.txt (moved) * tests/concurrency/readyQ/barrier_sleeper.cfa (moved) * tests/concurrency/readyQ/leader_spin.cfa (moved) * tests/concurrency/signal/.expect/block.txt (moved) * tests/concurrency/signal/.expect/disjoint.txt (moved) * tests/concurrency/signal/.expect/wait.txt (moved) * tests/concurrency/signal/block.cfa (moved) * tests/concurrency/signal/disjoint.cfa (moved) * tests/concurrency/signal/wait.cfa (moved) * tests/concurrency/sleep.cfa (moved) * tests/concurrency/suspend_then.cfa (moved) * tests/concurrency/thread.cfa (moved) * tests/concurrency/unified_locking/.expect/block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/exp_backoff.txt (moved) * tests/concurrency/unified_locking/.expect/fast_block_lock.txt (moved) * tests/concurrency/unified_locking/.expect/futex_mutex.txt (moved) * tests/concurrency/unified_locking/.expect/locks.txt (moved) * tests/concurrency/unified_locking/.expect/mcs.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_spin.txt (moved) * tests/concurrency/unified_locking/.expect/pthread_locks.txt (moved) * tests/concurrency/unified_locking/.expect/simple_owner_lock.txt (moved) * tests/concurrency/unified_locking/.expect/spin_queue_lock.txt (moved) * tests/concurrency/unified_locking/.expect/timeout_lock.txt (moved) * tests/concurrency/unified_locking/block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/exp_backoff.cfa (moved) * tests/concurrency/unified_locking/fast_block_lock.cfa (moved) * tests/concurrency/unified_locking/futex_mutex.cfa (moved) * tests/concurrency/unified_locking/locks.cfa (moved) * tests/concurrency/unified_locking/mcs.cfa (moved) * tests/concurrency/unified_locking/mcs_block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/mcs_spin.cfa (moved) * tests/concurrency/unified_locking/mutex_test.hfa (moved) * tests/concurrency/unified_locking/pthread_locks.cfa (moved) * tests/concurrency/unified_locking/simple_owner_lock.cfa (moved) * tests/concurrency/unified_locking/spin_queue_lock.cfa (moved) * tests/concurrency/unified_locking/spintest.cfa (moved) * tests/concurrency/unified_locking/test_debug.cfa (moved) * tests/concurrency/unified_locking/thread_test.cfa (moved) * tests/concurrency/unified_locking/timeout_lock.cfa (moved) * tests/concurrency/waitfor/.expect/barge.txt (moved) * tests/concurrency/waitfor/.expect/dtor.txt (moved) * tests/concurrency/waitfor/.expect/else.txt (moved) * tests/concurrency/waitfor/.expect/parse.txt (added) * tests/concurrency/waitfor/.expect/recurse.txt (moved) * tests/concurrency/waitfor/.expect/statment.txt (moved) * tests/concurrency/waitfor/.expect/when.txt (moved) * tests/concurrency/waitfor/barge.cfa (moved) * tests/concurrency/waitfor/dtor.cfa (moved) * tests/concurrency/waitfor/else.cfa (moved) * tests/concurrency/waitfor/parse.cfa (moved) * tests/concurrency/waitfor/recurse.cfa (moved) * tests/concurrency/waitfor/simple.cfa (moved) * tests/concurrency/waitfor/statment.cfa (moved) * tests/concurrency/waitfor/when.cfa (moved) * tests/concurrency/waituntil/.expect/all_types.txt (moved) * tests/concurrency/waituntil/.expect/basic_else.txt (moved) * tests/concurrency/waituntil/.expect/channel_close.txt (moved) * tests/concurrency/waituntil/.expect/channel_zero_size.txt (moved) * tests/concurrency/waituntil/.expect/channels.txt (moved) * tests/concurrency/waituntil/.expect/futures.txt (moved) * tests/concurrency/waituntil/.expect/locks.txt (moved) * tests/concurrency/waituntil/.expect/one_chan.txt (moved) * tests/concurrency/waituntil/.expect/timeout.txt (moved) * tests/concurrency/waituntil/all_types.cfa (moved) * tests/concurrency/waituntil/basic_else.cfa (moved) * tests/concurrency/waituntil/channel_close.cfa (moved) * tests/concurrency/waituntil/channel_zero_size.cfa (moved) * tests/concurrency/waituntil/channels.cfa (moved) * tests/concurrency/waituntil/futures.cfa (moved) * tests/concurrency/waituntil/locks.cfa (moved) * tests/concurrency/waituntil/one_chan.cfa (moved) * tests/concurrency/waituntil/timeout.cfa (moved) * tests/concurrent/.expect/keywordErrors.txt (deleted) * tests/concurrent/.expect/mainError.txt (deleted) first attempt at renaming directory tests/concurrent to ... Fri, 26 May 2023 12:09:58 GMT Peter A. Buhr [687b663] * tests/concurrent/lockfree_stack.cfa (modified) fix lockfree-stack test on 32-bit Thu, 25 May 2023 22:44:01 GMT Michael Brooks [8a919cf] * tests/array.cfa (modified) Address build error from commit a5aa5b. To keep: Change all tabs to ... Thu, 25 May 2023 21:55:18 GMT Michael Brooks [a5aa5bf] * tests/.expect/array-ERR1.txt (added) * tests/.expect/array-ERR2.txt (added) * tests/.expect/array-ERR3.txt (added) * tests/.expect/array.txt (modified) * tests/Makefile.am (modified) * tests/array.cfa (modified) Flesh out "C" array syntax testing. Enable testing of ... Thu, 25 May 2023 20:55:55 GMT Peter A. Buhr [4246869] * tests/PRNG.cfa (modified) update header comments Thu, 25 May 2023 20:51:48 GMT Peter A. Buhr [2314aac] * tests/concurrent/.expect/lockfree_stack.txt (added) * tests/concurrent/lockfree_stack.cfa (added) add lock-free stack using double-wide CAS Wed, 17 May 2023 15:18:06 GMT Peter A. Buhr [e3d4fd1] * Makefile.am (modified) * tests/Makefile.am (modified) more cleanup of the make-help option Mon, 15 May 2023 17:14:01 GMT caparsons [8cb06b6] * tests/concurrent/waituntil/.expect/all_types.txt (added) * tests/concurrent/waituntil/.expect/timeout.txt (added) * tests/concurrent/waituntil/all_types.cfa (added) * tests/concurrent/waituntil/timeout.cfa (added) added waituntil timeout test and added waituntil test that uses ... Mon, 15 May 2023 12:47:42 GMT caparsons [b3ce76f] * Makefile.am (modified) * tests/Makefile.am (modified) resolved merge conflict in makefile changes Mon, 15 May 2023 12:46:18 GMT caparsons [386fb57] * tests/Makefile.am (modified) added invariant flag to test makefile Fri, 12 May 2023 22:51:41 GMT Peter A. Buhr [e2887a9] * Makefile.am (modified) * tests/Makefile.am (modified) add make-help option and change parenthesis to braces for variables Fri, 12 May 2023 18:18:38 GMT caparsons [01de470] * tests/concurrent/waituntil/.expect/channels.txt (added) * tests/concurrent/waituntil/one_chan.cfa (modified) added back initially failing test and cleaned up other test Fri, 12 May 2023 18:17:50 GMT caparsons [7c2c37a] * tests/concurrent/channels/.expect/handoff.txt (deleted) * tests/concurrent/channels/handoff.cfa (deleted) * tests/concurrent/waituntil/.expect/one_chan_spin.txt (deleted) * tests/concurrent/waituntil/2-chan-or-no-else.cfa (deleted) * tests/concurrent/waituntil/chan-or-no-else.cfa (deleted) * tests/concurrent/waituntil/one_chan_spin.cfa (deleted) removed tests made during deadlock debugging Fri, 12 May 2023 16:21:58 GMT caparsons [0922716] * tests/Makefile.am (modified) changed dist-hook rule to use curly braces to access shell vars where ... Fri, 12 May 2023 12:56:08 GMT caparsons [94672ba] * tests/Makefile.am (modified) changed variable name in makefile to try and avoid shell command with ... Thu, 11 May 2023 17:06:40 GMT caparsons [7b53bfd] * tests/concurrent/channels/.expect/handoff.txt (added) * tests/concurrent/channels/handoff.cfa (added) * tests/concurrent/waituntil/.expect/one_chan_spin.txt (added) * tests/concurrent/waituntil/one_chan.cfa (modified) * tests/concurrent/waituntil/one_chan_spin.cfa (added) Eliminating the busy wait spin at the end seems to resolve deadlock. ... Thu, 11 May 2023 14:27:32 GMT caparsons [c34a1a4] * tests/concurrent/waituntil/one_chan.cfa (modified) removed uneeded busy wait Tue, 09 May 2023 16:41:37 GMT caparsons [e50fce1] * tests/concurrent/waituntil/one_chan.cfa (modified) added some instrumentation to attempt to glean some insight into ... Tue, 09 May 2023 16:38:59 GMT caparsons [253a78f] * tests/concurrent/waituntil/.expect/2-chan-or-no-else.txt (deleted) * tests/concurrent/waituntil/.expect/chan-or-no-else.txt (deleted) * tests/concurrent/waituntil/.expect/one_chan.txt (moved) * tests/concurrent/waituntil/one_chan.cfa (moved) removed some redundant tests and added some instrumentation to help ... Tue, 09 May 2023 14:54:43 GMT caparsons [330b856] * tests/concurrent/waituntil/.expect/chan-and-no-else.txt (deleted) * tests/concurrent/waituntil/.expect/chan-and.txt (deleted) * tests/concurrent/waituntil/.expect/chan-no-else.txt (deleted) * tests/concurrent/waituntil/.expect/chan-or.txt (deleted) * tests/concurrent/waituntil/chan-and-no-else.cfa (deleted) * tests/concurrent/waituntil/chan-and.cfa (deleted) * tests/concurrent/waituntil/chan-no-else.cfa (deleted) * tests/concurrent/waituntil/chan-or.cfa (deleted) removed tests that are redundant Tue, 09 May 2023 14:53:06 GMT caparsons [b5513f1] * tests/concurrent/waituntil/.expect/1-chan-or-no-else.txt (added) * tests/concurrent/waituntil/.expect/2-chan-or-no-else.txt (added) * tests/concurrent/waituntil/1-chan-or-no-else.cfa (added) * tests/concurrent/waituntil/2-chan-or-no-else.cfa (added) refactored tests to refine failure case to minimal repro Mon, 08 May 2023 22:21:51 GMT caparsons [02fa55e] * tests/concurrent/waituntil/.expect/channel_zero_size.txt (added) * tests/concurrent/waituntil/channel_zero_size.cfa (added) added zero size channel waituntil test case Sat, 06 May 2023 19:34:15 GMT caparsons [a32a887] * tests/concurrent/waituntil/.expect/channels-SPMC.txt (deleted) * tests/concurrent/waituntil/.expect/channels-SPSC.txt (deleted) * tests/concurrent/waituntil/.expect/channels-no-churn.txt (deleted) * tests/concurrent/waituntil/.expect/channels-no-when.txt (deleted) * tests/concurrent/waituntil/.expect/channels.txt (deleted) * tests/concurrent/waituntil/channels-SPMC.cfa (deleted) * tests/concurrent/waituntil/channels-SPSC.cfa (deleted) * tests/concurrent/waituntil/channels-no-churn.cfa (deleted) * tests/concurrent/waituntil/channels-no-when.cfa (deleted) removed uneeded tests Sat, 06 May 2023 17:28:27 GMT caparsons [85e49a6] * tests/concurrent/waituntil/.expect/chan-and-no-else.txt (added) * tests/concurrent/waituntil/.expect/chan-and.txt (added) * tests/concurrent/waituntil/.expect/chan-no-else.txt (added) * tests/concurrent/waituntil/.expect/chan-or-no-else.txt (added) * tests/concurrent/waituntil/.expect/chan-or.txt (added) * tests/concurrent/waituntil/chan-and-no-else.cfa (added) * tests/concurrent/waituntil/chan-and.cfa (added) * tests/concurrent/waituntil/chan-no-else.cfa (added) * tests/concurrent/waituntil/chan-or-no-else.cfa (added) * tests/concurrent/waituntil/chan-or.cfa (added) * tests/concurrent/waituntil/channels-SPSC.cfa (modified) added and removed some tests in pursuit of a more minimal repro of ... Fri, 05 May 2023 15:43:05 GMT caparsons [dd7a8ce] * tests/concurrent/waituntil/.expect/channels-SPMC.txt (added) * tests/concurrent/waituntil/.expect/channels-SPSC.txt (added) * tests/concurrent/waituntil/.expect/channels-no-churn.txt (added) * tests/concurrent/waituntil/.expect/channels-no-when.txt (added) * tests/concurrent/waituntil/channels-SPMC.cfa (added) * tests/concurrent/waituntil/channels-SPSC.cfa (added) * tests/concurrent/waituntil/channels-no-churn.cfa (added) * tests/concurrent/waituntil/channels-no-when.cfa (added) added some variations on failing channel test to try and narrow down ... Thu, 04 May 2023 18:39:52 GMT caparsons [a882b68] * tests/concurrent/waituntil/channels.cfa (modified) added a test change to help locate the deadlock on next test failure 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 [63d5ac5f] * tests/concurrent/futures/select_future.cfa (modified) removed TODO since it is now done 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 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, 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 ... 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