# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Nov 20, 2024, 2:27:55 AM 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 Wed, 25 Nov 2020 08:12:17 GMT Fangren Yu [e5c3811] * src/AST/Decl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) create dedicated symbol tables for big 3 operators note: arbitrary ... Tue, 24 Nov 2020 22:48:06 GMT Michael Brooks [bb87dd0] * src/AST/Expr.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * tests/.expect/init1-ERROR.nast.txt (modified) Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, ... Mon, 23 Nov 2020 21:06:59 GMT Thierry Delisle [b2e0df3] * src/InitTweak/FixInit.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/Resolver.h (modified) More fix of warnings with the MS C++ abi Tue, 10 Nov 2020 21:03:44 GMT Fangren Yu [e00c22f] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) someone liked snake_case Tue, 10 Nov 2020 17:37:08 GMT Fangren Yu [cdacb73] * src/ResolvExpr/SatisfyAssertions.cpp (modified) remove missing assertion console print Tue, 10 Nov 2020 08:14:14 GMT Fangren Yu [0dd9a5e] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) delay autogen resolve Tue, 10 Nov 2020 05:20:37 GMT Fangren Yu [16ba4a6f] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Type.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) factor out resolver calls in pre-resolution stage Tue, 03 Nov 2020 21:06:20 GMT Andrew Beach [293dc1c] * src/AST/Convert.cpp (modified) * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) TranslationUnit is now used at the top-level of the new-ast passes. Sat, 24 Oct 2020 01:06:16 GMT Fangren Yu [490fb92e] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/Common/utility.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (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/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/main.cc (modified) move FixInit to new ast Wed, 07 Oct 2020 21:10:14 GMT Fangren Yu [2fb35df] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) exclude deleted declarations for assertion matching Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu [954c954] * doc/proposals/function_type_change.md (added) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/ForallSubstitutor.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) Move function argument and return variable declarations from ... Thu, 17 Sep 2020 17:43:09 GMT Thierry Delisle [57e0289] * src/Common/Stats/ResolveTime.cc (added) * src/Common/Stats/ResolveTime.h (added) * src/Common/Stats/Stats.cc (modified) * src/Common/module.mk (modified) * src/ResolvExpr/Resolver.cc (modified) Added stats option to print stats per expression in new-ast resolution Thu, 10 Sep 2020 15:26:58 GMT Andrew Beach [98e8b3b] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Node.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) ast::ReferenceToType is now ast::BaseInstType. Thu, 10 Sep 2020 14:33:51 GMT Andrew Beach [b9fa85b] * src/AST/Pass.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Should fix both trac #173 by porting the catch scoping hack to the ... Wed, 09 Sep 2020 15:33:01 GMT Andrew Beach [e6b42e7] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Resolver.cc (modified) Added the ast::Pass::read utility. Converted two passes to use its ... Thu, 03 Sep 2020 15:10:35 GMT Andrew Beach [73f1b1c] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/Unify.cc (modified) Cleaned up comments from the PureVisitor addition. Mon, 31 Aug 2020 22:55:22 GMT Fangren Yu [d3aa64f1] * src/AST/Copy.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/Unify.cc (modified) pure visitor interface for new ast Mon, 31 Aug 2020 17:54:40 GMT Thierry Delisle [4ef08f7] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Implemented KeywordCast in CandidateFinder of new AST. Tue, 25 Aug 2020 15:58:21 GMT Thierry Delisle [5339a87] * src/AST/module.mk (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/module.mk (modified) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/module.mk (modified) Added headers to Makefile Sources (since they are supposed to be) Tue, 18 Aug 2020 20:26:19 GMT Fangren Yu [ef9988b] * src/AST/Convert.cpp (modified) * src/AST/Print.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) fix lost typeinst in resolved assertions Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach [7ff3e522] * src/AST/Copy.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Eval.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Tuples.cc (modified) {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about ... Tue, 11 Aug 2020 21:07:56 GMT Thierry Delisle [0d070ca] * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) disabled new heaptrace feature Tue, 11 Aug 2020 20:40:15 GMT Thierry Delisle [22f94a4] * .gitignore (modified) * Jenkinsfile_disabled (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/Makefile.am (modified) * benchmark/Makefile.in (deleted) * benchmark/benchcltr.hfa (added) * benchmark/creation/node_cor.js (modified) * benchmark/creation/rust_tokio_thrd.rs (added) * 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/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.cfa (modified) * benchmark/readyQ/yield.cfa (added) * benchmark/readyQ/yield.cpp (added) * configure (deleted) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (modified) * doc/papers/concurrency/mail2 (modified) * doc/papers/concurrency/response2 (added) * doc/proposals/vtable.md (modified) * doc/theses/thierry_delisle_PhD/code/bitbench/select.cpp (added) * doc/theses/thierry_delisle_PhD/code/links.hpp (added) * doc/theses/thierry_delisle_PhD/code/process.sh (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/runperf.sh (added) * doc/theses/thierry_delisle_PhD/code/snzi-packed.hpp (added) * doc/theses/thierry_delisle_PhD/code/snzi.hpp (added) * doc/theses/thierry_delisle_PhD/code/snzm.hpp (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) * doc/theses/thierry_delisle_PhD/code/work_stealing.hpp (added) * driver/Makefile.in (deleted) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/hashtable.cfa (added) * examples/hashtable2.cfa (added) * examples/io/cat.c (moved) * examples/io/filereader.c (modified) * examples/io/simple/server.c (modified) * examples/io/simple/server_epoll.c (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/builtins.c (modified) * libcfa/prelude/defines.hfa.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (deleted) * libcfa/src/bitmanip.hfa (modified) * 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/random.hfa (added) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (added) * libcfa/src/concurrency/io/types.hfa (added) * libcfa/src/concurrency/iocall.cfa (added) * libcfa/src/concurrency/iofwd.hfa (modified) * 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/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (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 (modified) * 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 (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/heap.hfa (added) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/memory.cfa (added) * libcfa/src/memory.hfa (added) * libcfa/src/parseargs.cfa (added) * libcfa/src/parseargs.hfa (added) * libcfa/src/stdhdr/assert.h (modified) * libcfa/src/stdhdr/malloc.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/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * longrun_tests/Makefile.am (modified) * longrun_tests/Makefile.in (deleted) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/Makefile.in (deleted) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/SynTree/Expression.h (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip3.x64.txt (modified) * tests/.expect/bitmanip3.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/copyfile.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/global-monomorph.txt (added) * tests/.expect/init1.txt (added) * tests/.expect/manipulatorsInput.x64.txt (added) * tests/.expect/manipulatorsInput.x86.txt (moved) * tests/.expect/manipulatorsOutput3.x64.txt (added) * tests/.expect/poly-cycle.txt (added) * tests/.expect/smart-pointers.txt (added) * tests/.expect/time.txt (modified) * tests/.in/copyfile.txt (modified) * tests/.in/manipulatorsInput.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (deleted) * tests/avltree/avl1.cfa (modified) * tests/bitmanip3.cfa (modified) * tests/bugs/10.cfa (added) * tests/bugs/104.cfa (added) * tests/bugs/140.cfa (added) * tests/bugs/194.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/castError.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/park/.expect/start_parked.txt (added) * tests/concurrent/park/start_parked.cfa (added) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/signal/disjoint.cfa (modified) * tests/concurrent/waitfor/when.cfa (modified) * tests/copyfile.cfa (modified) * tests/errors/.expect/completeType.x64.txt (moved) * tests/errors/.expect/completeType.x86.txt (added) * tests/exceptions/.expect/defaults.txt (added) * tests/exceptions/.expect/polymorphic.txt (added) * tests/exceptions/.expect/resume.txt (modified) * tests/exceptions/.expect/terminate.txt (modified) * tests/exceptions/.expect/type-check.txt (added) * tests/exceptions/.expect/virtual-cast.txt (added) * tests/exceptions/.expect/virtual-poly.txt (added) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/data-except.cfa (modified) * tests/exceptions/defaults.cfa (added) * tests/exceptions/finally.cfa (modified) * tests/exceptions/interact.cfa (modified) * tests/exceptions/polymorphic.cfa (added) * tests/exceptions/resume.cfa (modified) * tests/exceptions/terminate.cfa (modified) * tests/exceptions/type-check.cfa (added) * tests/exceptions/virtual-cast.cfa (moved) * tests/exceptions/virtual-poly.cfa (added) * tests/global-monomorph.cfa (added) * tests/heap.cfa (modified) * tests/init1.cfa (added) * tests/io2.cfa (modified) * tests/list/.expect/dlist-insert-remove.txt (modified) * tests/list/dlist-insert-remove.cfa (modified) * tests/manipulatorsInput.cfa (modified) * tests/manipulatorsOutput3.cfa (modified) * tests/poly-cycle.cfa (added) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/searchsort.cfa (modified) * tests/smart-pointers.cfa (added) * tests/test.py (modified) * tests/time.cfa (modified) * tools/Makefile.in (deleted) * tools/build/cfa.m4 (moved) * tools/build/cfa.make (moved) * tools/build/push2dist.sh (modified) * tools/gdb/utils-gdb.py (modified) * tools/perf/process_halts.sh (added) * tools/perf/view_halts.py (added) * tools/prettyprinter/Makefile.in (deleted) Merge branch 'master' into new-ast Mon, 10 Aug 2020 23:45:18 GMT Fangren Yu [07d867b] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/SynTree/ApplicationExpr.cc (modified) attempt to fix inferparams Wed, 05 Aug 2020 17:27:32 GMT Andrew Beach [a86b2ca6] * src/AST/Pass.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) Added Pass<...>::run which allows a pass to be constructed and run in ... Thu, 30 Jul 2020 03:29:01 GMT Michael Brooks [b81fd95] * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/stdlib.hfa (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.h (modified) * tests/.expect/init1.txt (added) * tests/avltree/avl1.cfa (modified) * tests/bugs/66.cfa (modified) * tests/concurrent/signal/block.cfa (modified) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/defaults.cfa (modified) * tests/init1.cfa (added) * tests/io2.cfa (modified) * tests/searchsort.cfa (modified) Fix bug where pointer and reference types allow unsound ... Wed, 29 Jul 2020 21:12:28 GMT Andrew Beach [1d17939] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * tests/.expect/castError.txt (modified) * tests/castError.cfa (modified) Implemented the recomented fix for #204, added at test that would ... Tue, 28 Jul 2020 18:38:39 GMT Fangren Yu [eb1be63] * src/ResolvExpr/ConversionCost.cc (modified) conversion cost pass should not consider structs again after types ... Tue, 28 Jul 2020 18:37:36 GMT Fangren Yu [c408483] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/Explode.cc (modified) cleanup Fri, 03 Jul 2020 20:50:21 GMT Fangren Yu [c15085d] * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) tracing memory allocation of resolver passes Thu, 25 Jun 2020 21:00:18 GMT Fangren Yu [81da70a5] * src/AST/Convert.cpp (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) actually fill inferred params and disable a check Thu, 18 Jun 2020 20:57:23 GMT Fangren Yu [1cf2a9b] * src/ResolvExpr/Resolver.cc (modified) Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into ... Thu, 18 Jun 2020 20:56:20 GMT Fangren Yu [c7f834e] * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/Unify.cc (modified) fix destructed return value in TypeSubstitution Wed, 17 Jun 2020 21:32:02 GMT Andrew Beach [e068c8a] * src/ResolvExpr/Resolver.cc (modified) Since my base solution introduced a lot of the mess, I decided to ... Wed, 17 Jun 2020 21:02:14 GMT Fangren Yu [73973b6] * src/ResolvExpr/Resolver.cc (modified) manually call mutate on functiondecl Fri, 08 May 2020 20:44:53 GMT Thierry Delisle [bcd74f3] * benchmark/io/readv.cfa (added) * doc/bibliography/pl.bib (modified) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (modified) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_PAB.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (modified) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) * driver/cfa.cc (modified) * examples/io/simple/server.cfa (added) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/defines.hfa.in (added) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bitmanip.hfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/asyncio.hfa (added) * libcfa/src/concurrency/io.cfa (added) * libcfa/src/concurrency/iofwd.hfa (added) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/list.hfa (added) * libcfa/src/exception.c (modified) * libcfa/src/exception.hfa (added) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/main.cc (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip.x64.txt (deleted) * tests/.expect/bitmanip.x86.txt (deleted) * tests/.expect/bitmanip1.x64.txt (added) * tests/.expect/bitmanip1.x86.txt (added) * tests/.expect/bitmanip2.x64.txt (added) * tests/.expect/bitmanip2.x86.txt (added) * tests/.expect/bitmanip3.x64.txt (added) * tests/.expect/bitmanip3.x86.txt (added) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/alloc.cfa (modified) * tests/bitmanip.cfa (deleted) * tests/bitmanip1.cfa (added) * tests/bitmanip2.cfa (added) * tests/bitmanip3.cfa (added) * tests/concurrent/.expect/monitor.txt (modified) * tests/concurrent/monitor.cfa (modified) * tests/errors/.expect/completeType.txt (modified) * tests/exceptions/.expect/data-except.txt (added) * tests/exceptions/.expect/interact.txt (modified) * tests/exceptions/.expect/resume.txt (modified) * tests/exceptions/.expect/terminate.txt (modified) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/data-except.cfa (added) * tests/exceptions/except-mac.hfa (deleted) * tests/exceptions/finally.cfa (modified) * tests/exceptions/interact.cfa (modified) * tests/exceptions/resume.cfa (modified) * tests/exceptions/terminate.cfa (modified) * tests/list/.expect/dlist-insert-remove.txt (added) * tests/list/dlist-insert-remove.cfa (added) * tests/manipulatorsOutput1.cfa (modified) * tests/manipulatorsOutput3.cfa (added) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/test.py (modified) * tests/vector.cfa (modified) * tools/build/push2dist.sh (modified) * tools/gdb/utils-gdb.py (modified) Merge branch 'master' into new-ast Thu, 16 Apr 2020 17:25:53 GMT Thierry Delisle [7215000] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/main.cc (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/errors/.expect/completeType.txt (modified) Added flag to disable non-deteministic parts of the output when testing Mon, 06 Apr 2020 20:46:28 GMT Thierry Delisle [7030dab] * Jenkinsfile_disabled (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/x64/schedint.csv (moved) * benchmark/baselines/x86/schedint.csv (moved) * benchmark/basic/fetch_add.c (added) * benchmark/basic/function.c (added) * benchmark/basic/loop.c (added) * benchmark/basic/tls_fetch_add.c (moved) * benchmark/basic/ttst_lock.c (moved) * benchmark/bench.h (modified) * benchmark/creation/JavaThread.java (modified) * benchmark/creation/cfa_cor.cfa (modified) * benchmark/creation/cfa_gen.cfa (added) * benchmark/creation/cfa_thrd.cfa (modified) * benchmark/creation/goroutine.go (modified) * benchmark/creation/node_cor.js (added) * benchmark/creation/pthreads.c (modified) * benchmark/creation/python_cor.py (added) * benchmark/creation/rust_thrd.rs (added) * benchmark/creation/upp_cor.cc (modified) * benchmark/creation/upp_thrd.cc (modified) * benchmark/ctxswitch/JavaThread.java (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * benchmark/ctxswitch/cfa_thrd.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/ctxswitch/goroutine.go (modified) * benchmark/ctxswitch/kos_fibre.cpp (modified) * benchmark/ctxswitch/kos_fibre2.cpp (modified) * benchmark/ctxswitch/node_await.js (added) * benchmark/ctxswitch/node_cor.js (added) * benchmark/ctxswitch/pthreads.c (modified) * benchmark/ctxswitch/python_cor.py (added) * benchmark/ctxswitch/rust_thrd.rs (added) * benchmark/ctxswitch/upp_cor.cc (modified) * benchmark/ctxswitch/upp_thrd.cc (modified) * benchmark/exclude (added) * benchmark/fetch_add.c (deleted) * benchmark/function.c (deleted) * benchmark/loop.c (deleted) * benchmark/mutex/JavaThread.java (modified) * benchmark/mutex/cfa1.cfa (modified) * benchmark/mutex/cfa2.cfa (modified) * benchmark/mutex/cfa4.cfa (modified) * benchmark/mutex/goroutine.go (added) * benchmark/mutex/pthreads.c (modified) * benchmark/mutex/rust.rs (added) * benchmark/mutex/upp.cc (modified) * benchmark/mutexC/JavaThread.java (added) * benchmark/mutexC/cfa1.cfa (added) * benchmark/mutexC/cfa2.cfa (added) * benchmark/mutexC/cfa4.cfa (added) * benchmark/mutexC/pthreads.c (added) * benchmark/mutexC/rust.rs (added) * benchmark/mutexC/upp.cc (added) * benchmark/schedext/cfa1.cfa (modified) * benchmark/schedext/cfa2.cfa (modified) * benchmark/schedext/cfa4.cfa (modified) * benchmark/schedext/goroutine.go (added) * benchmark/schedext/upp.cc (modified) * benchmark/schedint/JavaThread.java (modified) * benchmark/schedint/cfa1.cfa (modified) * benchmark/schedint/cfa2.cfa (modified) * benchmark/schedint/cfa4.cfa (modified) * benchmark/schedint/pthreads.c (modified) * benchmark/schedint/rust.rs (added) * benchmark/schedint/upp.cc (modified) * benchmark/size/size.cfa (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (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/mail2 (modified) * doc/papers/concurrency/response (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/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/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/thierry_delisle_PhD/.gitignore (added) * doc/theses/thierry_delisle_PhD/code/Makefile (added) * doc/theses/thierry_delisle_PhD/code/bts.cpp (added) * doc/theses/thierry_delisle_PhD/code/bts_test.cpp (added) * doc/theses/thierry_delisle_PhD/code/randbit.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list_layout.cpp (added) * doc/theses/thierry_delisle_PhD/code/scale.sh (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) * 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_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/user/user.tex (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/io/filereader.c (added) * examples/io/simple/client.c (added) * examples/io/simple/server.c (added) * examples/io_uring.c (added) * examples/io_uring.txt (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/extras.regx2 (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/assert.cfa (modified) * libcfa/src/bitmanip.hfa (added) * libcfa/src/bits/align.hfa (modified) * 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/signal.hfa (modified) * libcfa/src/clock.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (modified) * 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/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.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/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/math.hfa (modified) * 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/ucontext.h (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.in (modified) * src/AST/Convert.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/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/Visitor.hpp (modified) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (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/DeclStats.cc (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/Debug.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/Stats/Time.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (deleted) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (added) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip.x64.txt (added) * tests/.expect/bitmanip.x86.txt (added) * tests/.expect/declarationErrors.txt (deleted) * tests/.expect/loopctrl.txt (modified) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/rational.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/scopeErrors.txt (deleted) * tests/.expect/time.txt (modified) * tests/.expect/userLiterals.txt (added) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abort.cfa (deleted) * tests/alloc.cfa (modified) * tests/bitmanip.cfa (added) * tests/builtins/sync.cfa (modified) * tests/concurrent/.expect/keywordErrors.txt (added) * tests/concurrent/.expect/suspend_then.txt (added) * tests/concurrent/coroutineYield.cfa (modified) * tests/concurrent/examples/.expect/datingService.txt (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/keywordErrors.cfa (added) * tests/concurrent/multi-monitor.cfa (modified) * tests/concurrent/park/.expect/contention.txt (added) * tests/concurrent/park/.expect/force_preempt.txt (added) * tests/concurrent/park/contention.cfa (added) * tests/concurrent/park/force_preempt.cfa (added) * tests/concurrent/preempt.cfa (modified) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/signal/wait.cfa (modified) * tests/concurrent/suspend_then.cfa (moved) * tests/concurrent/thread.cfa (modified) * tests/concurrent/waitfor/barge.cfa (modified) * tests/concurrent/waitfor/dtor.cfa (modified) * tests/concurrent/waitfor/else.cfa (modified) * tests/concurrent/waitfor/parse.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/concurrent/waitfor/recurse.cfa (modified) * tests/concurrent/waitfor/statment.cfa (modified) * tests/concurrent/waitfor/when.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/errors/.expect/completeType.txt (moved) * 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/except-0.cfa (deleted) * tests/except-1.cfa (deleted) * tests/except-2.cfa (deleted) * tests/except-3.cfa (deleted) * tests/exceptions/.expect/conditional.txt (added) * tests/exceptions/.expect/finally-error.txt (added) * tests/exceptions/.expect/finally.txt (added) * tests/exceptions/.expect/interact.txt (added) * tests/exceptions/.expect/resume.txt (added) * tests/exceptions/.expect/terminate.txt (added) * tests/exceptions/conditional.cfa (added) * tests/exceptions/except-io.hfa (added) * tests/exceptions/except-mac.hfa (moved) * tests/exceptions/finally-error.cfa (added) * tests/exceptions/finally.cfa (added) * tests/exceptions/interact.cfa (added) * tests/exceptions/resume.cfa (added) * tests/exceptions/terminate.cfa (added) * tests/expression.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/heap.cfa (modified) * tests/labelledExit.cfa (modified) * tests/linking/.expect/nostdlib.txt (added) * tests/linking/nostdlib.cfa (added) * tests/linking/withthreads.cfa (modified) * tests/loopctrl.cfa (modified) * tests/nested-types.cfa (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (modified) * tests/raii/dtor-early-exit.cfa (modified) * tests/rational.cfa (modified) * tests/references.cfa (modified) * tests/test.py (modified) * tests/time.cfa (modified) * tests/userLiterals.cfa (modified) * tests/zombies/context.cfa (moved) * tests/zombies/namedParmArg.cfa (moved) * tests/zombies/occursError.cfa (moved) * tests/zombies/scope.cfa (moved) * tests/zombies/structMember.cfa (moved) * tests/zombies/subrange.cfa (moved) * tests/zombies/typeGenerator.cfa (moved) * tests/zombies/typedef.cfa (moved) * tests/zombies/typedefDeclarator.cfa (moved) * tests/zombies/virtualCast.cfa (moved) * tests/zombies/withStatement.cfa (moved) * tools/auto-complete.md (added) * tools/catchsig.c (modified) * tools/cfa.nanorc (modified) * tools/gdb/.gdbinit (added) * tools/gdb/README (added) * tools/gdb/utils-gdb.gdb (added) * tools/gdb/utils-gdb.py (added) * tools/langserver/cfa-ls (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/stat.py (modified) * 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) Merge branch 'master' into new-ast Mon, 30 Mar 2020 15:36:54 GMT Andrew Beach [3090127] * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/exceptions/except-mac.hfa (modified) Naming updates, most are to get exception names to the new ... Mon, 24 Feb 2020 19:21:03 GMT Thierry Delisle [ac2b598] * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.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/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) Changed descriptors for concurrency to use $ prefix instead of ... Tue, 18 Feb 2020 17:10:08 GMT Andrew Beach [3b9c674] * libcfa/src/exception.c (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/exceptions/.expect/except-0.txt (added) * tests/exceptions/.expect/except-1.txt (added) * tests/exceptions/.expect/except-2.txt (added) * tests/exceptions/.expect/except-3.txt (added) * tests/exceptions/except-0.cfa (modified) * tests/exceptions/except-2.cfa (modified) Expections now supported in position independent code. Sun, 29 Dec 2019 21:27:09 GMT Dmitry Kobets [596fc4ad] * libcfa/src/bits/signal.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (deleted) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (added) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) * tests/.expect/completeTypeError.txt (modified) * tools/catchsig.c (modified) Merge branch 'master' into vector-generic Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr [07de76b] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (moved) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * tests/.expect/completeTypeError.txt (modified) remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move ... Thu, 12 Dec 2019 15:04:15 GMT Dmitry Kobets [2fa5bd2] * Jenkinsfile (modified) * automake/missing (modified) * benchmark/Makefile.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/assert.cfa (modified) * libcfa/src/bits/align.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.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/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * longrun_tests/Makefile.in (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/references.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/alloc.cfa (modified) * tests/builtins/sync.cfa (modified) * tests/concurrent/.expect/keywordErrors.txt (added) * tests/concurrent/keywordErrors.cfa (added) * tests/concurrent/preempt.cfa (modified) * tests/concurrent/signal/wait.cfa (modified) * tests/concurrent/thread.cfa (modified) * tests/heap.cfa (modified) * tests/linking/withthreads.cfa (modified) * tests/raii/dtor-early-exit.cfa (modified) * tests/references.cfa (modified) * tests/test.py (modified) * tests/time.cfa (modified) Merge branch 'master' into vector-generic Thu, 12 Dec 2019 15:04:08 GMT Dmitry Kobets [aca6a54c] * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) Increase trait recursion limit Thu, 05 Dec 2019 22:49:23 GMT Thierry Delisle [3b0c8cb] * src/Concurrency/Keywords.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.h (modified) Implemented Keyword cast in the alternative finder to remove ... Thu, 28 Nov 2019 21:31:05 GMT Thierry Delisle [71d6bd8] * src/ResolvExpr/CandidateFinder.cpp (modified) * tests/resolutionErrors.cfa (added) First attempt at better errors on 'No reasonable alternatives' split ... Thu, 21 Nov 2019 15:52:18 GMT Thierry Delisle [9802f4c] * Jenkinsfile_disabled (modified) * automake/missing (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) Merge branch 'master' into new-ast Wed, 20 Nov 2019 23:55:39 GMT Thierry Delisle [665f432] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) Fixed trac #149 where operand names in asm statements where ... Fri, 11 Oct 2019 18:23:30 GMT Andrew Beach [3f3bfe5a] * src/AST/CVQualifiers.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Type.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TopLvalue.cc (deleted) * src/SynTree/TopLvalue.h (deleted) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Merge from master to new-ast. Removing old lvalue support. Fri, 04 Oct 2019 19:07:07 GMT Andrew Beach [cf32116] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) * src/ResolvExpr/typeops.h (modified) Implemented expression based lvalue resolution on new ast. Fri, 04 Oct 2019 14:49:31 GMT Michael Brooks [90ce35aa] * src/ResolvExpr/Unify.cc (modified) Fixing new-resolver bug where libcfa build erroneously complains ... Fri, 27 Sep 2019 19:35:46 GMT Andrew Beach [4a60488] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile_disabled (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/calc.py (added) * benchmark/baselines/x64/compile.csv (added) * benchmark/baselines/x64/ctxswitch.csv (added) * benchmark/baselines/x64/mutex.csv (added) * benchmark/baselines/x64/signal.csv (added) * benchmark/baselines/x86/compile.csv (added) * benchmark/baselines/x86/ctxswitch.csv (added) * benchmark/baselines/x86/mutex.csv (added) * benchmark/baselines/x86/signal.csv (added) * benchmark/creation/JavaThread.java (modified) * benchmark/ctxswitch/JavaThread.java (modified) * benchmark/mutex/JavaThread.java (modified) * benchmark/schedint/JavaThread.java (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/operator-defaults.md (added) * driver/Makefile.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/Attributes.c (deleted) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/extras.regx (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/heap.cfa (modified) * longrun_tests/Makefile.am (modified) * longrun_tests/Makefile.in (modified) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/BasicTypes-gen.cc (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/config.py.in (modified) * tests/gccExtensions.cfa (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) * tools/Makefile.in (modified) * tools/baseline.py (added) * tools/build/distcc_hash (added) * tools/build/push2dist.sh (added) * tools/prettyprinter/Makefile.in (modified) Merged from master taking the lvalue changes to expression and ... Thu, 26 Sep 2019 17:25:49 GMT Andrew Beach [b4f8808] * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Removed lvalue from types in the old ast. Mon, 23 Sep 2019 20:59:33 GMT Andrew Beach [849720f] * src/ResolvExpr/ConversionCost.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) lvalue should now always come directly from the expression. Tue, 17 Sep 2019 18:36:12 GMT Thierry Delisle [8e1467d] * src/ResolvExpr/CurrentObject.cc (modified) Fixed crash using shallow copy Tue, 17 Sep 2019 16:56:32 GMT Thierry Delisle [4e13e2a] * benchmark/Makefile.in (modified) * src/AST/Expr.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Added setting of result in Comma expression. Added asserts in ... Wed, 04 Sep 2019 17:54:42 GMT Andrew Beach [3315e3d] * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Type.h (modified) Unify uses Qualifiers::unify, which should handle lvalue better. Thu, 15 Aug 2019 17:33:41 GMT Thierry Delisle [a6f26ca] * src/ResolvExpr/ResolveTypeof.cc (modified) Resolved typeof Tue, 13 Aug 2019 18:36:06 GMT Thierry Delisle [1118b8b] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Aug 2019 17:47:37 GMT Andrew Beach [7d01cf44] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) lvalue is now read through the expression. Mon, 12 Aug 2019 15:05:36 GMT Thierry Delisle [b3976bf] * Jenkinsfile (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/calc.py (added) * benchmark/baselines/x64/compile.csv (added) * benchmark/baselines/x64/ctxswitch.csv (added) * benchmark/baselines/x64/mutex.csv (added) * benchmark/baselines/x64/signal.csv (added) * benchmark/baselines/x86/compile.csv (added) * benchmark/baselines/x86/ctxswitch.csv (added) * benchmark/baselines/x86/mutex.csv (added) * benchmark/baselines/x86/signal.csv (added) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * longrun_tests/Makefile.in (modified) * src/BasicTypes-gen.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/Type.cc (modified) * src/SynTree/module.mk (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/Makefile.in (modified) * tests/gccExtensions.cfa (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/baseline.py (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Aug 2019 15:05:15 GMT Thierry Delisle [cc4218f] * src/ResolvExpr/AlternativeFinder.cc (modified) Added assertion as documentation Thu, 08 Aug 2019 17:24:09 GMT Andrew Beach [0f19f5e5] * src/ResolvExpr/ConversionCost.cc (modified) Made private overloads of convertToReferenceCost static. Thu, 08 Aug 2019 15:29:53 GMT Andrew Beach [2d80111] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Lvalue is checked through Expression::get_lvalue. Only three other ... Tue, 06 Aug 2019 16:44:34 GMT Peter A. Buhr [f4f9d27] * src/ResolvExpr/ConversionCost.cc (modified) formatting Mon, 05 Aug 2019 11:37:12 GMT Peter A. Buhr [3a55d9f] * src/BasicTypes-gen.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) adjust column spacing in generated output Thu, 01 Aug 2019 20:27:46 GMT Thierry Delisle [f49b3fc] * src/ResolvExpr/Unify.cc (modified) Fixed memory bug in unify Wed, 31 Jul 2019 19:23:04 GMT Thierry Delisle [2890212] * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) Startup.cfa now compiles with new ast Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr [033ff37] * examples/Attributes.c (deleted) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) remove attribute expression '@'name mechanism Wed, 24 Jul 2019 21:30:32 GMT Thierry Delisle [504eb72] * src/ResolvExpr/ConversionCost.cc (modified) Change node which was static to function to static ast::ptr to heap ... Wed, 24 Jul 2019 14:42:18 GMT Thierry Delisle [96ac72c] * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/stdlib.hfa (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * tests/.expect/copyfile.txt (modified) * tests/.expect/heap.txt (added) * tests/.in/copyfile.txt (modified) * tests/copyfile.cfa (modified) * tests/heap.cfa (modified) Merge branch 'master' into new-ast Mon, 22 Jul 2019 20:23:33 GMT Thierry Delisle [4eb43fa] * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Copy.hpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into ... Mon, 22 Jul 2019 18:19:57 GMT Andrew Beach [fd642d2] * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Added const in a few more places. This should be all the leaf areas ...