# # ChangeLog for src/AST/Decl.cpp # # Generated by Trac 1.2.1 # Nov 4, 2024, 10:17:52 PM Fri, 23 Jun 2023 15:24:07 GMT Andrew Beach [97b47ec] * libcfa/prelude/prelude-gen.cc (modified) * src/AST/Decl.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) The 'sized' trait is now implemented on top of 'T *' declarations and ... Tue, 13 Jun 2023 20:33:16 GMT Michael Brooks [8f557161] * src/AST/Decl.cpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * tests/.expect/eval.txt (added) * tests/eval.cfa (added) Clarify and fix accuracy in `eval` public API, on reporting "unable ... Wed, 05 Apr 2023 15:30:56 GMT Andrew Beach [3e94a23] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) More use of the new AST named boolean types. Fri, 17 Feb 2023 20:40:15 GMT Andrew Beach [8f06277] * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (added) * src/Common/Iterate.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/HandleAttributes.cc (modified) Some clean-up in Common/utility.h. Deleted some unused declarations ... Thu, 24 Nov 2022 16:01:37 GMT Andrew Beach [93c10de] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/Unify.cc (modified) Minimal changes to pull out nested types, TypeInstType::TypeEnvKey ... Thu, 22 Sep 2022 20:08:06 GMT Andrew Beach [b859f59] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) Reordered fields in FunctionDecl and removed some trailing white- space. Mon, 09 May 2022 15:38:08 GMT Andrew Beach [7edd5c1] * src/AST/Convert.cpp (modified) * src/AST/Copy.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.cpp (modified) * src/Validate/Autogen.cpp (modified) Assorted fixes to the AST, found while I was trying to add more ... Sun, 10 Apr 2022 18:53:18 GMT JiadaL [92538ab] * Jenkinsfile (modified) * benchmark/io/http/main.cfa (modified) * benchmark/io/http/parhttperf (modified) * benchmark/io/http/protocol.cfa (modified) * benchmark/io/http/protocol.hfa (modified) * benchmark/io/http/worker.cfa (modified) * benchmark/io/http/worker.hfa (modified) * benchmark/io/sendfile/consumer.c (added) * benchmark/io/sendfile/producer.c (added) * benchmark/plot.py (modified) * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/theses/mike_brooks_MMath/.gitignore (added) * doc/theses/mike_brooks_MMath/Makefile (added) * doc/theses/mike_brooks_MMath/array.tex (added) * doc/theses/mike_brooks_MMath/background.tex (added) * doc/theses/mike_brooks_MMath/conclusion.tex (added) * doc/theses/mike_brooks_MMath/glossary.tex (added) * doc/theses/mike_brooks_MMath/intro.tex (added) * doc/theses/mike_brooks_MMath/pictures/measuring-like-layout.pdf (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-allocn.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-pbv.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-peq-cppemu.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-peq-sharing.png (added) * doc/theses/mike_brooks_MMath/pictures/string-graph-pta-sharing.png (added) * doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa (added) * doc/theses/mike_brooks_MMath/programs/hello-array.cfa (added) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (added) * doc/theses/mike_brooks_MMath/programs/sharectx-demo.cfa (added) * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (added) * doc/theses/mike_brooks_MMath/string.tex (added) * doc/theses/mike_brooks_MMath/style/master.tex (added) * doc/theses/mike_brooks_MMath/style/uw-bot.tex (added) * doc/theses/mike_brooks_MMath/style/uw-top.tex (added) * doc/theses/mike_brooks_MMath/thesis-frontpgs.tex (added) * doc/theses/mike_brooks_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (added) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (added) * doc/theses/mubeen_zulfiqar_MMath/Makefile (modified) * doc/theses/mubeen_zulfiqar_MMath/allocator.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/background.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/benchmarks.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/figures/AddressSpace.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocDS1.fig (moved) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocDS2.fig (moved) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedActiveFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocInducedPassiveFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocatedObject.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/AllocatorComponents.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/CoalesceAllocated.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/CoalesceFree.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/Container.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerFalseSharing1.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerFalseSharing2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerNoOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerNoOwnershipFreelist.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContainerOwnershipFreelist.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ContigFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingA.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingB.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingC.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FalseSharingD.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FreeListAmongContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/FreeListWithinContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/HeapStructure.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/IntExtFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MemoryFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsNoOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsOwnership.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/MultipleHeapsStorage.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/NewHeapStructure.eps (added) * doc/theses/mubeen_zulfiqar_MMath/figures/NonContigFragmentation.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ObjectHeaders.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PerThreadGlobalHeap2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PerThreadHeap.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/PrivatePublicHeaps2.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/ProgramFalseSharing.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/RemoteFreeList.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SharedHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SingleHeap.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/SuperContainers.fig (added) * doc/theses/mubeen_zulfiqar_MMath/figures/UserKernelHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/intro.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/performance.tex (modified) * doc/theses/mubeen_zulfiqar_MMath/pictures/MultipleHeapsOwnershipStorage.fig (added) * doc/theses/mubeen_zulfiqar_MMath/pictures/PrivatePublicHeaps.fig (added) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis.bib (modified) * doc/theses/mubeen_zulfiqar_MMath/uw-ethesis.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/data/cycle.jax (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (added) * doc/theses/thierry_delisle_PhD/thesis/glossary.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * doc/user/user.tex (modified) * driver/cc1.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/barrier.hfa (added) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/io/types.hfa (modified) * libcfa/src/concurrency/iofwd.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/cluster.cfa (added) * libcfa/src/concurrency/kernel/cluster.hfa (added) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/kernel/private.hfa (moved) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/concurrency/stats.cfa (modified) * libcfa/src/concurrency/stats.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/string.cfa (modified) * libcfa/src/containers/string.hfa (modified) * libcfa/src/containers/string_res.cfa (modified) * libcfa/src/containers/string_res.hfa (modified) * libcfa/src/containers/string_sharectx.hfa (added) * libcfa/src/device/cpu.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/stdlib.hfa (modified) * src/AST/AssertAcyclic.cpp (deleted) * src/AST/AssertAcyclic.hpp (deleted) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Util.cpp (added) * src/AST/Util.hpp (added) * src/AST/Visitor.hpp (modified) * src/AST/module.mk (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FindSpecialDeclsNew.cpp (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/declarationSpecifier.arm64.txt (modified) * tests/.expect/gccExtensions.arm64.txt (modified) * tests/.expect/random.arm64.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/collections/.expect/string-api-coverage-noshare.txt (added) * tests/collections/.expect/string-api-coverage.txt (modified) * tests/collections/.expect/string-ctx-manage.txt (added) * tests/collections/.expect/string-gc.txt (modified) * tests/collections/.expect/string-overwrite-noshare.txt (added) * tests/collections/.expect/vector-err-pass-perm-it-byval.txt (modified) * tests/collections/string-api-coverage-noshare.cfa (added) * tests/collections/string-api-coverage.cfa (modified) * tests/collections/string-ctx-manage.cfa (added) * tests/collections/string-gc.cfa (modified) * tests/collections/string-overwrite-noshare.cfa (added) * tests/collections/string-overwrite.cfa (modified) * tests/concurrent/.expect/keywordErrors.nast.txt (added) * tests/concurrent/.expect/keywordErrors.oast.txt (moved) * tests/concurrent/.expect/mainError.nast.txt (added) * tests/concurrent/.expect/mainError.oast.txt (added) * tests/concurrent/barrier/.expect/generation.txt (added) * tests/concurrent/barrier/.expect/last.txt (moved) * tests/concurrent/barrier/.expect/order.txt (added) * tests/concurrent/barrier/gen_generation_expect.cfa (added) * tests/concurrent/barrier/generation.cfa (added) * tests/concurrent/barrier/last.cfa (added) * tests/concurrent/barrier/order.cfa (added) * tests/concurrent/mainError.cfa (added) * tests/concurrent/mutexstmt/.expect/locks.txt (modified) * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (added) * tests/concurrent/mutexstmt/locks.cfa (modified) * tests/concurrent/mutexstmt/scoped_lock.cfa (added) * tests/concurrent/readyQ/.expect/barrier_sleeper.txt (added) * tests/concurrent/readyQ/.expect/leader_spin.txt (added) * tests/concurrent/readyQ/barrier_sleeper.cfa (added) * tests/concurrent/readyQ/leader_spin.cfa (added) * tests/designations.cfa (modified) * tests/errors/.expect/scope.txt (modified) * tests/io/.expect/away_fair.txt (added) * tests/io/.expect/comp_fair.txt (added) * tests/io/away_fair.cfa (added) * tests/io/comp_fair.cfa (added) * tests/io/io-acquire.cfa (modified) * tests/io/many_read.cfa (modified) * tests/meta/dumpable.cfa (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) * tests/zombies/string-perf/.gitignore (added) * tests/zombies/string-perf/Makefile (added) * tests/zombies/string-perf/corpori-about.txt (added) * tests/zombies/string-perf/corpus-100-1-1.txt (added) * tests/zombies/string-perf/corpus-100-10-1.txt (added) * tests/zombies/string-perf/corpus-100-2-1.txt (added) * tests/zombies/string-perf/corpus-100-20-1.txt (added) * tests/zombies/string-perf/corpus-100-5-1.txt (added) * tests/zombies/string-perf/corpus-5-20-1.txt (added) * tests/zombies/string-perf/corpus-5-20-2.txt (added) * tests/zombies/string-perf/corpus-5-20-3.txt (added) * tests/zombies/string-perf/make-corpus.cfa (added) * tests/zombies/string-perf/make-flamegraph.sh (added) * tests/zombies/string-perf/not_string_res.cfa (added) * tests/zombies/string-perf/not_string_res.hfa (added) * tests/zombies/string-perf/pbx-correctness-demos.cfa (added) * tests/zombies/string-perf/pbx-correctness-demos.cpp (added) * tests/zombies/string-perf/prog-allocn.cfa (added) * tests/zombies/string-perf/prog-find.cfa (added) * tests/zombies/string-perf/prog-normalize.cfa (added) * tests/zombies/string-perf/prog-passbyX.cfa (added) * tests/zombies/string-perf/prog-passbyval.cfa (added) * tests/zombies/string-perf/prog.cfa (added) * tests/zombies/string-perf/qanal.py (added) * tests/zombies/string-perf/qrun.sh (added) Resolve conflict Tue, 29 Mar 2022 20:09:51 GMT Andrew Beach [b230091] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) Added a 'missing' TypeInstType constructor and rewrote some calls to ... Thu, 10 Mar 2022 07:03:43 GMT JiadaL [3e54399] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) The compiler now will add a cast to base type for the usage of type ... Mon, 28 Feb 2022 08:41:44 GMT JiadaL [f135b50] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Demangle.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Visitor.h (modified) The compiler is now trying to pass the value of enum const to code ... Thu, 17 Feb 2022 19:35:23 GMT Andrew Beach [7d7ef6f] * libcfa/src/math.trait.hfa (modified) * src/AST/Decl.cpp (modified) * src/SynTree/TypeSubstitution.cc (modified) Revereted some changes and added a fix to get around the current ... Fri, 11 Feb 2022 16:00:35 GMT Andrew Beach [9490621] * src/AST/Decl.cpp (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) My work in progress implementation of ForallPointerDecay for Fangren. Thu, 13 Jan 2022 17:12:41 GMT Fangren Yu [a4a6802] * src/AST/Decl.cpp (modified) fill in FunctionType assertions early Fri, 18 Jun 2021 16:20:59 GMT Michael Brooks [6e50a6b] * libcfa/src/containers/array.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/Visitor.h (modified) * tests/array-container/.expect/language-dim-mismatch.txt (added) * tests/array-container/array-basic.cfa (modified) * tests/array-container/array-md-sbscr-cases.cfa (modified) * tests/array-container/language-dim-mismatch.cfa (added) Implementing language-provided syntax for (array) dimensions. ... Tue, 12 Jan 2021 22:26:59 GMT Peter A. Buhr [20207c0] * src/AST/Decl.cpp (modified) * src/SynTree/TypeDecl.cc (modified) fix old AST error printing for new kinds of types Tue, 12 Jan 2021 03:10:33 GMT Peter A. Buhr [b66d14a] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) add new type kinds DStype and ALtype 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, 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 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, 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 01:52:38 GMT Peter A. Buhr [312029a] * 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/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * tests/concurrent/.expect/keywordErrors.txt (modified) move enum Aggregate from DeclarationNode to AggregateDecl, add ... Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss [e0e9a0b] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (added) * src/AST/ForallSubstitutionTable.hpp (added) * src/AST/ForallSubstitutor.hpp (added) * 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/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/module.mk (modified) * src/Common/ScopedMap.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/RenameVars.cc (modified) Somewhat deeper clone for types with forall qualifiers. * Added ... Thu, 30 May 2019 20:10:24 GMT Aaron Moss [d76c588] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Stubs for new resolver, implementation of new indexer, type environment Thu, 23 May 2019 15:30:40 GMT Thierry Delisle [9d6e7fa9] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/InitTweak/InitTweak.h (modified) Fixed missing or incorrect stubs in decl/InitTweak Tue, 21 May 2019 19:56:27 GMT Thierry Delisle [733074e] * src/AST/Decl.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/include/cassert (modified) Removed stub for toString by moving to a more precise Stub Thu, 16 May 2019 20:13:19 GMT Thierry Delisle [87701b6] * src/AST/Attribute.hpp (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/Init.cpp (modified) * src/AST/Init.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/Node.cpp (added) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/Common/utility.h (modified) Tentative fix for increment/decrement and implented a few more visits Thu, 16 May 2019 14:58:52 GMT Thierry Delisle [8a5530c] * src/AST/CVQualifiers.hpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Stmt.hpp (modified) Fixed FunctionType cast, fixed maybe_accept, implemented statement ... Fri, 10 May 2019 18:28:54 GMT Aaron Moss [360b2e13] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/porting.md (modified) Add TypeDecl to new AST Thu, 09 May 2019 21:17:51 GMT Aaron Moss [a300e4a] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/FunctionSpec.hpp (added) * src/AST/Init.hpp (added) * src/AST/LinkageSpec.cpp (modified) * src/AST/LinkageSpec.hpp (modified) * src/AST/StorageClasses.hpp (modified) * src/AST/porting.md (modified) Add some decls to the new AST Thu, 09 May 2019 19:21:39 GMT Aaron Moss [2bb4a01] * src/AST/Bitfield.hpp (added) * src/AST/Decl.cpp (added) * src/AST/Decl.hpp (added) * src/AST/DeclReplacer.cpp (added) * src/AST/DeclReplacer.hpp (added) * src/AST/Label.hpp (added) * src/AST/LinkageSpec.cpp (added) * src/AST/LinkageSpec.hpp (added) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (added) * src/AST/Stmt.cpp (added) * src/AST/Stmt.hpp (added) * src/AST/StorageClasses.hpp (added) * src/AST/Type.hpp (added) * src/AST/Visitor.hpp (added) * src/AST/porting.md (added) Start on new AST