# # ChangeLog for src/Validate/GenericParameter.cpp # # Generated by Trac 1.2.1 # Nov 4, 2024, 10:27:20 PM Fri, 01 Sep 2023 03:31:15 GMT JiadaL [2a301ff] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * 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/benchmarks/actors/cfa/balance.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusExecutorMem (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendDynamic (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendStatic (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_ALL.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_MEM.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_SEND.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeExecutorMem (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendDynamic (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendStatic (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_ALL.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_CFA.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_MEM.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_SEND.txt (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/genPlots (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/actors/run (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/data/nasus.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/data/pyke.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/genPlots (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/data/nasus.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/data/pyke.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/genPlots (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/contend.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/future.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/order.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/spin.cfa (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/nasus.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/nasus_Order (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/nasus_future.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/pyke.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/pyke_Order (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/data/pyke_future.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/genPlots (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/order/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/order/order.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/run (modified) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/ucpp/future.cc (modified) * doc/theses/colby_parsons_MMAth/data/nasusExecutorMem (modified) * doc/theses/colby_parsons_MMAth/data/nasusSendDynamic (modified) * doc/theses/colby_parsons_MMAth/data/nasusSendStatic (modified) * doc/theses/colby_parsons_MMAth/data/nasus_Order (added) * doc/theses/colby_parsons_MMAth/data/pykeExecutorMem (modified) * doc/theses/colby_parsons_MMAth/data/pykeSendDynamic (modified) * doc/theses/colby_parsons_MMAth/data/pykeSendStatic (modified) * doc/theses/colby_parsons_MMAth/data/pyke_Order (added) * doc/theses/colby_parsons_MMAth/diagrams/steal.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/uCpp_select_tree.tikz (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-Multi.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-One.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusCFAExecutor.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusCFAMatrix.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusCFARepeat.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusExecutor.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusMatrix.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasusRepeat.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_8.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Channel_Contention.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_8.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Future.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_8.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeCFABalance-Multi.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeCFABalance-One.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeCFAExecutor.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeCFAMatrix.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeCFARepeat.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeExecutor.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeMatrix.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pykeRepeat.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_8.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Channel_Contention.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_8.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Future.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_2.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_4.pgf (modified) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_8.pgf (modified) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (added) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) * doc/theses/colby_parsons_MMAth/thesis.tex (modified) * doc/theses/fangren_yu_MMath/.gitignore (added) * doc/theses/fangren_yu_MMath/Makefile (added) * doc/theses/fangren_yu_MMath/background.tex (added) * doc/theses/fangren_yu_MMath/benchmarks.tex (added) * doc/theses/fangren_yu_MMath/conclusion.tex (added) * doc/theses/fangren_yu_MMath/content1.tex (added) * doc/theses/fangren_yu_MMath/content2.tex (added) * doc/theses/fangren_yu_MMath/glossary.tex (added) * doc/theses/fangren_yu_MMath/intro.tex (added) * doc/theses/fangren_yu_MMath/performance.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis.bib (added) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (added) * doc/theses/jiada_liang_MMath/.gitignore (added) * doc/theses/jiada_liang_MMath/Makefile (added) * doc/theses/jiada_liang_MMath/background.tex (added) * doc/theses/jiada_liang_MMath/benchmarks.tex (added) * doc/theses/jiada_liang_MMath/conclusion.tex (added) * doc/theses/jiada_liang_MMath/content1.tex (added) * doc/theses/jiada_liang_MMath/content2.tex (added) * doc/theses/jiada_liang_MMath/glossary.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (added) * doc/theses/jiada_liang_MMath/performance.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis.bib (added) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * driver/cfa.cc (modified) * libcfa/prelude/bootloader.cf (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Exception.hfa (added) * libcfa/src/Makefile.am (modified) * libcfa/src/bits/algorithm.hfa (modified) * libcfa/src/bits/collections.hfa (moved) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/queue.hfa (modified) * libcfa/src/bits/weakso_locks.cfa (modified) * libcfa/src/bits/weakso_locks.hfa (modified) * libcfa/src/collections/array.hfa (moved) * libcfa/src/collections/list.hfa (moved) * libcfa/src/collections/lockfree.hfa (moved) * libcfa/src/collections/maybe.cfa (moved) * libcfa/src/collections/maybe.hfa (moved) * libcfa/src/collections/pair.cfa (moved) * libcfa/src/collections/pair.hfa (moved) * libcfa/src/collections/result.cfa (moved) * libcfa/src/collections/result.hfa (moved) * libcfa/src/collections/string.cfa (moved) * libcfa/src/collections/string.hfa (added) * libcfa/src/collections/string_res.cfa (moved) * libcfa/src/collections/string_res.hfa (moved) * libcfa/src/collections/string_sharectx.hfa (moved) * libcfa/src/collections/vector.cfa (moved) * libcfa/src/collections/vector.hfa (moved) * libcfa/src/collections/vector2.hfa (moved) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/actor.hfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/channel.hfa (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/iofwd.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/once.hfa (modified) * libcfa/src/concurrency/select.cfa (modified) * libcfa/src/concurrency/select.hfa (modified) * libcfa/src/concurrency/stats.cfa (modified) * libcfa/src/containers/string.hfa (deleted) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/executor.baseline.txt (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/parseargs.cfa (modified) * libcfa/src/parseconfig.cfa (modified) * libcfa/src/parseconfig.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/strstream.cfa (modified) * libcfa/src/strstream.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/vec/vec.hfa (modified) * libcfa/src/vec/vec2.hfa (modified) * libcfa/src/vec/vec3.hfa (modified) * libcfa/src/vec/vec4.hfa (modified) * libcfa/src/virtual_dtor.hfa (modified) * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/LinkageSpec.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Util.cpp (modified) * src/Common/ScopedMap.h (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Concurrency/Waituntil.cpp (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/NoIdSymbolTable.hpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/VirtualDtor.cpp (modified) * src/main.cc (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/array-collections/.expect/array-basic.txt (moved) * tests/array-collections/.expect/array-md-sbscr-cases.arm64.txt (moved) * tests/array-collections/.expect/array-md-sbscr-cases.x64.txt (moved) * tests/array-collections/.expect/array-sbscr-types.txt (moved) * tests/array-collections/.expect/dimexpr-match-c-ERRS.arm64.txt (added) * tests/array-collections/.expect/dimexpr-match-c-ERRS.x64.txt (added) * tests/array-collections/.expect/dimexpr-match-c-ERRS.x86.txt (added) * tests/array-collections/.expect/dimexpr-match-c.txt (moved) * tests/array-collections/.expect/dimexpr-match-cfa-ERRS.arm64.txt (added) * tests/array-collections/.expect/dimexpr-match-cfa-ERRS.x64.txt (added) * tests/array-collections/.expect/dimexpr-match-cfa-ERRS.x86.txt (added) * tests/array-collections/.expect/dimexpr-match-cfa.txt (added) * tests/array-collections/.expect/language-dim-mismatch.txt (added) * tests/array-collections/.expect/safety-summary.txt (added) * tests/array-collections/.expect/symtab-collision.txt (added) * tests/array-collections/array-basic.cfa (moved) * tests/array-collections/array-md-sbscr-cases.cfa (moved) * tests/array-collections/array-sbscr-types.cfa (moved) * tests/array-collections/dimexpr-match-c.cfa (moved) * tests/array-collections/dimexpr-match-cfa.cfa (moved) * tests/array-collections/dimexpr-match-detail.sh (moved) * tests/array-collections/dimexpr-match.hfa (moved) * tests/array-collections/language-dim-mismatch.cfa (moved) * tests/array-collections/safety-summary.cfa (added) * tests/array-collections/symtab-collision.cfa (added) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (deleted) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (deleted) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (deleted) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (deleted) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (deleted) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (deleted) * tests/array-container/.expect/dimexpr-match-cfa.txt (deleted) * tests/array-container/.expect/language-dim-mismatch.txt (deleted) * tests/collections/.expect/string-istream.txt (added) * tests/collections/.in/string-istream.txt (added) * tests/collections/atomic_mpsc.cfa (modified) * tests/collections/string-api-coverage.cfa (modified) * tests/collections/string-istream.cfa (added) * tests/collections/string-overwrite.cfa (modified) * tests/collections/vector-demo.cfa (modified) * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/channels/daisy_chain.cfa (modified) * tests/concurrency/mutexstmt/.expect/tuple.txt (added) * tests/concurrency/mutexstmt/tuple.cfa (added) * tests/concurrency/unified_locking/thread_test.cfa (modified) * tests/concurrency/waituntil/.expect/repeat_close.txt (added) * tests/concurrency/waituntil/all_types.cfa (modified) * tests/concurrency/waituntil/channel_close.cfa (modified) * tests/concurrency/waituntil/channel_zero_size.cfa (modified) * tests/concurrency/waituntil/channels.cfa (modified) * tests/concurrency/waituntil/one_chan.cfa (modified) * tests/concurrency/waituntil/repeat_close.cfa (added) * tests/concurrency/waituntil/timeout.cfa (modified) * tests/designations.cfa (modified) * tests/exceptions/.expect/cor_resumer.txt (added) * tests/exceptions/.expect/fibonacci_nonlocal.txt (added) * tests/exceptions/.expect/pingpong_nonlocal.txt (added) * 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/cor_resumer.cfa (added) * tests/exceptions/data-except.cfa (modified) * tests/exceptions/defaults.cfa (modified) * tests/exceptions/except-io.hfa (modified) * tests/exceptions/fibonacci_nonlocal.cfa (added) * tests/exceptions/finally.cfa (modified) * tests/exceptions/interact.cfa (modified) * tests/exceptions/pingpong_nonlocal.cfa (added) * 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) * tests/include/.expect/vector-collections.txt (moved) * tests/include/vector-collections.cfa (moved) * tests/io/.expect/io.txt (modified) * tests/io/.expect/manipulatorsOutput2.arm64.txt (modified) * tests/io/.expect/manipulatorsOutput2.x64.txt (modified) * tests/io/.expect/manipulatorsOutput2.x86.txt (modified) * tests/io/.expect/manipulatorsOutput3.arm64.txt (modified) * tests/io/.expect/manipulatorsOutput3.x64.txt (modified) * tests/io/io.cfa (modified) * tests/io/manipulatorsInput.cfa (modified) * tests/list/dlist-insert-remove.cfa (modified) * tests/maybe.cfa (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/dtor-early-exit.cfa (modified) * tests/raii/memberCtors.cfa (modified) * tests/result.cfa (modified) * tests/zombies/gc_no_raii/premake4.lua (modified) * tests/zombies/hashtable.cfa (modified) * tests/zombies/hashtable2.cfa (modified) * tests/zombies/linked-list-perf/experiment.koad (modified) Resolve conflict 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 ... Wed, 21 Jun 2023 06:38:55 GMT JiadaL [c84dd61] * doc/theses/colby_parsons_MMAth/Makefile (modified) * 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/benchmarks/actors/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (modified) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py (modified) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Contend_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Future.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Spin_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Contend_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Future.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Spin_8.pgf (added) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * driver/cfa.cc (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/actor.hfa (modified) * libcfa/src/concurrency/atomic.hfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/virtual_dtor.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/Concurrency/Actors.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Parser/DeclarationNode.cc (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) * src/Validate/GenericParameter.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Virtual/VirtualDtor.cpp (modified) * src/main.cc (modified) * tests/.expect/mathX.arm64.txt (modified) * tests/.expect/mathX.x64.txt (modified) * tests/.expect/mathX.x86.txt (modified) * tests/.expect/polybits.txt (added) * 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) * tests/collections/vector-demo.cfa (modified) * tests/concurrency/actors/.expect/inherit.txt (modified) * tests/concurrency/actors/.expect/inline.txt (added) * tests/concurrency/actors/dynamic.cfa (modified) * tests/concurrency/actors/executor.cfa (modified) * tests/concurrency/actors/inherit.cfa (modified) * tests/concurrency/actors/inline.cfa (added) * 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/coroutine/.in/devicedriver.txt (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/io/manipulatorsInput.cfa (modified) * tests/polybits.cfa (added) * tests/pybin/settings.py (modified) * tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 21 Jun 2023 06:38:44 GMT JiadaL [0b0a285] * src/Parser/parser.yy (modified) * src/Validate/GenericParameter.cpp (modified) Basic change for enable enumerated array syntax 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 ... Thu, 25 May 2023 17:01:00 GMT Andrew Beach [bccd70a] * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Concurrency/Waituntil.cpp (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/MakeLibCfaNew.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/Tuples/Explode.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) Removed internal code from TypeSubstitution header. It caused a chain ... Wed, 21 Sep 2022 13:22:24 GMT Andrew Beach [e9e9f56] * src/AST/Pass.hpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Used the WithCodeLocation helper in more passes. This cleans up some ... Wed, 20 Jul 2022 15:42:29 GMT Andrew Beach [11df881] * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptDecl.cc (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/Autogen.hpp (modified) * src/Validate/CompoundLiteral.hpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/EnumAndPointerDecay.hpp (modified) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixQualifiedTypes.hpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/FixReturnTypes.hpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/GenericParameter.hpp (modified) * src/Validate/HoistStruct.hpp (modified) * src/Validate/HoistTypeDecls.cpp (modified) * src/Validate/HoistTypeDecls.hpp (modified) * src/Validate/LabelAddressFixer.cpp (modified) * src/Validate/LabelAddressFixer.hpp (modified) * src/Validate/LinkReferenceToTypes.hpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Validate/ReplaceTypedef.hpp (modified) * src/Validate/VerifyCtorDtorAssign.cpp (modified) * src/Validate/VerifyCtorDtorAssign.hpp (modified) * src/main.cc (modified) Updated documentation on pre-resolver passes, moving code to headers ... Fri, 29 Apr 2022 17:30:49 GMT Andrew Beach [298fe57] * src/AST/Convert.cpp (modified) * src/Common/utility.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/EliminateTypedef.cpp (added) * src/Validate/EliminateTypedef.hpp (added) * src/Validate/FixQualifiedTypes.cpp (added) * src/Validate/FixQualifiedTypes.hpp (added) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HoistStruct.cpp (added) * src/Validate/HoistStruct.hpp (added) * src/Validate/NoIdSymbolTable.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/.expect/nested-types-ERR2.nast.txt (added) * tests/.expect/nested-types-ERR2.oast.txt (moved) Translated 3/4 of validate_B. Link Reference To Types has been ... Wed, 13 Apr 2022 18:55:51 GMT Andrew Beach [4ec9513] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.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/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Validate/GenericParameter.cpp (added) * src/Validate/GenericParameter.hpp (added) * src/Validate/ReturnCheck.cpp (added) * src/Validate/ReturnCheck.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/array-container/.expect/language-dim-mismatch.nast.txt (added) * tests/array-container/.expect/language-dim-mismatch.oast.txt (moved) * tests/errors/.expect/scope.nast.txt (moved) * tests/errors/.expect/scope.oast.txt (added) Converted validate C, including adding DimensionExpr to the new ast.