# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Dec 19, 2024, 12:12:59 PM Thu, 06 Jul 2023 15:07:27 GMT Andrew Beach [8f31be6] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) Fixed some warnings, deleted some commented out code. 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 ... Fri, 16 Jun 2023 22:11:14 GMT Andrew Beach [64727bd] * src/ResolvExpr/CandidateFinder.cpp (modified) Did my best to reimplement all the improvements made to ... Fri, 16 Jun 2023 19:24:20 GMT Andrew Beach [b96b1c0] * src/ResolvExpr/CandidateFinder.cpp (modified) Reproduing changes from commit eb8d791. This fixes most of the errors ... Fri, 16 Jun 2023 15:02:05 GMT caparsons [da4a570] * src/ResolvExpr/SatisfyAssertions.cpp (modified) commented out some debugging code 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' 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 Thu, 08 Jun 2023 18:02:06 GMT Andrew Beach [918e4165] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Removed some warnings. Mon, 05 Jun 2023 17:29:55 GMT Michael Brooks [b9fe89b] * src/AST/Pass.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Make the symbol table's error-checking times explicit. Previously, ... Thu, 01 Jun 2023 22:29:47 GMT Fangren Yu [251ce80] * src/AST/SymbolTable.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/Validate/ReplaceTypedef.cpp (modified) remove reference to symbol table in unify 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, 03 May 2023 02:46:06 GMT Fangren Yu [34b4268] * src/ResolvExpr/SatisfyAssertions.cpp (modified) fix Tue, 02 May 2023 07:45:08 GMT Fangren Yu [0c840fc] * src/ResolvExpr/SatisfyAssertions.cpp (modified) WIP some bugs show up resolving array tuple indexing Tue, 02 May 2023 07:44:31 GMT Fangren Yu [46da46b] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.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) current progress 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:06:07 GMT caparsons [c86b08d] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Concurrency/WaitforNew.cpp (modified) * src/Concurrency/Waituntil.cpp (added) * src/Concurrency/Waituntil.hpp (added) * src/Concurrency/module.mk (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) added support for the waituntil statement in the compiler Thu, 20 Apr 2023 19:21:09 GMT Andrew Beach [699a97d] * src/ResolvExpr/CurrentObject.cc (modified) Added IndexIterator, which absorbs some functionality of some ... Wed, 12 Apr 2023 19:10:28 GMT Andrew Beach [eb8d791] * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/main.cc (modified) CandidateFinder fills in the CodeLocation on a generated expression. ... Wed, 12 Apr 2023 14:42:12 GMT Andrew Beach [153d3440] * src/ResolvExpr/CandidateFinder.cpp (modified) Reorganize CandidateFinder to lower indentation. I did not flatten ... Mon, 10 Apr 2023 13:49:05 GMT Andrew Beach [ea2759b] * src/ResolvExpr/CurrentObject.cc (modified) Some clean-up in CurrentObject, so that TupleIterator is no longer ... Thu, 06 Apr 2023 20:40:03 GMT Andrew Beach [485393c] * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) Moved code out of the CurrentObject header. Thu, 06 Apr 2023 20:09:24 GMT Andrew Beach [fac05b3] * src/AST/Pass.impl.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) Removed members from TupleType. They were only used in one place, ... Wed, 29 Mar 2023 15:07:03 GMT Andrew Beach [9feb34b] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/DeclStats.cpp (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ToString.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/include/cassert (modified) Moved toString and toCString to a new header. Updated includes. ... Fri, 17 Feb 2023 20:40:15 GMT Andrew Beach [8f06277] * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (added) * src/Common/Iterate.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/HandleAttributes.cc (modified) Some clean-up in Common/utility.h. Deleted some unused declarations ... Thu, 19 Jan 2023 16:36:58 GMT Andrew Beach [a0d1f1c] * src/AST/Node.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/typeops.h (modified) Header Clean-up: Removed no longer needed includes from typeops, and ... Wed, 18 Jan 2023 17:14:42 GMT Andrew Beach [5bf3976] * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/ResolvExpr/AdjustExprType.hpp (added) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (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/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/ResolveAssertions.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.hpp (added) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) Header Clean-Up: Created new headers for new AST typeops and moved ... Tue, 17 Jan 2023 21:27:18 GMT Andrew Beach [fed6a0f] * src/AST/SymbolTable.cpp (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) Header Clean-up: Moving more declarations to the header of the ... Tue, 17 Jan 2023 19:05:52 GMT Andrew Beach [7b5694d] * src/AST/Expr.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/Validate/FixReturnTypes.cpp (modified) Header Clean-up: Moved more things from typeops to Unify. Tue, 17 Jan 2023 16:57:46 GMT Andrew Beach [e563edf] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Header Clean-up: Clearing out typeops, moving things to Unify because ... Mon, 09 Jan 2023 19:43:13 GMT Andrew Beach [f76dd1a] * src/ResolvExpr/RenameVars.cc (modified) Some cleanup in RenameVars.cc. Thu, 24 Nov 2022 16:01:37 GMT Andrew Beach [93c10de] * src/AST/Decl.cpp (modified) * src/AST/Decl.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/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Unify.cc (modified) Minimal changes to pull out nested types, TypeInstType::TypeEnvKey ... Fri, 28 Oct 2022 19:12:16 GMT JiadaL [93d2219] * benchmark/io/http/worker.hfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (modified) * doc/theses/thierry_delisle_PhD/thesis/text/front.tex (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/clib/cfathread.cfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/private.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/pthread.cfa (added) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/array.hfa (modified) * libcfa/src/containers/lockfree.hfa (added) * libcfa/src/containers/queueLockFree.hfa (deleted) * libcfa/src/containers/stackLockFree.hfa (deleted) * libcfa/src/device/cpu.cfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/interpose_thread.cfa (added) * libcfa/src/parseargs.cfa (modified) * libcfa/src/parseargs.hfa (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/Vector.hpp (added) * src/AST/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/AddressExpr.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * tests/array-container/.expect/array-sbscr-types.txt (added) * tests/array-container/array-basic.cfa (modified) * tests/array-container/array-sbscr-types.cfa (added) * tests/collections/atomic_mpsc.cfa (modified) * tests/concurrent/.expect/migrate.txt (added) * tests/concurrent/migrate.cfa (added) * tests/concurrent/pthread/.expect/bounded_buffer.txt (added) * tests/concurrent/pthread/.expect/pthread_attr_test.txt (added) * tests/concurrent/pthread/.expect/pthread_cond_test.txt (added) * tests/concurrent/pthread/.expect/pthread_demo_create_join.txt (added) * tests/concurrent/pthread/.expect/pthread_demo_lock.txt (added) * tests/concurrent/pthread/.expect/pthread_key_test.txt (added) * tests/concurrent/pthread/.expect/pthread_once_test.txt (added) * tests/concurrent/pthread/bounded_buffer.cfa (added) * tests/concurrent/pthread/pthread_attr_test.cfa (added) * tests/concurrent/pthread/pthread_cond_test.cfa (added) * tests/concurrent/pthread/pthread_demo_create_join.cfa (added) * tests/concurrent/pthread/pthread_demo_lock.cfa (added) * tests/concurrent/pthread/pthread_key_test.cfa (added) * tests/concurrent/pthread/pthread_once_test.cfa (added) * tests/configs/parsebools.cfa (modified) * tests/configs/parsenums.cfa (modified) * tests/configs/usage.cfa (modified) * tests/device/cpu.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 28 Oct 2022 19:11:57 GMT JiadaL [e874605] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * tests/enum_tests/.expect/enumInlineValue.txt (modified) * tests/enum_tests/.expect/qualifiedEnum.cfa (modified) * tests/enum_tests/enumInlineValue.cfa (modified) * tests/enum_tests/qualifiedEnum.cfa (modified) Add class InlineValueDecl, which is a Declaration class that works as ... Thu, 27 Oct 2022 16:29:48 GMT Andrew Beach [0026d67] * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/Virtual/ExpandCasts.cc (modified) Replaced Mangle::typeMode() with Mangle::mangleType(...), as it is ... Wed, 19 Oct 2022 01:12:19 GMT JiadaL [5408b59] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) Remove var in QualifiedNameExpr Thu, 22 Sep 2022 19:25:28 GMT Andrew Beach [5d8dae7] * src/ResolvExpr/Unify.cc (modified) Used Pass::read in Unify in one place. Wed, 21 Sep 2022 14:52:51 GMT Thierry Delisle [0bd46fd] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Fixed several warnings Wed, 21 Sep 2022 00:37:17 GMT JiadaL [a065f1f] * doc/bibliography/pl.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/local.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/iostream.cfa (modified) * src/AST/Create.cpp (added) * src/AST/Create.hpp (added) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/Lvalue2.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * tests/concurrent/.expect/ctor-check.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 21 Sep 2022 00:37:05 GMT JiadaL [4520b77e] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/enum_tests/.expect/funcEnum.txt (added) * tests/enum_tests/.expect/pointerEnum.cfa (added) * tests/enum_tests/.expect/qualifiedEnum.cfa (added) * tests/enum_tests/.expect/voidEnum.txt (added) * tests/enum_tests/funcEnum.cfa (added) * tests/enum_tests/pointerEnum.cfa (added) * tests/enum_tests/qualifiedEnum.cfa (added) * tests/enum_tests/structEnum.cfa (modified) * tests/enum_tests/voidEnum.cfa (added) Merge to Master Sept 19 Tue, 20 Sep 2022 22:34:55 GMT Fangren Yu [ef1da0e2] * libcfa/src/concurrency/monitor.hfa (modified) * src/AST/Print.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * tests/concurrent/.expect/ctor-check.txt (modified) try to make parameter qualifier conversion work for assertions Mon, 19 Sep 2022 15:48:13 GMT JiadaL [12df6fe] * src/CodeGen/CodeGenerator.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/enum_tests/.expect/funcEnum.txt (added) * tests/enum_tests/.expect/pointerEnum.cfa (added) * tests/enum_tests/.expect/qualifiedEnum.cfa (added) * tests/enum_tests/.expect/voidEnum.txt (added) * tests/enum_tests/funcEnum.cfa (added) * tests/enum_tests/pointerEnum.cfa (added) * tests/enum_tests/qualifiedEnum.cfa (added) * tests/enum_tests/structEnum.cfa (modified) * tests/enum_tests/voidEnum.cfa (added) Fix an enumerator value bug; add basic tests for new features; save ... Fri, 16 Sep 2022 15:19:04 GMT Thierry Delisle [09f34a84] * driver/cfa.cc (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/main.cc (modified) Remove some of the warnings on the new clang Thu, 01 Sep 2022 17:27:52 GMT JiadaL [b0d9ff7] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Fix up the QualifiedNameExpr. It should now work on both old AST and ... Tue, 26 Jul 2022 14:15:26 GMT Andrew Beach [5cf1228] * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) Clean-up the new specialize pass. (Especially the cruft from the ... Mon, 25 Jul 2022 19:17:25 GMT JiadaL [def751f] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/readyQ/churn.cfa (modified) * benchmark/readyQ/cycle.cfa (modified) * benchmark/readyQ/cycle.cpp (modified) * benchmark/readyQ/locality.cfa (modified) * benchmark/readyQ/locality.cpp (modified) * benchmark/readyQ/yield.cfa (modified) * benchmark/readyQ/yield.cpp (modified) * doc/bibliography/pl.bib (modified) * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cycle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle1.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle2.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle_state.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/io_uring.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/local.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * libcfa/Makefile.am (modified) * libcfa/src/Makefile.am (modified) * src/AST/Expr.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * 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/ExceptDeclNew.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (added) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (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/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/alloc2.cfa (modified) Merge branch 'master' into qualifiedEnum Mon, 25 Jul 2022 18:23:28 GMT Fangren Yu [ffec1bf] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/readyQ/churn.cfa (modified) * benchmark/readyQ/cycle.cfa (modified) * benchmark/readyQ/cycle.cpp (modified) * benchmark/readyQ/locality.cfa (modified) * benchmark/readyQ/locality.cpp (modified) * benchmark/readyQ/yield.cfa (modified) * benchmark/readyQ/yield.cpp (modified) * doc/bibliography/pl.bib (modified) * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/.gitignore (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMSG.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/SAVE.fig (deleted) * doc/theses/thierry_delisle_PhD/thesis/fig/SQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_ts2.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-noshare.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-share.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cycle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/executionStates.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/idle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle1.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle2.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle_state.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/io_uring.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/system.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/local.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * libcfa/Makefile.am (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/heap.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (added) * src/AST/Inspect.hpp (added) * src/AST/Pass.impl.hpp (modified) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Eval.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptDecl.cc (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/Autogen.hpp (modified) * src/Validate/CompoundLiteral.hpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (added) * src/Validate/EnumAndPointerDecay.hpp (added) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixQualifiedTypes.hpp (modified) * src/Validate/FixReturnTypes.cpp (added) * src/Validate/FixReturnTypes.hpp (added) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/GenericParameter.hpp (modified) * src/Validate/HoistStruct.hpp (modified) * src/Validate/HoistTypeDecls.cpp (added) * src/Validate/HoistTypeDecls.hpp (added) * src/Validate/LabelAddressFixer.cpp (modified) * src/Validate/LabelAddressFixer.hpp (modified) * src/Validate/LinkReferenceToTypes.cpp (added) * src/Validate/LinkReferenceToTypes.hpp (added) * src/Validate/ReplaceTypedef.cpp (added) * src/Validate/ReplaceTypedef.hpp (added) * src/Validate/VerifyCtorDtorAssign.cpp (added) * src/Validate/VerifyCtorDtorAssign.hpp (added) * src/Validate/module.mk (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/attributes.nast.arm64.txt (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/alloc2.cfa (modified) * tests/enum.cfa (modified) * tests/enum_tests/structEnum.cfa (modified) * tests/pybin/tools.py (modified) * tests/unified_locking/.expect/pthread_locks.txt (modified) * tests/unified_locking/mutex_test.hfa (modified) * tests/unified_locking/pthread_locks.cfa (modified) * tools/gdb/utils-gdb.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 25 Jul 2022 18:23:00 GMT Fangren Yu [9e23b446] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (added) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) add specialize pass Mon, 25 Jul 2022 16:30:59 GMT JiadaL [b729c01] * src/ResolvExpr/Unify.cc (modified) Update enum unifier; now unifier compare types based on the enum's base Mon, 25 Jul 2022 16:29:40 GMT JiadaL [d958834b] * src/CodeGen/CodeGenerator.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/enum_tests/structEnum.cfa (modified) Save a minimal compilable version. The enum pointer ... Tue, 12 Jul 2022 19:40:38 GMT Andrew Beach [b9f8274] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/main.cc (modified) Removed the validate sub-pass interface. This also showed an extra ... Fri, 01 Jul 2022 21:36:10 GMT Peter A. Buhr [f37d9e7] * src/ResolvExpr/CurrentObject.cc (modified) change CurrentObject.cc to use eval rather than ad-hoc constant- ... Tue, 21 Jun 2022 17:39:14 GMT JiadaL [1df492a] * src/AST/Pass.impl.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.h (modified) Convert TypeInstType to PointerType before resolution Thu, 02 Jun 2022 08:12:53 GMT JiadaL [fc134a48] * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/.expect/attributes.oast.x86.txt (modified) * tests/enum_tests/.expect/structEnum.txt (added) * tests/enum_tests/structEnum.cfa (added) Implement the struct enum Tue, 17 May 2022 19:44:08 GMT Andrew Beach [9939dc3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain2.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Indenter.cc (added) * src/Common/Indenter.h (modified) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue2.cc (added) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (added) * src/SymTab/ValidateType.h (added) * src/SymTab/module.mk (modified) * src/SynTree/BaseSyntaxNode.cc (added) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/module.mk (modified) * src/main.cc (modified) Reduced the number of object files linked into the demangler. Some of ... Mon, 02 May 2022 07:19:03 GMT JiadaL [24ceace] * benchmark/Cargo.toml.in (modified) * benchmark/Makefile.am (modified) * benchmark/c.c (deleted) * benchmark/plot.py (modified) * benchmark/process-mutilate.py (added) * benchmark/readyQ/churn.cfa (modified) * benchmark/readyQ/churn.rs (added) * benchmark/rmit.py (modified) * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/theses/mubeen_zulfiqar_MMath/allocator.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/background.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/benchmarks.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/conclusion.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/dofree.tex (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/cache-time-0-scratch.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/cache-time-0-thrash.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/cache_scratch_0-scratch.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/cache_thrash_0-thrash.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/churn.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-dl.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-glc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-hrd.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-je.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-pt3.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-rp.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-tbb.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-1-prod-4-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-1-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-2-prod-4-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-1-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-dl.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-glc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-hrd.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-je.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-pt3.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-rp.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-tbb.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-1-malloc-null.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-10-malloc-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-11-calloc-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-12-malloc-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-13-calloc-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-14-{m,c,re}alloc-free.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-2-free-null.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-3-malloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-4-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-5-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-6-calloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-7-malloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-8-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/algol-perf-eps/speed-9-calloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/cache-time-0-scratch.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/cache-time-0-thrash.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/cache_scratch_0-scratch.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/cache_thrash_0-thrash.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/churn.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-dl.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-glc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-hrd.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-je.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-pt3.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-rp.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-tbb.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-1-prod-4-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-1-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-2-prod-4-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-1-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-dl.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-glc.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-hrd.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-je.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-pt3.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-rp.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-2-cons-100-tbb.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-all.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-cfa.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-dl.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-glc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-hrd.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-je.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-pt3.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-rp.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-tbb.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-1-malloc-null.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-10-malloc-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-11-calloc-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-12-malloc-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-13-calloc-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-14-{m,c,re}alloc-free.eps (deleted) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-2-free-null.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-3-malloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-4-realloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-5-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-6-calloc.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-7-malloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-8-realloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/evaluations/nasus-perf-eps/speed-9-calloc-free.eps (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedActiveFalseSharing.fig (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedPassiveFalseSharing.fig (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingA.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingB.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingC.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingD.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/PerThreadGlobalHeap2.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/PrivatePublicHeaps2.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/figures/ProgramFalseSharing.fig (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/RemoteFreeList.fig (deleted) * doc/theses/mubeen_zulfiqar_MMath/performance.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/pictures/PrivatePublicHeaps.fig (modified) * doc/theses/mubeen_zulfiqar_MMath/pictures/RemoteFreeList.fig (added) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis.bib (modified) * libcfa/src/bits/align.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/heap.hfa (modified) * libcfa/src/stdlib.hfa (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/Common/utility.h (modified) * src/ResolvExpr/Resolver.cc (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) * tests/alloc.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 02 May 2022 07:18:32 GMT JiadaL [9e7236f4] * src/AST/Convert.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) Resolution of struct enum. The codegen of struct enum will be in the ... Wed, 20 Apr 2022 19:00:11 GMT Andrew Beach [f6e6a55] * 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/ResolvExpr/Resolver.cc (modified) Added ast::WaitForClause and changed ast::WaitForStmt to use it. This ... Mon, 11 Apr 2022 03:03:20 GMT JiadaL [5bb1ac1] * src/ResolvExpr/Resolver.cc (modified) Allow generic types Mon, 11 Apr 2022 02:06:55 GMT JiadaL [d8e2a09] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/enum_tests/.expect/stringEnum.txt (added) * tests/enum_tests/.expect/typedIntEnum.txt (added) * tests/enum_tests/stringEnum.cfa (added) * tests/enum_tests/typedIntEnum.cfa (moved) Merge with master Sun, 10 Apr 2022 18:53:18 GMT JiadaL [92538ab] * Jenkinsfile (modified) * benchmark/io/http/main.cfa (modified) * benchmark/io/http/parhttperf (modified) * benchmark/io/http/protocol.cfa (modified) * benchmark/io/http/protocol.hfa (modified) * benchmark/io/http/worker.cfa (modified) * benchmark/io/http/worker.hfa (modified) * benchmark/io/sendfile/consumer.c (added) * benchmark/io/sendfile/producer.c (added) * benchmark/plot.py (modified) * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/theses/mike_brooks_MMath/.gitignore (added) * doc/theses/mike_brooks_MMath/Makefile (added) * doc/theses/mike_brooks_MMath/array.tex (added) * doc/theses/mike_brooks_MMath/background.tex (added) * doc/theses/mike_brooks_MMath/conclusion.tex (added) * doc/theses/mike_brooks_MMath/glossary.tex (added) * doc/theses/mike_brooks_MMath/intro.tex (added) * doc/theses/mike_brooks_MMath/pictures/measuring-like-layout.pdf (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-allocn.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-pbv.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-peq-cppemu.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-peq-sharing.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-pta-sharing.png (added) * doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa (added) * doc/theses/mike_brooks_MMath/programs/hello-array.cfa (added) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (added) * doc/theses/mike_brooks_MMath/programs/sharectx-demo.cfa (added) * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (added) * doc/theses/mike_brooks_MMath/string.tex (added) * doc/theses/mike_brooks_MMath/style/master.tex (added) * doc/theses/mike_brooks_MMath/style/uw-bot.tex (added) * doc/theses/mike_brooks_MMath/style/uw-top.tex (added) * doc/theses/mike_brooks_MMath/thesis-frontpgs.tex (added) * doc/theses/mike_brooks_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (added) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (added) * doc/theses/mubeen_zulfiqar_MMath/Makefile (modified) * doc/theses/mubeen_zulfiqar_MMath/allocator.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/background.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/benchmarks.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/AddressSpace.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocDS1.fig (moved) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocDS2.fig (moved) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedActiveFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedPassiveFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocatedObject.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocatorComponents.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/CoalesceAllocated.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/CoalesceFree.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/Container.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerFalseSharing1.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerFalseSharing2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerNoOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerNoOwnershipFreelist.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerOwnershipFreelist.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContigFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingA.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingB.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingC.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingD.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FreeListAmongContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FreeListWithinContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/HeapStructure.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/IntExtFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MemoryFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsNoOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsStorage.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/NewHeapStructure.eps (added) * doc/theses/mubeen_zulfiqar_MMath/figures/NonContigFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ObjectHeaders.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PerThreadGlobalHeap2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PerThreadHeap.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PrivatePublicHeaps2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ProgramFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/RemoteFreeList.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SharedHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SingleHeap.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SuperContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/UserKernelHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/intro.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/performance.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/pictures/MultipleHeapsOwnershipStorage.fig (added) * doc/theses/mubeen_zulfiqar_MMath/pictures/PrivatePublicHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis.bib (modified) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/data/cycle.jax (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (added) * doc/theses/thierry_delisle_PhD/thesis/glossary.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * doc/user/user.tex (modified) * driver/cc1.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/barrier.hfa (added) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/io.cfa (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.hfa (modified) * libcfa/src/concurrency/kernel/cluster.cfa (added) * libcfa/src/concurrency/kernel/cluster.hfa (added) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/kernel/private.hfa (moved) * 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/mutex.cfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/concurrency/stats.cfa (modified) * libcfa/src/concurrency/stats.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/string.cfa (modified) * libcfa/src/containers/string.hfa (modified) * libcfa/src/containers/string_res.cfa (modified) * libcfa/src/containers/string_res.hfa (modified) * libcfa/src/containers/string_sharectx.hfa (added) * libcfa/src/device/cpu.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/AssertAcyclic.cpp (deleted) * src/AST/AssertAcyclic.hpp (deleted) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Util.cpp (added) * src/AST/Util.hpp (added) * src/AST/Visitor.hpp (modified) * src/AST/module.mk (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FindSpecialDeclsNew.cpp (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/declarationSpecifier.arm64.txt (modified) * tests/.expect/gccExtensions.arm64.txt (modified) * tests/.expect/random.arm64.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/collections/.expect/string-api-coverage-noshare.txt (added) * tests/collections/.expect/string-api-coverage.txt (modified) * tests/collections/.expect/string-ctx-manage.txt (added) * tests/collections/.expect/string-gc.txt (modified) * tests/collections/.expect/string-overwrite-noshare.txt (added) * tests/collections/.expect/vector-err-pass-perm-it-byval.txt (modified) * tests/collections/string-api-coverage-noshare.cfa (added) * tests/collections/string-api-coverage.cfa (modified) * tests/collections/string-ctx-manage.cfa (added) * tests/collections/string-gc.cfa (modified) * tests/collections/string-overwrite-noshare.cfa (added) * tests/collections/string-overwrite.cfa (modified) * tests/concurrent/.expect/keywordErrors.nast.txt (added) * tests/concurrent/.expect/keywordErrors.oast.txt (moved) * tests/concurrent/.expect/mainError.nast.txt (added) * tests/concurrent/.expect/mainError.oast.txt (added) * tests/concurrent/barrier/.expect/generation.txt (added) * tests/concurrent/barrier/.expect/last.txt (moved) * tests/concurrent/barrier/.expect/order.txt (added) * tests/concurrent/barrier/gen_generation_expect.cfa (added) * tests/concurrent/barrier/generation.cfa (added) * tests/concurrent/barrier/last.cfa (added) * tests/concurrent/barrier/order.cfa (added) * tests/concurrent/mainError.cfa (added) * tests/concurrent/mutexstmt/.expect/locks.txt (modified) * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (added) * tests/concurrent/mutexstmt/locks.cfa (modified) * tests/concurrent/mutexstmt/scoped_lock.cfa (added) * tests/concurrent/readyQ/.expect/barrier_sleeper.txt (added) * tests/concurrent/readyQ/.expect/leader_spin.txt (added) * tests/concurrent/readyQ/barrier_sleeper.cfa (added) * tests/concurrent/readyQ/leader_spin.cfa (added) * tests/designations.cfa (modified) * tests/errors/.expect/scope.txt (modified) * tests/io/.expect/away_fair.txt (added) * tests/io/.expect/comp_fair.txt (added) * tests/io/away_fair.cfa (added) * tests/io/comp_fair.cfa (added) * tests/io/io-acquire.cfa (modified) * tests/io/many_read.cfa (modified) * tests/meta/dumpable.cfa (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) * tests/zombies/string-perf/.gitignore (added) * tests/zombies/string-perf/Makefile (added) * tests/zombies/string-perf/corpori-about.txt (added) * tests/zombies/string-perf/corpus-100-1-1.txt (added) * tests/zombies/string-perf/corpus-100-10-1.txt (added) * tests/zombies/string-perf/corpus-100-2-1.txt (added) * tests/zombies/string-perf/corpus-100-20-1.txt (added) * tests/zombies/string-perf/corpus-100-5-1.txt (added) * tests/zombies/string-perf/corpus-5-20-1.txt (added) * tests/zombies/string-perf/corpus-5-20-2.txt (added) * tests/zombies/string-perf/corpus-5-20-3.txt (added) * tests/zombies/string-perf/make-corpus.cfa (added) * tests/zombies/string-perf/make-flamegraph.sh (added) * tests/zombies/string-perf/not_string_res.cfa (added) * tests/zombies/string-perf/not_string_res.hfa (added) * tests/zombies/string-perf/pbx-correctness-demos.cfa (added) * tests/zombies/string-perf/pbx-correctness-demos.cpp (added) * tests/zombies/string-perf/prog-allocn.cfa (added) * tests/zombies/string-perf/prog-find.cfa (added) * tests/zombies/string-perf/prog-normalize.cfa (added) * tests/zombies/string-perf/prog-passbyX.cfa (added) * tests/zombies/string-perf/prog-passbyval.cfa (added) * tests/zombies/string-perf/prog.cfa (added) * tests/zombies/string-perf/qanal.py (added) * tests/zombies/string-perf/qrun.sh (added) Resolve conflict Mon, 04 Apr 2022 00:49:42 GMT JiadaL [4559b34] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/Common/PassVisitor.impl.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) Update the String Enum implementation. The declaration now can ... Tue, 29 Mar 2022 20:09:51 GMT Andrew Beach [b230091] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) Added a 'missing' TypeInstType constructor and rewrote some calls to ... Mon, 28 Mar 2022 14:41:45 GMT Andrew Beach [400b8be] * 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/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Added StmtClause and converted the existing nodes that should be clauses. Wed, 23 Mar 2022 19:09:52 GMT Andrew Beach [94fa946] * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) Cleaned up some files I have been looking at a lot recently. Mon, 21 Mar 2022 19:17:37 GMT JiadaL [f238fcc2] * src/AST/Convert.cpp (modified) * src/CodeGen/GenType.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.h (modified) Enable numeric type for typed enum Fri, 18 Mar 2022 14:53:38 GMT Andrew Beach [3bc69f2] * src/ResolvExpr/Resolver.cc (modified) May have fixed the build failure, but I'm still not sure why ... Wed, 16 Mar 2022 20:41:01 GMT Andrew Beach [39d8950] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/FindSpecialDeclsNew.cpp (modified) Thread global information through resolution. Non-top-level calls to ... Wed, 16 Mar 2022 00:12:12 GMT Fangren Yu [9d8124f] * src/ResolvExpr/Unify.cc (modified) fix some code that clearly does not accomplish the correct thing. ... Fri, 11 Feb 2022 17:17:39 GMT Thierry Delisle [6668a3e] * src/Concurrency/Waitfor.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Waitfor now resolves calls to get_monitor inside the resolver rather ... Fri, 11 Feb 2022 17:16:52 GMT Thierry Delisle [1f7dc61] * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/CodeGen/FixNames.h (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/ResolvProtoDump.hpp (modified) * src/InitTweak/FixInit.h (modified) * src/MakeLibCfa.h (modified) * src/ResolvExpr/Resolver.h (modified) Consistently changed TranslationUnit from struct to class. Wed, 02 Feb 2022 01:22:12 GMT Peter A. Buhr [3b0bc16] * 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/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/HoistControlDecls.cpp (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) change class name WhileStmt to WhileDoStmt, add else clause to ... Tue, 09 Nov 2021 20:57:11 GMT Andrew Beach [1622af5] * src/ResolvExpr/CandidatePrinter.cpp (added) * src/ResolvExpr/CandidatePrinter.hpp (added) * src/ResolvExpr/module.mk (modified) * src/main.cc (modified) Created CandidatePrinter from AlternativePrinter (seems to uncover a ... Mon, 05 Jul 2021 20:57:41 GMT Thierry Delisle [7f62b708] * src/Concurrency/Waitfor.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) Step 2 of $thread to thread$ Missed some of the source Thu, 01 Jul 2021 16:13:36 GMT Thierry Delisle [943bfad] * src/AST/Node.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) Fixed several warnings for clang@head Mon, 05 Apr 2021 19:00:21 GMT Andrew Beach [de57af9] * src/ResolvExpr/CurrentObject.cc (modified) Added some asserts in CurrentObject that prevent segfaults for better ... Mon, 18 Jan 2021 20:34:57 GMT Michael Brooks [fcd0b9d7] * libcfa/src/concurrency/thread.cfa (modified) * src/ResolvExpr/PolyCost.cc (modified) * tests/.expect/poly-selection.txt (modified) * tests/avltree/avl.h (modified) * tests/avltree/avl1.cfa (modified) * tests/poly-selection.cfa (modified) PolyCost calculation result becomes 0 or 1 per type, avoiding double- ... Mon, 18 Jan 2021 19:11:11 GMT Michael Brooks [978e5eb] * src/ResolvExpr/SpecCost.cc (modified) * tests/.expect/poly-selection.txt (added) * tests/poly-selection.cfa (added) Calculation of specialization benefit (spec "cost") looks inside the ... Thu, 07 Jan 2021 19:55:57 GMT Thierry Delisle [eef8dfb] * .gitignore (modified) * Jenkins/Distribute (added) * Jenkins/FullBuild (modified) * Jenkins/tools.groovy (added) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (deleted) * aclocal.m4 (deleted) * autogen.sh (added) * automake/compile (deleted) * automake/config.guess (deleted) * automake/config.sub (deleted) * automake/depcomp (deleted) * automake/install-sh (deleted) * automake/libtool.m4 (deleted) * automake/ltmain.sh (deleted) * automake/ltoptions.m4 (deleted) * automake/ltsugar.m4 (deleted) * automake/ltversion.m4 (deleted) * automake/lt~obsolete.m4 (deleted) * automake/missing (deleted) * automake/test-driver (deleted) * automake/ylwrap (deleted) * benchmark/Cargo.toml.in (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (deleted) * benchmark/baselines/x64/schedint.csv (moved) * benchmark/baselines/x86/schedint.csv (moved) * benchmark/bench.rs (added) * benchmark/benchcltr.hfa (added) * benchmark/creation/JavaThread.java (modified) * benchmark/creation/cfa_gen.cfa (modified) * benchmark/creation/node_cor.js (modified) * benchmark/creation/rust_tokio_thrd.rs (added) * benchmark/ctxswitch/JavaThread.java (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * benchmark/ctxswitch/node_cor.js (modified) * benchmark/ctxswitch/rust_await.rs (added) * benchmark/ctxswitch/rust_tokio_thrd.rs (added) * benchmark/exclude (modified) * benchmark/io/batch-readv.c (added) * benchmark/io/http/Makefile.am (added) * benchmark/io/http/channel.cfa (added) * benchmark/io/http/channel.hfa (added) * benchmark/io/http/filecache.cfa (added) * benchmark/io/http/filecache.hfa (added) * benchmark/io/http/main.cfa (added) * benchmark/io/http/options.cfa (added) * benchmark/io/http/options.hfa (added) * benchmark/io/http/protocol.cfa (added) * benchmark/io/http/protocol.hfa (added) * benchmark/io/http/worker.cfa (added) * benchmark/io/http/worker.hfa (added) * benchmark/io/io_uring.h (added) * benchmark/io/readv-posix.c (added) * benchmark/io/readv.cfa (added) * benchmark/mutex/JavaThread.java (modified) * benchmark/mutexC/JavaThread.java (modified) * benchmark/plot.py (added) * benchmark/readyQ/bench.go (added) * benchmark/readyQ/cycle.cc (added) * benchmark/readyQ/cycle.cfa (added) * benchmark/readyQ/cycle.cpp (added) * benchmark/readyQ/cycle.go (added) * benchmark/readyQ/cycle.rs (added) * benchmark/readyQ/locality.cfa (added) * benchmark/readyQ/locality.cpp (added) * benchmark/readyQ/locality.go (added) * benchmark/readyQ/locality.rs (added) * benchmark/readyQ/rq_bench.hfa (added) * benchmark/readyQ/rq_bench.hpp (added) * benchmark/readyQ/yield.cfa (added) * benchmark/readyQ/yield.cpp (added) * benchmark/rmit.py (added) * benchmark/schedint/JavaThread.java (modified) * benchmark/size/size.cfa (added) * configure (deleted) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/man/cfa.1 (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/examples/DatingServiceThread.cfa (added) * doc/papers/concurrency/examples/Fib.js (added) * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/Fib2.c (modified) * doc/papers/concurrency/examples/Fib2.py (modified) * doc/papers/concurrency/examples/Fib3.c (modified) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.c (modified) * doc/papers/concurrency/examples/Format.cc (modified) * doc/papers/concurrency/examples/Format.cfa (modified) * doc/papers/concurrency/examples/Format.data (modified) * doc/papers/concurrency/examples/Format.js (added) * doc/papers/concurrency/examples/Format.py (modified) * doc/papers/concurrency/examples/Format1.c (modified) * doc/papers/concurrency/examples/PingPong.c (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.py (modified) * doc/papers/concurrency/examples/RWMonitorEXT.cfa (moved) * doc/papers/concurrency/examples/RWMonitorINT.cfa (added) * doc/papers/concurrency/examples/Refactor.py (modified) * doc/papers/concurrency/examples/channels.go (added) * doc/papers/concurrency/examples/channels.rs (added) * doc/papers/concurrency/examples/future.rs (added) * doc/papers/concurrency/figures/FullCoroutinePhases.fig (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (modified) * doc/papers/concurrency/mail (modified) * doc/papers/concurrency/mail2 (modified) * doc/papers/concurrency/response (added) * doc/papers/concurrency/response2 (added) * doc/papers/concurrency/response3 (added) * doc/papers/ibm_CASCON19/ThreadingModels.fig (added) * doc/papers/ibm_CASCON19/ThreadingModels.png (added) * doc/papers/ibm_CASCON19/ThreadingModels.svg (added) * doc/papers/ibm_CASCON19/abstract.txt (added) * doc/papers/ibm_CASCON19/client.cfa (added) * doc/papers/ibm_CASCON19/server.cfa (added) * doc/papers/ibm_CASCON19/slides.pdf (added) * doc/proposals/ZeroCostPreemption.md (added) * doc/proposals/function_type_change.md (added) * doc/proposals/vtable.md (modified) * doc/refrat/refrat.tex (modified) * doc/theses/andrew_beach_MMath/.gitignore (added) * doc/theses/andrew_beach_MMath/Makefile (added) * doc/theses/andrew_beach_MMath/cfalab.sty (added) * doc/theses/andrew_beach_MMath/existing.tex (added) * doc/theses/andrew_beach_MMath/features.tex (added) * doc/theses/andrew_beach_MMath/future.tex (added) * doc/theses/andrew_beach_MMath/glossaries.tex (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added) * doc/theses/andrew_beach_MMath/thesis.bib (added) * doc/theses/andrew_beach_MMath/thesis.tex (added) * doc/theses/andrew_beach_MMath/unwinding.tex (added) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (added) * doc/theses/fangren_yu_COOP_S20/Makefile (added) * doc/theses/fangren_yu_COOP_S20/Report.tex (added) * doc/theses/fangren_yu_COOP_S20/cfa_developer_reference.pdf (added) * doc/theses/fangren_yu_COOP_S20/figures/DeepNodeSharing.fig (added) * doc/theses/fangren_yu_COOP_S20/figures/DeepNodeSharing.fig.bak (added) * doc/theses/thierry_delisle_PhD/.gitignore (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/Makefile (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/proto-gui/main.cpp (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/Makefile (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/cforall.hpp (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/fibre.hpp (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.hpp (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/thread.cpp (added) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/thread.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/Makefile (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/assert.hpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/bitbench/select.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/bts.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/bts_test.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/links.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/prefetch.cpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/process.sh (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/processor.hpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/processor_list.hpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/processor_list_fast.cpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/processor_list_good.cpp (moved) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/randbit.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/relaxed_list.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/relaxed_list.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/relaxed_list_layout.cpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/runperf.sh (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/scale.sh (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/snzi-packed.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/snzi.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/snzm.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/utils.hpp (added) * doc/theses/thierry_delisle_PhD/code/readyQ_proto/work_stealing.hpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (deleted) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (deleted) * doc/theses/thierry_delisle_PhD/code/utils.hpp (deleted) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_too_big.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/glossary.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/system.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (added) * doc/theses/thierry_delisle_PhD/comp_II/presentation.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/presentationstyle.sty (added) * doc/theses/thierry_delisle_PhD/thesis/Makefile (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/empty.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/emptybit.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/emptytls.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/emptytree.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/fairness.py (added) * doc/theses/thierry_delisle_PhD/thesis/fig/resize.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/system.fig (added) * doc/theses/thierry_delisle_PhD/thesis/glossary.tex (added) * doc/theses/thierry_delisle_PhD/thesis/local.bib (added) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/front.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (added) * doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (added) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/unified_semaphores/semaphore.cfa (added) * doc/working/unified_semaphores/semaphore.hfa (added) * driver/Makefile.am (modified) * driver/Makefile.in (deleted) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * example/io/cat.c (added) * example/io/filereader.c (added) * example/io/simple/client.c (added) * example/io/simple/server.c (added) * example/io/simple/server.cfa (added) * example/io/simple/server_epoll.c (added) * examples/constructors.c (deleted) * libcfa/Makefile.dist.am (added) * libcfa/Makefile.in (deleted) * libcfa/aclocal.m4 (deleted) * libcfa/automake/compile (deleted) * libcfa/automake/config.guess (deleted) * libcfa/automake/config.sub (deleted) * libcfa/automake/depcomp (deleted) * libcfa/automake/install-sh (deleted) * libcfa/automake/libtool.m4 (deleted) * libcfa/automake/ltmain.sh (deleted) * libcfa/automake/ltoptions.m4 (deleted) * libcfa/automake/ltsugar.m4 (deleted) * libcfa/automake/ltversion.m4 (deleted) * libcfa/automake/lt~obsolete.m4 (deleted) * libcfa/automake/missing (deleted) * libcfa/configure (deleted) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (deleted) * libcfa/prelude/bootloader.cf (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/defines.hfa.in (added) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/extras.regx2 (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (deleted) * libcfa/src/assert.cfa (modified) * libcfa/src/bitmanip.hfa (added) * libcfa/src/bits/collection.hfa (added) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/bits/queue.hfa (added) * libcfa/src/bits/random.hfa (added) * libcfa/src/bits/sequence.hfa (added) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/bits/stack.hfa (added) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (deleted) * libcfa/src/concurrency/CtxSwitch-arm32.S (added) * libcfa/src/concurrency/CtxSwitch-arm64.S (added) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/clib/cfathread.cfa (added) * libcfa/src/concurrency/clib/cfathread.h (added) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/exception.cfa (added) * libcfa/src/concurrency/exception.hfa (added) * libcfa/src/concurrency/future.hfa (added) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (added) * libcfa/src/concurrency/io/call.cfa.in (added) * libcfa/src/concurrency/io/setup.cfa (added) * libcfa/src/concurrency/io/types.hfa (added) * libcfa/src/concurrency/iofwd.hfa (added) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (added) * libcfa/src/concurrency/kernel/startup.cfa (added) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/locks.cfa (added) * libcfa/src/concurrency/locks.hfa (added) * 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/preemption.cfa (modified) * libcfa/src/concurrency/preemption.hfa (modified) * libcfa/src/concurrency/ready_queue.cfa (added) * libcfa/src/concurrency/ready_subqueue.hfa (added) * libcfa/src/concurrency/snzi.hfa (added) * libcfa/src/concurrency/stats.cfa (added) * libcfa/src/concurrency/stats.hfa (added) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/list.hfa (added) * libcfa/src/containers/stackLockFree.hfa (added) * libcfa/src/containers/vector.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/exception.hfa (added) * 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/heap.hfa (added) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/memory.cfa (added) * libcfa/src/memory.hfa (added) * libcfa/src/parseargs.cfa (added) * libcfa/src/parseargs.hfa (added) * libcfa/src/rational.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdhdr/assert.h (modified) * libcfa/src/stdhdr/bfdlink.h (modified) * libcfa/src/stdhdr/hwloc.h (modified) * libcfa/src/stdhdr/krb5.h (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/stdhdr/math.h (modified) * libcfa/src/stdhdr/sys/mman.h (added) * libcfa/src/stdhdr/sys/time.h (added) * libcfa/src/stdhdr/sys/ucontext.h (deleted) * libcfa/src/stdhdr/unwind.h (added) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (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) * longrun_tests/Makefile.am (modified) * longrun_tests/Makefile.in (deleted) * longrun_tests/locks.cfa (added) * src/AST/Attribute.hpp (modified) * src/AST/CVQualifiers.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Convert.hpp (modified) * src/AST/Copy.hpp (added) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Eval.hpp (added) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.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/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/TranslationUnit.hpp (added) * 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/module.mk (modified) * src/AST/porting.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeGen/Options.h (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/module.mk (modified) * src/Common/CodeLocation.h (modified) * src/Common/CodeLocationTools.cpp (added) * src/Common/CodeLocationTools.hpp (added) * src/Common/Eval.cc (modified) * src/Common/Examine.cc (added) * src/Common/Examine.h (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/Common/Stats/ResolveTime.cc (added) * src/Common/Stats/ResolveTime.h (added) * src/Common/Stats/Stats.cc (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/FixInitNew.cpp (added) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (deleted) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.cpp (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/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/LinkageSpec.cc (modified) * src/SynTree/LinkageSpec.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/Tables.cc (added) * src/Virtual/Tables.h (added) * src/Virtual/module.mk (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.nast.arm64.txt (added) * tests/.expect/KRfunctions.nast.x64.txt (added) * tests/.expect/KRfunctions.nast.x86.txt (added) * tests/.expect/KRfunctions.oast.arm64.txt (moved) * tests/.expect/KRfunctions.oast.x64.txt (added) * tests/.expect/KRfunctions.oast.x86.txt (moved) * tests/.expect/abs.arm64.txt (added) * tests/.expect/abs.x64.txt (moved) * tests/.expect/abs.x86.txt (added) * tests/.expect/alloc-ERROR.nast.txt (added) * tests/.expect/alloc-ERROR.oast.txt (added) * tests/.expect/alloc-ERROR.txt (deleted) * tests/.expect/alloc.txt (modified) * tests/.expect/alloc.txt.old (added) * tests/.expect/alloc2.txt (added) * tests/.expect/array.txt (modified) * tests/.expect/ato.arm64.txt (added) * tests/.expect/ato.x64.txt (moved) * tests/.expect/ato.x86.txt (added) * tests/.expect/attributes.nast.arm64.txt (added) * tests/.expect/attributes.nast.x64.txt (added) * tests/.expect/attributes.nast.x86.txt (added) * tests/.expect/attributes.oast.arm64.txt (moved) * tests/.expect/attributes.oast.x64.txt (added) * tests/.expect/attributes.oast.x86.txt (moved) * tests/.expect/bitmanip1.arm64.txt (added) * tests/.expect/bitmanip1.x64.txt (added) * tests/.expect/bitmanip1.x86.txt (added) * tests/.expect/bitmanip2.arm64.txt (added) * tests/.expect/bitmanip2.x64.txt (added) * tests/.expect/bitmanip2.x86.txt (added) * tests/.expect/bitmanip3.arm64.txt (added) * tests/.expect/bitmanip3.x64.txt (added) * tests/.expect/bitmanip3.x86.txt (added) * tests/.expect/cast.txt (modified) * tests/.expect/castError.nast.txt (added) * tests/.expect/castError.oast.txt (added) * tests/.expect/castError.txt (deleted) * tests/.expect/completeTypeError.txt (deleted) * tests/.expect/const-init.txt (added) * tests/.expect/copyfile.txt (modified) * tests/.expect/declarationErrors.txt (deleted) * tests/.expect/declarationSpecifier.arm64.txt (added) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/enum.txt (modified) * tests/.expect/expression.txt (modified) * tests/.expect/extension.arm64.txt (added) * tests/.expect/forall.txt (modified) * tests/.expect/functions.nast.arm64.txt (added) * tests/.expect/functions.nast.x64.txt (added) * tests/.expect/functions.nast.x86.txt (added) * tests/.expect/functions.oast.arm64.txt (moved) * tests/.expect/functions.oast.x64.txt (added) * tests/.expect/functions.oast.x86.txt (moved) * tests/.expect/gccExtensions.arm64.txt (added) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/global-monomorph.txt (added) * tests/.expect/heap.txt (modified) * tests/.expect/identFuncDeclarator.txt (modified) * tests/.expect/identParamDeclarator.txt (modified) * tests/.expect/init1-ERROR.nast.txt (added) * tests/.expect/init1-ERROR.oast.txt (added) * tests/.expect/init1.txt (added) * tests/.expect/labelledExit.txt (modified) * tests/.expect/limits.txt (modified) * tests/.expect/malloc.txt (added) * tests/.expect/manipulatorsInput.arm64.txt (added) * tests/.expect/manipulatorsInput.x64.txt (added) * tests/.expect/manipulatorsInput.x86.txt (moved) * tests/.expect/manipulatorsOutput1.arm64.txt (added) * tests/.expect/manipulatorsOutput1.x64.txt (moved) * tests/.expect/manipulatorsOutput1.x86.txt (added) * tests/.expect/manipulatorsOutput2.arm64.txt (added) * tests/.expect/manipulatorsOutput3.arm64.txt (added) * tests/.expect/manipulatorsOutput3.x64.txt (added) * tests/.expect/math1.arm64.txt (added) * tests/.expect/math1.x64.txt (moved) * tests/.expect/math1.x86.txt (added) * tests/.expect/math2.arm64.txt (added) * tests/.expect/math2.x64.txt (moved) * tests/.expect/math2.x86.txt (added) * tests/.expect/math3.arm64.txt (added) * tests/.expect/math3.x64.txt (moved) * tests/.expect/math3.x86.txt (added) * tests/.expect/math4.arm64.txt (added) * tests/.expect/math4.txt (deleted) * tests/.expect/math4.x64.txt (added) * tests/.expect/math4.x86.txt (added) * tests/.expect/maybe.txt (modified) * tests/.expect/minmax.txt (modified) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/nested-types.txt (modified) * tests/.expect/numericConstants.txt (modified) * tests/.expect/operators.txt (modified) * tests/.expect/poly-d-cycle.txt (added) * tests/.expect/poly-o-cycle.txt (added) * tests/.expect/random.arm64.txt (added) * tests/.expect/random.x64.txt (moved) * tests/.expect/random.x86.txt (added) * tests/.expect/rational.txt (modified) * tests/.expect/result.txt (modified) * tests/.expect/scopeErrors.txt (deleted) * tests/.expect/stdincludes.txt (modified) * tests/.expect/switch.txt (modified) * tests/.expect/time.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/typedefRedef.txt (modified) * tests/.expect/typeof.txt (modified) * tests/.expect/userLiterals.txt (added) * tests/.expect/variableDeclarator.txt (modified) * tests/.expect/voidPtr.txt (modified) * tests/.in/copyfile.txt (modified) * tests/.in/manipulatorsInput.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (deleted) * tests/abort.cfa (deleted) * tests/alloc.cfa (modified) * tests/alloc2.cfa (added) * tests/array.cfa (modified) * tests/avltree/avl1.cfa (modified) * tests/bitmanip1.cfa (added) * tests/bitmanip2.cfa (added) * tests/bitmanip3.cfa (added) * tests/bugs/10.cfa (added) * tests/bugs/104.cfa (added) * tests/bugs/140.cfa (added) * tests/bugs/194.cfa (added) * tests/bugs/196.cfa (added) * tests/bugs/20.cfa (added) * tests/bugs/203-2.cfa (added) * tests/bugs/203-7.cfa (added) * tests/bugs/203-9.cfa (added) * tests/bugs/44.cfa (added) * tests/bugs/46.cfa (added) * tests/bugs/5.cfa (added) * tests/bugs/66.cfa (added) * tests/bugs/7.cfa (added) * tests/bugs/91.cfa (added) * tests/bugs/92.cfa (added) * tests/bugs/95.cfa (added) * tests/builtins/.expect/sync.txt (modified) * tests/builtins/sync.cfa (modified) * tests/cast.cfa (modified) * tests/castError.cfa (modified) * tests/collections/.expect/multi_list.txt (added) * tests/collections/.expect/queue.txt (added) * tests/collections/.expect/sequence.txt (added) * tests/collections/.expect/stack.txt (added) * tests/collections/multi_list.cfa (added) * tests/collections/queue.cfa (added) * tests/collections/sequence.cfa (added) * tests/collections/stack.cfa (added) * tests/complex.cfa (modified) * tests/concurrent/.expect/clib.txt (added) * tests/concurrent/.expect/cluster.txt (added) * tests/concurrent/.expect/join.txt (added) * tests/concurrent/.expect/joinerror.sed (added) * tests/concurrent/.expect/monitor.txt (modified) * tests/concurrent/.expect/suspend_then.txt (added) * tests/concurrent/clib.c (added) * tests/concurrent/cluster.cfa (added) * tests/concurrent/coroutineYield.cfa (modified) * tests/concurrent/examples/.expect/datingService.txt (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/futures/.expect/abandon.txt (added) * tests/concurrent/futures/.expect/basic.txt (added) * tests/concurrent/futures/.expect/multi.txt (added) * tests/concurrent/futures/.expect/typed.txt (added) * tests/concurrent/futures/abandon.cfa (added) * tests/concurrent/futures/basic.cfa (added) * tests/concurrent/futures/multi.cfa (added) * tests/concurrent/futures/typed.cfa (added) * tests/concurrent/join.cfa (added) * tests/concurrent/joinerror.cfa (added) * tests/concurrent/monitor.cfa (modified) * tests/concurrent/multi-monitor.cfa (modified) * tests/concurrent/park/.expect/contention.txt (added) * tests/concurrent/park/.expect/force_preempt.txt (added) * tests/concurrent/park/.expect/start_parked.txt (added) * tests/concurrent/park/contention.cfa (added) * tests/concurrent/park/force_preempt.cfa (added) * tests/concurrent/park/start_parked.cfa (added) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/signal/disjoint.cfa (modified) * tests/concurrent/suspend_then.cfa (moved) * tests/concurrent/waitfor/when.cfa (modified) * tests/config.py.in (modified) * tests/const-init.cfa (added) * tests/copyfile.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/raii.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (modified) * tests/enum.cfa (modified) * tests/errors/.expect/completeType.nast.arm64.txt (added) * tests/errors/.expect/completeType.nast.x64.txt (added) * tests/errors/.expect/completeType.nast.x86.txt (added) * tests/errors/.expect/completeType.oast.arm64.txt (added) * tests/errors/.expect/completeType.oast.x64.txt (added) * tests/errors/.expect/completeType.oast.x86.txt (added) * tests/errors/.expect/declaration.txt (added) * tests/errors/.expect/scope.txt (added) * tests/errors/.expect/signature.txt (added) * tests/errors/completeType.cfa (moved) * tests/errors/declaration.cfa (moved) * tests/errors/scope.cfa (moved) * tests/errors/signature.cfa (added) * tests/errors/suspend.cfa (added) * tests/exceptions/.expect/conditional-threads.txt (added) * tests/exceptions/.expect/conditional.txt (added) * tests/exceptions/.expect/data-except.txt (added) * tests/exceptions/.expect/defaults-threads.txt (added) * tests/exceptions/.expect/defaults.txt (added) * tests/exceptions/.expect/finally-threads.txt (added) * tests/exceptions/.expect/finally.txt (added) * tests/exceptions/.expect/interact.txt (added) * tests/exceptions/.expect/polymorphic.txt (added) * tests/exceptions/.expect/resume-threads.txt (added) * tests/exceptions/.expect/resume.txt (added) * tests/exceptions/.expect/terminate-threads.txt (added) * tests/exceptions/.expect/terminate.txt (added) * tests/exceptions/.expect/trash.txt (added) * tests/exceptions/.expect/type-check.txt (added) * tests/exceptions/.expect/virtual-cast.txt (added) * tests/exceptions/.expect/virtual-poly.txt (added) * tests/exceptions/cancel/.expect/coroutine.txt (added) * tests/exceptions/cancel/.expect/thread.txt (added) * tests/exceptions/cancel/coroutine.cfa (added) * tests/exceptions/cancel/thread.cfa (added) * tests/exceptions/conditional.cfa (added) * tests/exceptions/data-except.cfa (added) * tests/exceptions/defaults.cfa (added) * tests/exceptions/except-0.cfa (deleted) * tests/exceptions/except-1.cfa (deleted) * tests/exceptions/except-2.cfa (deleted) * tests/exceptions/except-3.cfa (deleted) * tests/exceptions/except-io.hfa (added) * tests/exceptions/except-mac.hfa (deleted) * tests/exceptions/finally.cfa (added) * tests/exceptions/interact.cfa (added) * tests/exceptions/polymorphic.cfa (added) * tests/exceptions/resume.cfa (added) * tests/exceptions/terminate.cfa (added) * tests/exceptions/trash.cfa (added) * tests/exceptions/type-check.cfa (added) * tests/exceptions/virtual-cast.cfa (moved) * tests/exceptions/virtual-poly.cfa (added) * tests/exceptions/with-threads.hfa (added) * tests/expression.cfa (modified) * tests/forall.cfa (modified) * tests/generator/.expect/fibonacci.txt (added) * tests/generator/.expect/fmtLines.txt (added) * tests/generator/.expect/suspend_then.txt (added) * tests/generator/.in/fmtLines.txt (added) * tests/generator/fibonacci.cfa (added) * tests/generator/fmtLines.cfa (added) * tests/generator/suspend_then.cfa (added) * tests/global-monomorph.cfa (added) * tests/heap.cfa (modified) * tests/identFuncDeclarator.cfa (modified) * tests/identParamDeclarator.cfa (modified) * tests/init1.cfa (added) * tests/io2.cfa (modified) * tests/labelledExit.cfa (modified) * tests/limits.cfa (modified) * tests/linking/.expect/exception-nothreads.txt (added) * tests/linking/.expect/exception-withthreads.txt (added) * tests/linking/.expect/nostdlib.txt (added) * tests/linking/exception-nothreads.cfa (added) * tests/linking/exception-withthreads.cfa (added) * tests/linking/nostdlib.cfa (added) * tests/linking/withthreads.cfa (modified) * tests/list/.expect/dlist-insert-remove.txt (added) * tests/list/dlist-insert-remove.cfa (added) * tests/literals.cfa (modified) * tests/malloc.cfa (added) * tests/manipulatorsInput.cfa (modified) * tests/manipulatorsOutput1.cfa (modified) * tests/manipulatorsOutput2.cfa (modified) * tests/manipulatorsOutput3.cfa (added) * tests/math4.cfa (modified) * tests/maybe.cfa (modified) * tests/meta/.expect/archVast.nast.arm64.txt (added) * tests/meta/.expect/archVast.nast.x64.txt (added) * tests/meta/.expect/archVast.nast.x86.txt (added) * tests/meta/.expect/archVast.oast.arm64.txt (added) * tests/meta/.expect/archVast.oast.x64.txt (added) * tests/meta/.expect/archVast.oast.x86.txt (added) * tests/meta/archVast.cfa (added) * tests/minmax.cfa (modified) * tests/nested-types.cfa (modified) * tests/numericConstants.cfa (modified) * tests/operators.cfa (modified) * tests/poly-d-cycle.cfa (added) * tests/poly-o-cycle.cfa (added) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (added) * tests/raii/.expect/ctor-autogen-ERR1.oast.txt (moved) * tests/raii/.expect/ctor-autogen.txt (modified) * tests/raii/.expect/init_once.txt (modified) * tests/raii/.expect/memberCtors-ERR1.nast.txt (added) * tests/raii/.expect/memberCtors-ERR1.oast.txt (moved) * tests/raii/ctor-autogen.cfa (modified) * tests/raii/init_once.cfa (modified) * tests/rational.cfa (modified) * tests/references.cfa (modified) * tests/resolutionErrors.cfa (added) * tests/result.cfa (modified) * tests/searchsort.cfa (modified) * tests/smart-pointers.cfa (added) * tests/stdincludes.cfa (modified) * tests/switch.cfa (modified) * tests/test.py (modified) * tests/time.cfa (modified) * tests/tuple/tupleAssign.cfa (modified) * tests/typedefRedef.cfa (modified) * tests/typeof.cfa (modified) * tests/unified_locking/.expect/locks.txt (added) * tests/unified_locking/locks.cfa (added) * tests/unified_locking/timeout_lock.cfa (added) * tests/unified_locking/timeout_lock.txt (added) * tests/userLiterals.cfa (modified) * tests/variableDeclarator.cfa (modified) * tests/vector.cfa (modified) * tests/voidPtr.cfa (modified) * tests/warnings/.expect/self-assignment.nast.txt (added) * tests/warnings/.expect/self-assignment.oast.txt (moved) * tests/warnings/self-assignment.cfa (modified) * tests/zombies/ArrayN.c (moved) * tests/zombies/Initialization.c (moved) * tests/zombies/Initialization2.c (moved) * tests/zombies/Makefile.example (moved) * tests/zombies/Members.c (moved) * tests/zombies/Misc.c (moved) * tests/zombies/MiscError.c (moved) * tests/zombies/Rank2.c (moved) * tests/zombies/Tuple.c (moved) * tests/zombies/abstype.c (moved) * tests/zombies/constructors.c (added) * tests/zombies/context.cfa (moved) * tests/zombies/forward.c (moved) * tests/zombies/gc_no_raii/.gitignore (moved) * tests/zombies/gc_no_raii/bug-repro/assert.c (moved) * tests/zombies/gc_no_raii/bug-repro/blockers.tar.gz (moved) * tests/zombies/gc_no_raii/bug-repro/blockers/explicit_cast.c (moved) * tests/zombies/gc_no_raii/bug-repro/blockers/file_scope.c (moved) * tests/zombies/gc_no_raii/bug-repro/blockers/recursive_realloc.c (moved) * tests/zombies/gc_no_raii/bug-repro/crash.c (moved) * tests/zombies/gc_no_raii/bug-repro/deref.c (moved) * tests/zombies/gc_no_raii/bug-repro/field.c (moved) * tests/zombies/gc_no_raii/bug-repro/find.c (moved) * tests/zombies/gc_no_raii/bug-repro/inline.c (moved) * tests/zombies/gc_no_raii/bug-repro/malloc.c (moved) * tests/zombies/gc_no_raii/bug-repro/not_equal.c (moved) * tests/zombies/gc_no_raii/bug-repro/oddtype.c (moved) * tests/zombies/gc_no_raii/bug-repro/push_back.c (moved) * tests/zombies/gc_no_raii/bug-repro/push_back.h (moved) * tests/zombies/gc_no_raii/bug-repro/realloc.c (moved) * tests/zombies/gc_no_raii/bug-repro/return.c (moved) * tests/zombies/gc_no_raii/bug-repro/return_template.c (moved) * tests/zombies/gc_no_raii/bug-repro/slow_malloc.c (moved) * tests/zombies/gc_no_raii/bug-repro/static_const_local.c (moved) * tests/zombies/gc_no_raii/bug-repro/test-assert.cpp (moved) * tests/zombies/gc_no_raii/bug-repro/void_pointer.c (moved) * tests/zombies/gc_no_raii/bug-repro/while.c (moved) * tests/zombies/gc_no_raii/bug-repro/zero.c (moved) * tests/zombies/gc_no_raii/pool-alloc/allocate-malign.c (moved) * tests/zombies/gc_no_raii/pool-alloc/allocate-malloc.c (moved) * tests/zombies/gc_no_raii/pool-alloc/allocate-mmap.c (moved) * tests/zombies/gc_no_raii/pool-alloc/allocate-win-valloc.c (moved) * tests/zombies/gc_no_raii/premake4.lua (moved) * tests/zombies/gc_no_raii/src/allocate-pool.c (moved) * tests/zombies/gc_no_raii/src/allocate-pool.h (moved) * tests/zombies/gc_no_raii/src/gc.h (moved) * tests/zombies/gc_no_raii/src/gcpointers.c (moved) * tests/zombies/gc_no_raii/src/gcpointers.h (moved) * tests/zombies/gc_no_raii/src/internal/card_table.h (moved) * tests/zombies/gc_no_raii/src/internal/collector.c (moved) * tests/zombies/gc_no_raii/src/internal/collector.h (moved) * tests/zombies/gc_no_raii/src/internal/gc_tools.h (moved) * tests/zombies/gc_no_raii/src/internal/globals.h (moved) * tests/zombies/gc_no_raii/src/internal/memory_pool.c (moved) * tests/zombies/gc_no_raii/src/internal/memory_pool.h (moved) * tests/zombies/gc_no_raii/src/internal/object_header.c (moved) * tests/zombies/gc_no_raii/src/internal/object_header.h (moved) * tests/zombies/gc_no_raii/src/internal/state.c (moved) * tests/zombies/gc_no_raii/src/internal/state.h (moved) * tests/zombies/gc_no_raii/src/test_include.c (moved) * tests/zombies/gc_no_raii/src/tools.h (moved) * tests/zombies/gc_no_raii/src/tools/checks.h (moved) * tests/zombies/gc_no_raii/src/tools/print.c (moved) * tests/zombies/gc_no_raii/src/tools/print.h (moved) * tests/zombies/gc_no_raii/src/tools/worklist.h (moved) * tests/zombies/gc_no_raii/test/badlll.c (moved) * tests/zombies/gc_no_raii/test/gctest.c (moved) * tests/zombies/gc_no_raii/test/operators.c (moved) * tests/zombies/hashtable.cfa (added) * tests/zombies/hashtable2.cfa (added) * tests/zombies/huge.c (moved) * tests/zombies/includes.c (moved) * tests/zombies/index.h (moved) * tests/zombies/io_uring.txt (added) * tests/zombies/it_out.c (moved) * tests/zombies/multicore.c (moved) * tests/zombies/namedParmArg.cfa (moved) * tests/zombies/new.c (moved) * tests/zombies/occursError.cfa (moved) * tests/zombies/poly-bench.c (moved) * tests/zombies/prolog.c (moved) * tests/zombies/quad.c (moved) * tests/zombies/s.c (moved) * tests/zombies/scope.cfa (moved) * tests/zombies/simplePoly.c (moved) * tests/zombies/simpler.c (moved) * tests/zombies/specialize.c (moved) * tests/zombies/square.c (moved) * tests/zombies/structMember.cfa (moved) * tests/zombies/subrange.cfa (moved) * tests/zombies/twice.c (moved) * tests/zombies/typeGenerator.cfa (moved) * tests/zombies/typedef.cfa (moved) * tests/zombies/typedefDeclarator.cfa (moved) * tests/zombies/withStatement.cfa (moved) * tests/zombies/wrapper/.gitignore (moved) * tests/zombies/wrapper/premake4.lua (moved) * tests/zombies/wrapper/src/main.c (moved) * tests/zombies/wrapper/src/pointer.h (moved) * tests/zombies/zero_one.c (moved) * tools/Makefile.am (modified) * tools/Makefile.in (deleted) * tools/auto-complete.md (added) * tools/build/cfa.m4 (moved) * tools/build/cfa.make (moved) * tools/build/push2dist.sh (modified) * tools/busy (deleted) * tools/cfa.nanorc (modified) * tools/error (deleted) * tools/gdb/.gdbinit (added) * tools/gdb/README (added) * tools/gdb/utils-gdb.gdb (added) * tools/gdb/utils-gdb.py (added) * tools/langserver/src/json.hpp (added) * tools/langserver/src/log.cpp (added) * tools/langserver/src/log.hpp (added) * tools/langserver/src/main.cpp (added) * tools/langserver/src/server.cpp (added) * tools/langserver/src/server.hpp (added) * tools/perf/process_halts.sh (added) * tools/perf/view_halts.py (added) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (deleted) * tools/stat.py (modified) * tools/vscode/uwaterloo.cforall-0.1.0/.gitignore (added) * tools/vscode/uwaterloo.cforall-0.1.0/client/main.js (added) * tools/vscode/uwaterloo.cforall-0.1.0/images/icon.png (added) * tools/vscode/uwaterloo.cforall-0.1.0/package.json (modified) * tools/vscode/uwaterloo.cforall-0.1.0/server/out/server (added) * tools/vscode/uwaterloo.cforall-0.1.0/syntaxes/cfa.tmLanguage.json (added) * tools/watchdog (deleted) Merge branch 'master' into dkobets-vector Thu, 31 Dec 2020 22:29:16 GMT Fangren Yu [1958fec] * src/ResolvExpr/SatisfyAssertions.cpp (modified) increase recursive assertion depth limit Thu, 31 Dec 2020 21:17:19 GMT Fangren Yu [7583c02] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) partially improve #226: resolver environment size reduced to O(n) ... Wed, 23 Dec 2020 21:45:08 GMT Fangren Yu [0536c03] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ResolvMode.h (modified) remove unnecessary prune Tue, 22 Dec 2020 20:16:47 GMT Fangren Yu [302ef2a] * src/AST/Node.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) smart pointer memory safety Wed, 16 Dec 2020 21:05:49 GMT Fangren Yu [b107885] * src/ResolvExpr/Resolver.cc (modified) remove warning message Wed, 16 Dec 2020 21:03:50 GMT Fangren Yu [8ba363e] * src/ResolvExpr/Resolver.cc (modified) * tests/.expect/KRfunctions.nast.x86.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/functions.nast.x86.txt (modified) fix size type on 32 bit build Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu [3e5dd913] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/ForallSubstitutionTable.cpp (deleted) * src/AST/ForallSubstitutionTable.hpp (deleted) * src/AST/ForallSubstitutor.hpp (deleted) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (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/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/errors/.expect/completeType.nast.x86.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified) reimplement function type and eliminate deep copy Sat, 12 Dec 2020 06:50:30 GMT Fangren Yu [2dda05d] * src/ResolvExpr/Resolver.cc (modified) recursively visit inferred Sat, 12 Dec 2020 04:30:04 GMT Fangren Yu [5b9a0ae] * src/ResolvExpr/SatisfyAssertions.cpp (modified) attempt to correct deleted declaration and assertion Sat, 12 Dec 2020 04:20:45 GMT Fangren Yu [361bf01] * src/AST/Convert.cpp (modified) * src/AST/ForallSubstitutor.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/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/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) remove ParameterizedType and put content into FunctionType Thu, 03 Dec 2020 18:53:17 GMT Thierry Delisle [3233b91] * src/ResolvExpr/AlternativeFinder.cc (modified) * tests/.expect/castError.oast.txt (modified) * tests/meta/.expect/archVast.oast.x64.txt (modified) Fix left erros in old AST Thu, 03 Dec 2020 18:41:11 GMT Thierry Delisle [2595df1] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.cpp (modified) * tests/.expect/castError.nast.txt (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/meta/.expect/archVast.nast.x64.txt (modified) Now using string print to sort alternatives Thu, 03 Dec 2020 16:30:33 GMT Thierry Delisle [1db306a] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * tests/meta/.expect/archVast.nast.x64.txt (modified) * tests/meta/.expect/archVast.nast.x86.txt (modified) * tests/meta/.expect/archVast.oast.x64.txt (modified) * tests/meta/.expect/archVast.oast.x86.txt (modified) First attempt to sort alternatives before printing. Thu, 03 Dec 2020 15:44:40 GMT Thierry Delisle [cd6a6ff] * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * tests/.expect/alloc-ERROR.nast.txt (modified) * tests/.expect/alloc-ERROR.oast.txt (modified) * tests/.expect/init1-ERROR.nast.txt (modified) * tests/.expect/init1-ERROR.oast.txt (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/errors/.expect/completeType.oast.x64.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.oast.txt (modified) * tests/warnings/.expect/self-assignment.nast.txt (modified) * tests/warnings/.expect/self-assignment.oast.txt (modified) Improved coverage of deterministic_output to be much finer grain. Tue, 01 Dec 2020 20:39:24 GMT Andrew Beach [4a8f150] * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) A quick-fix to get the self-assignment bug working and some clean-up ... Fri, 27 Nov 2020 00:31:23 GMT Fangren Yu [e3282fe] * src/ResolvExpr/CandidateFinder.cpp (modified) optimize out some mangle calls Thu, 26 Nov 2020 23:52:32 GMT Fangren Yu [88a0ff6] * benchmark/readyQ/cycle.go (modified) * doc/theses/andrew_beach_MMath/Makefile (modified) * doc/theses/andrew_beach_MMath/cfalab.sty (modified) * doc/theses/andrew_beach_MMath/existing.tex (added) * doc/theses/andrew_beach_MMath/thesis.tex (modified) * libcfa/src/bits/collection.hfa (added) * libcfa/src/bits/queue.hfa (added) * libcfa/src/bits/queue_example.cfa (added) * libcfa/src/bits/sequence.hfa (added) * libcfa/src/bits/sequence_example.cfa (added) * libcfa/src/bits/stack.hfa (added) * libcfa/src/bits/stack_example.cfa (added) * src/AST/Decl.hpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/Mangler.cc (modified) * tools/busy (deleted) * tools/error (deleted) * tools/watchdog (deleted) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 26 Nov 2020 23:52:03 GMT Fangren Yu [1389810] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) consolidate prune and satisfy assertion Wed, 25 Nov 2020 15:04:05 GMT Andrew Beach [0292aa4] * src/AST/Decl.hpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) Fixed some formating/cleanlyness mistakes. Wed, 25 Nov 2020 08:14:30 GMT Fangren Yu [4702a2c] * benchmark/plot.py (added) * libcfa/src/concurrency/kernel.cfa (modified) * src/AST/Expr.hpp (modified) * src/InitTweak/FixInit.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.h (modified) * tests/.expect/KRfunctions.nast.x64.txt (added) * tests/.expect/KRfunctions.oast.x64.txt (moved) * tests/.expect/alloc-ERROR.nast.txt (added) * tests/.expect/alloc-ERROR.oast.txt (moved) * tests/.expect/attributes.nast.x64.txt (added) * tests/.expect/attributes.oast.x64.txt (moved) * tests/.expect/functions.nast.x64.txt (added) * tests/.expect/functions.oast.x64.txt (moved) * tests/.expect/init1-ERROR.nast.txt (added) * tests/.expect/init1-ERROR.oast.txt (moved) * tests/errors/.expect/completeType.nast.x64.txt (added) * tests/errors/.expect/completeType.oast.x64.txt (moved) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (added) * tests/raii/.expect/ctor-autogen-ERR1.oast.txt (moved) * tests/raii/.expect/memberCtors-ERR1.nast.txt (added) * tests/raii/.expect/memberCtors-ERR1.oast.txt (moved) * tests/warnings/.expect/self-assignment.nast.txt (added) * tests/warnings/.expect/self-assignment.oast.txt (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc