# # ChangeLog for src/GenPoly # # Generated by Trac 1.2.1 # Jul 1, 2024, 1:06:18 AM Fri, 23 Feb 2024 15:31:08 GMT Andrew Beach [d06273c] * src/GenPoly/Box.cpp (modified) Used structural binding to shorten some loop setup. The generally ... Tue, 06 Feb 2024 17:35:12 GMT Andrew Beach [23a0e576] * src/GenPoly/Box.cpp (modified) Remove mid-array assertion from the Box pass. Fri, 02 Feb 2024 23:31:52 GMT Andrew Beach [be4335b] * src/GenPoly/Box.cpp (modified) The remaining improvements I had planned for the Box pass are either ... Thu, 01 Feb 2024 22:13:04 GMT JiadaL [9ddcee1] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Remove EnumPosExpr, an early design that no longer used. The ... Wed, 31 Jan 2024 23:25:02 GMT JiadaL [c75b30a] * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Lvalue.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Introduce posE, valueE, labelE pseudo language to the language. ... Fri, 19 Jan 2024 07:42:58 GMT JiadaL [59c8dff] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Draft Implementation for enum position pesudo function (posE). ... Fri, 15 Dec 2023 02:05:55 GMT Peter A. Buhr [ca9d65e] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/concurrency/.expect/ctor-check.txt (modified) * tests/exceptions/.expect/try-ctrl-flow.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) second attempt at simplifying SemanticError messages Mon, 04 Dec 2023 20:33:15 GMT Andrew Beach [539a8c8] * src/CodeGen/GenType.h (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/ExceptTranslate.cpp (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/GenPoly/ScrubTypeVars.hpp (modified) Some general clean-up, removing bits and pieces from the old version. Fri, 01 Dec 2023 20:19:03 GMT Andrew Beach [c4b9fa9] * src/GenPoly/Box.cpp (modified) Just some random clean-up in Box pass while I was musing. Fri, 01 Dec 2023 19:37:02 GMT Andrew Beach [dd900b5] * src/GenPoly/Box.cpp (modified) * tests/.expect/functions.arm64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) Implicit and layout parameters are now marked as const. This is ... Thu, 30 Nov 2023 19:58:26 GMT Andrew Beach [d787828d] * src/GenPoly/Box.cpp (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/InstantiateGeneric.cpp (modified) * src/GenPoly/ScrubTypeVars.cpp (moved) * src/GenPoly/ScrubTypeVars.hpp (moved) * src/GenPoly/module.mk (modified) Rename the ScrubTyVars moduel to ScrubTypeVars. This makes it more ... Thu, 30 Nov 2023 19:04:16 GMT Andrew Beach [83fd57d] * src/CodeGen/CodeGenerator.cpp (moved) * src/CodeGen/CodeGenerator.hpp (moved) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/Concurrency/Keywords.cpp (moved) * src/Concurrency/Waitfor.cpp (moved) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cpp (moved) * src/ControlStruct/ExceptTranslate.cpp (moved) * src/ControlStruct/LabelGenerator.cpp (moved) * src/ControlStruct/LabelGenerator.hpp (moved) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cpp (moved) * src/GenPoly/InstantiateGeneric.cpp (moved) * src/GenPoly/Lvalue.cpp (moved) * src/GenPoly/Specialize.cpp (moved) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cpp (moved) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cpp (moved) * src/Makefile.am (modified) * src/Tuples/TupleExpansion.cpp (modified) * src/Validate/FindSpecialDecls.cpp (moved) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/module.mk (modified) Removed 'New' suffixes, they are no longer needed for disambiguation. Fri, 24 Nov 2023 21:08:24 GMT Andrew Beach [f48dfcd] * src/GenPoly/BoxNew.cpp (modified) Slight improvement to forall clause erasing. Fri, 24 Nov 2023 15:14:27 GMT Andrew Beach [3c4003b9] * src/CodeGen/CodeGeneratorNew.cpp (modified) * src/GenPoly/BoxNew.cpp (modified) Box pass Eraser now removes the polymorphic arguments now that the ... Wed, 15 Nov 2023 22:01:36 GMT Andrew Beach [b8b5535] * src/GenPoly/Box.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) Major round of clean-up in the GenPoly directory. Wed, 08 Nov 2023 19:01:11 GMT Andrew Beach [c6b4432] * src/AST/Convert.cpp (deleted) * src/AST/Convert.hpp (deleted) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/CodeGenerator.cc (deleted) * src/CodeGen/CodeGenerator.h (deleted) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/LinkOnce.cc (modified) * src/CodeGen/LinkOnce.h (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (deleted) * src/CodeTools/DeclStats.h (deleted) * src/CodeTools/ResolvProtoDump.cc (deleted) * src/CodeTools/ResolvProtoDump.h (deleted) * src/CodeTools/TrackLoc.cc (deleted) * src/CodeTools/TrackLoc.h (deleted) * src/CodeTools/module.mk (deleted) * src/Common/Eval.cc (modified) * src/Common/Eval.h (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Common/PassVisitor.cc (deleted) * src/Common/PassVisitor.h (deleted) * src/Common/PassVisitor.impl.h (deleted) * src/Common/PassVisitor.proto.h (deleted) * src/Common/module.mk (modified) * src/Concurrency/Keywords.cc (deleted) * src/Concurrency/Waitfor.cc (deleted) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cc (deleted) * src/ControlStruct/ExceptTranslate.cc (deleted) * src/ControlStruct/ForExprMutator.cc (deleted) * src/ControlStruct/ForExprMutator.h (deleted) * src/ControlStruct/LabelFixer.cc (deleted) * src/ControlStruct/LabelFixer.h (deleted) * src/ControlStruct/LabelGenerator.cc (deleted) * src/ControlStruct/LabelGenerator.h (deleted) * src/ControlStruct/MLEMutator.cc (deleted) * src/ControlStruct/MLEMutator.h (deleted) * src/ControlStruct/Mutate.cc (deleted) * src/ControlStruct/Mutate.h (deleted) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (deleted) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/Lvalue.cc (deleted) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (deleted) * src/GenPoly/SpecializeNew.cpp (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (deleted) * src/InitTweak/FixInitNew.cpp (modified) * 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 (deleted) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (deleted) * src/ResolvExpr/Alternative.h (deleted) * src/ResolvExpr/AlternativeFinder.cc (deleted) * src/ResolvExpr/AlternativeFinder.h (deleted) * src/ResolvExpr/AlternativePrinter.cc (deleted) * src/ResolvExpr/AlternativePrinter.h (deleted) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ExplodedActual.cc (deleted) * src/ResolvExpr/ExplodedActual.h (deleted) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (deleted) * 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/ResolveAssertions.cc (deleted) * src/ResolvExpr/ResolveAssertions.h (deleted) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (deleted) * src/ResolvExpr/TypeEnvironment.h (deleted) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (deleted) * src/SymTab/Autogen.h (deleted) * src/SymTab/Demangle.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Indexer.cc (deleted) * src/SymTab/Indexer.h (deleted) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (deleted) * src/SymTab/Validate.h (deleted) * src/SymTab/ValidateType.cc (deleted) * src/SymTab/ValidateType.h (deleted) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (deleted) * src/SynTree/AggregateDecl.cc (deleted) * src/SynTree/ApplicationExpr.cc (deleted) * src/SynTree/ArrayType.cc (deleted) * src/SynTree/AttrType.cc (deleted) * src/SynTree/Attribute.cc (deleted) * src/SynTree/Attribute.h (deleted) * src/SynTree/BaseSyntaxNode.cc (deleted) * src/SynTree/BaseSyntaxNode.h (deleted) * src/SynTree/BasicType.cc (deleted) * src/SynTree/CommaExpr.cc (deleted) * src/SynTree/CompoundStmt.cc (deleted) * src/SynTree/Constant.cc (deleted) * src/SynTree/Constant.h (deleted) * src/SynTree/DeclReplacer.cc (deleted) * src/SynTree/DeclReplacer.h (deleted) * src/SynTree/DeclStmt.cc (deleted) * src/SynTree/Declaration.cc (deleted) * src/SynTree/Declaration.h (deleted) * src/SynTree/DeclarationWithType.cc (deleted) * src/SynTree/Expression.cc (deleted) * src/SynTree/Expression.h (deleted) * src/SynTree/FunctionDecl.cc (deleted) * src/SynTree/FunctionType.cc (deleted) * src/SynTree/Initializer.cc (deleted) * src/SynTree/Initializer.h (deleted) * src/SynTree/InlineMemberDecl.cc (deleted) * src/SynTree/Label.h (deleted) * src/SynTree/LinkageSpec.cc (deleted) * src/SynTree/LinkageSpec.h (deleted) * src/SynTree/Makefile (deleted) * src/SynTree/Mutator.h (deleted) * src/SynTree/NamedTypeDecl.cc (deleted) * src/SynTree/ObjectDecl.cc (deleted) * src/SynTree/PointerType.cc (deleted) * src/SynTree/ReferenceToType.cc (deleted) * src/SynTree/ReferenceType.cc (deleted) * src/SynTree/Statement.cc (deleted) * src/SynTree/Statement.h (deleted) * src/SynTree/SynTree.h (deleted) * src/SynTree/TupleExpr.cc (deleted) * src/SynTree/TupleType.cc (deleted) * src/SynTree/Type.cc (deleted) * src/SynTree/Type.h (deleted) * src/SynTree/TypeDecl.cc (deleted) * src/SynTree/TypeExpr.cc (deleted) * src/SynTree/TypeSubstitution.cc (deleted) * src/SynTree/TypeSubstitution.h (deleted) * src/SynTree/TypeofType.cc (deleted) * src/SynTree/VarArgsType.cc (deleted) * src/SynTree/Visitor.h (deleted) * src/SynTree/VoidType.cc (deleted) * src/SynTree/ZeroOneType.cc (deleted) * src/SynTree/module.mk (deleted) * 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/Tuples.h (modified) * src/Validate/FindSpecialDecls.cc (deleted) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/HandleAttributes.cc (deleted) * src/Validate/HandleAttributes.h (deleted) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) Remove BaseSyntaxNode and clean-up. Tue, 17 Oct 2023 18:14:34 GMT Andrew Beach [5e0bba5] * src/GenPoly/BoxNew.cpp (modified) Work on the box pass, fixing up the FunctionDecl update. Mon, 16 Oct 2023 23:01:37 GMT Andrew Beach [d85141f] * src/GenPoly/SpecializeNew.cpp (modified) Small refactoring of some helper functions to avoid repeating a loop. Mon, 16 Oct 2023 20:10:26 GMT Andrew Beach [52a5262e] * src/CodeTools/DeclStats.cc (modified) * src/GenPoly/BoxNew.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) TypeVarMap is now a subtype instead of an alias to remove the ... Mon, 16 Oct 2023 17:56:40 GMT Andrew Beach [e14d169] * src/GenPoly/BoxNew.cpp (modified) Remove some cruft from the box pass. Some pieces left over from ... Mon, 16 Oct 2023 14:24:14 GMT Andrew Beach [61e5d99] * src/GenPoly/BoxNew.cpp (modified) Boxing no longer passes layout information about polymorphic types in ... Fri, 13 Oct 2023 14:10:45 GMT Andrew Beach [0bf0b97] * src/GenPoly/BoxNew.cpp (modified) Layout function builds its entire parameter list before creating the ... Thu, 12 Oct 2023 14:35:47 GMT Andrew Beach [4604bf5] * src/GenPoly/BoxNew.cpp (modified) Clean-up of some names and comments. Removed some TODO comments which ... Sun, 08 Oct 2023 14:31:26 GMT Andrew Beach [d3652df] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/BoxNew.cpp (modified) * src/ResolvExpr/EraseWith.cpp (added) * src/ResolvExpr/EraseWith.hpp (added) * src/ResolvExpr/module.mk (modified) * src/main.cc (modified) Took the new EraseWith pass out of the box pass. It might be able to ... Thu, 05 Oct 2023 18:47:59 GMT Andrew Beach [097c8d0] * src/GenPoly/BoxNew.cpp (modified) Fixes to Box pass's DeclAdapter. The two largest are: Only local ... Thu, 05 Oct 2023 15:27:16 GMT Andrew Beach [04db9f6] * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) Updated some documentation about the Instantiate Generic pass. Wed, 04 Oct 2023 21:30:12 GMT Andrew Beach [045cda3] * src/GenPoly/BoxNew.cpp (modified) First clean-up pass on box pass. Some of it is stuff that could have ... Tue, 03 Oct 2023 14:58:40 GMT Andrew Beach [1ee0a4da] * src/GenPoly/Box.h (modified) * src/GenPoly/BoxNew.cpp (added) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/module.mk (modified) * src/main.cc (modified) Translated the box pass to the new AST. This includes direct as ... Thu, 14 Sep 2023 15:44:35 GMT Andrew Beach [3df4cd9] * src/GenPoly/GenPoly.cc (modified) Some mistakes in isPolyType found while working on the box pass. ... Mon, 28 Aug 2023 16:35:26 GMT Andrew Beach [4aaac8a] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Factored out a helper ... Thu, 06 Jul 2023 15:07:27 GMT Andrew Beach [8f31be6] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) Fixed some warnings, deleted some commented out code. Tue, 04 Jul 2023 18:54:31 GMT Andrew Beach [7f1be01] * src/Common/ScopedMap.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Combined some fixes from the variaus scoped containers. Reducing ... Mon, 12 Jun 2023 18:45:32 GMT Fangren Yu [24d6572] * Jenkins/FullBuild (modified) * Jenkins/Promote (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/Makefile.am (modified) * benchmark/convoy/data/nasus_12_12_2022_0NCS (added) * benchmark/convoy/data/nasus_12_12_2022_1NCS (added) * benchmark/convoy/data/single_16_thd (added) * benchmark/convoy/genConvoyStats.py (added) * benchmark/mutexStmt/JavaThread.java (deleted) * configure.ac (modified) * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/Documents/.log (modified) * doc/papers/AMA/AMA-stix/Documents/README.txt (modified) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (modified) * doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd (modified) * doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (modified) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib (modified) * doc/papers/llheap/.gitignore (added) * doc/papers/llheap/AMA-stix_New.zip (added) * doc/papers/llheap/AMA-stix_New/Documents/.log (added) * doc/papers/llheap/AMA-stix_New/Documents/README.txt (added) * doc/papers/llheap/AMA-stix_New/Documents/wileyNJD-Doc.tex (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-BoldItalic.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Italic.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/STIXGeneral-Regular.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/Windows-Stix-fontinstaller.exe (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/a_axxd65.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixbb.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixfrak.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixscr.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls1stixsf.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixcal.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixex.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ls2stixtt.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ly1sti.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ot2stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra1.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra2.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra2.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra3.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-extra3.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbb.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathbbit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathcal.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathex.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathfrak.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathrm.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathscr.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsf.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathsfit.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt-bold.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt.pfb (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-mathtt.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ot1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ot2.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-t1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix-ts1.enc (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.dtx (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.fdd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.map (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/stix.sty (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc-bold.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1-stixgeneralsc.vf (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/t1stix.fd (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-bold.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral-italic.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1-stixgeneral.tfm (added) * doc/papers/llheap/AMA-stix_New/Stix-fonts/ts1stix.fd (added) * doc/papers/llheap/AMA-stix_New/ama/NJDnatbib.sty (added) * doc/papers/llheap/AMA-stix_New/ama/WileyNJD-v2.cls (added) * doc/papers/llheap/AMA-stix_New/ama/empty.eps (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.aux (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.bbl (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.bib (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.blg (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.log (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.pag (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.synctex (added) * doc/papers/llheap/AMA-stix_New/ama/wileyNJD-AMA.tex (added) * doc/papers/llheap/Makefile (added) * doc/papers/llheap/Paper.tex (added) * doc/papers/llheap/WileyNJD-v2.cls (added) * doc/papers/llheap/evaluations/algol-perf-eps/cache_scratch_0-scratch.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/cache_thrash_0-thrash.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/churn.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-je.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-1-prod-1-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-je.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/mem-4-prod-4-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-1-malloc-null.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-10-malloc-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-11-calloc-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-12-malloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-13-calloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-2-free-null.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-3-malloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-4-realloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-5-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-6-calloc.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-7-malloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-8-realloc-free.eps (added) * doc/papers/llheap/evaluations/algol-perf-eps/speed-9-calloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/cache_scratch_0-scratch.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/cache_thrash_0-thrash.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/churn.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-je.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-1-prod-1-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-dl.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-glc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-hrd.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-je.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-llh.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-pt3.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-rp.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/mem-4-prod-4-cons-100-tbb.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-1-malloc-null.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-10-malloc-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-11-calloc-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-12-malloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-13-calloc-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-14-m-c-re-alloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-2-free-null.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-3-malloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-4-realloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-5-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-6-calloc.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-7-malloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-8-realloc-free.eps (added) * doc/papers/llheap/evaluations/nasus-perf-eps/speed-9-calloc-free.eps (added) * doc/papers/llheap/examples/C++Cor-ts.cpp (added) * doc/papers/llheap/examples/DatingServiceThread.cfa (added) * doc/papers/llheap/examples/Fib.c (added) * doc/papers/llheap/examples/Fib.cfa (added) * doc/papers/llheap/examples/Fib.cpp (added) * doc/papers/llheap/examples/Fib.js (added) * doc/papers/llheap/examples/Fib.py (added) * doc/papers/llheap/examples/Fib.sim (added) * doc/papers/llheap/examples/Fib1.c (added) * doc/papers/llheap/examples/Fib2.c (added) * doc/papers/llheap/examples/Fib2.cfa (added) * doc/papers/llheap/examples/Fib2.cpp (added) * doc/papers/llheap/examples/Fib2.py (added) * doc/papers/llheap/examples/Fib3.c (added) * doc/papers/llheap/examples/Fib3.cc (added) * doc/papers/llheap/examples/FibRefactor.py (added) * doc/papers/llheap/examples/Fmt.sim (added) * doc/papers/llheap/examples/Format.c (added) * doc/papers/llheap/examples/Format.cc (added) * doc/papers/llheap/examples/Format.cfa (added) * doc/papers/llheap/examples/Format.cpp (added) * doc/papers/llheap/examples/Format.data (added) * doc/papers/llheap/examples/Format.js (added) * doc/papers/llheap/examples/Format.py (added) * doc/papers/llheap/examples/Format.sim (added) * doc/papers/llheap/examples/Format1.c (added) * doc/papers/llheap/examples/PingPong.c (added) * doc/papers/llheap/examples/PingPong.cc (added) * doc/papers/llheap/examples/Pingpong.cc (added) * doc/papers/llheap/examples/Pingpong.cfa (added) * doc/papers/llheap/examples/Pingpong.py (added) * doc/papers/llheap/examples/Pingpong2.cfa (added) * doc/papers/llheap/examples/ProdCons.cfa (added) * doc/papers/llheap/examples/ProdCons.cpp (added) * doc/papers/llheap/examples/ProdCons.py (added) * doc/papers/llheap/examples/ProdCons.sim (added) * doc/papers/llheap/examples/RWMonitorEXT.cfa (added) * doc/papers/llheap/examples/RWMonitorINT.cfa (added) * doc/papers/llheap/examples/Refactor.py (added) * doc/papers/llheap/examples/channels.go (added) * doc/papers/llheap/examples/channels.rs (added) * doc/papers/llheap/examples/counter.cpp (added) * doc/papers/llheap/examples/future.rs (added) * doc/papers/llheap/figures/AddressSpace.fig (added) * doc/papers/llheap/figures/Alignment1.fig (added) * doc/papers/llheap/figures/Alignment2.fig (added) * doc/papers/llheap/figures/Alignment2Impl.fig (added) * doc/papers/llheap/figures/AllocDS1.fig (added) * doc/papers/llheap/figures/AllocDS2.fig (added) * doc/papers/llheap/figures/AllocInducedActiveFalseSharing.fig (added) * doc/papers/llheap/figures/AllocInducedPassiveFalseSharing.fig (added) * doc/papers/llheap/figures/AllocatedObject.fig (added) * doc/papers/llheap/figures/AllocatorComponents.fig (added) * doc/papers/llheap/figures/AllocatorComponents.fig.bak (added) * doc/papers/llheap/figures/CoalesceAllocated.fig (added) * doc/papers/llheap/figures/CoalesceFree.fig (added) * doc/papers/llheap/figures/CondSigWait.fig (added) * doc/papers/llheap/figures/Container.fig (added) * doc/papers/llheap/figures/ContainerFalseSharing1.fig (added) * doc/papers/llheap/figures/ContainerFalseSharing2.fig (added) * doc/papers/llheap/figures/ContainerNoOwnership.fig (added) * doc/papers/llheap/figures/ContainerNoOwnershipFreelist.fig (added) * doc/papers/llheap/figures/ContainerOwnership.fig (added) * doc/papers/llheap/figures/ContainerOwnershipFreelist.fig (added) * doc/papers/llheap/figures/ContigFragmentation.fig (added) * doc/papers/llheap/figures/FakeHeader.fig (added) * doc/papers/llheap/figures/FreeListAmongContainers.fig (added) * doc/papers/llheap/figures/FreeListWithinContainers.fig (added) * doc/papers/llheap/figures/FullCoroutinePhases.fig (added) * doc/papers/llheap/figures/FullProdConsStack.fig (added) * doc/papers/llheap/figures/Header.fig (added) * doc/papers/llheap/figures/HeapStructure.fig (added) * doc/papers/llheap/figures/IntExtFragmentation.fig (added) * doc/papers/llheap/figures/MemoryFragmentation.fig (added) * doc/papers/llheap/figures/MultipleHeapsNoOwnership.fig (added) * doc/papers/llheap/figures/MultipleHeapsOwnership.fig (added) * doc/papers/llheap/figures/MultipleHeapsOwnershipStorage.fig (added) * doc/papers/llheap/figures/MultipleHeapsStorage.fig (added) * doc/papers/llheap/figures/NewHeapStructure.eps (added) * doc/papers/llheap/figures/NonContigFragmentation.fig (added) * doc/papers/llheap/figures/ObjectHeaders.fig (added) * doc/papers/llheap/figures/PerThreadHeap.fig (added) * doc/papers/llheap/figures/PrivatePublicHeaps.fig (added) * doc/papers/llheap/figures/ProgramFalseSharing.fig (added) * doc/papers/llheap/figures/RemoteFreeList.fig (added) * doc/papers/llheap/figures/RunTimeStructure.fig (added) * doc/papers/llheap/figures/SharedHeaps.fig (added) * doc/papers/llheap/figures/SingleHeap.fig (added) * doc/papers/llheap/figures/SuperContainers.fig (added) * doc/papers/llheap/figures/UserKernelHeaps.fig (added) * doc/papers/llheap/figures/llheap.fig (added) * doc/papers/llheap/local.bib (added) * doc/proposals/alt-enums.md (added) * doc/theses/colby_parsons_MMAth/.gitignore (added) * doc/theses/colby_parsons_MMAth/Makefile (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/AkkaExecutor.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Executor/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/AkkaMatrix.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Matrix/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/AkkaRepeat.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/Repeat/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/AkkaSendDynamic.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendDynamic/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/AkkaSendStatic.scala (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/akka/SendStatic/build.sbt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFExecutor.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFMatrix.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFRepeat.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFSendDynamic.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/CAFSendStatic.cpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/caf/caf-application.conf (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/balance.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/bench.hfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/dynamic.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/executor.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/matrix.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/repeat.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/cfa/static.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendDynamic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasusSendStatic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_ALL.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_CFA.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/nasus_SEND.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendDynamic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pykeSendStatic (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_ALL.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_CFA.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/data/pyke_SEND.txt (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/genPlots (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/GoExecutor.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Executor/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/INSTALL (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/GoMatrix.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Matrix/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/GoRepeat.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/Repeat/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/GoSendDynamic.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendDynamic/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/GoSendStatic.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/proto/SendStatic/go.sum (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Executor.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Matrix.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++Repeat.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++SendDynamic.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/actors/ucpp/uC++SendStatic.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/barrier.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/churn.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/contend.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/daisy_chain.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/hot_potato.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/ping_pong.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/cfa/pub_sub.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/barrier/barrier.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/barrier/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/churn/churn.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/churn/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/contend/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/contend/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/daisy_chain/daisy_chain.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/daisy_chain/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/hot_potato/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/hot_potato/hot_potato.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/ping_pong/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/ping_pong/ping_pong.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/pub_sub/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/go/pub_sub/pub_sub.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/channels/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/bench.h (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/baseline.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/order.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cfa/rand.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/baseline.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/cppLock.hpp (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/order.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/cpp/rand.cc (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/plotData.py (added) * doc/theses/colby_parsons_MMAth/benchmarks/mutex_stmt/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/contend.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/future.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/spin.cfa (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend2/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend2/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend4/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend4/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend8/contend.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/contend8/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/sidechan/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/sidechan/sidechan.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin2/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin2/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin4/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin4/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin8/go.mod (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/go/spin8/spin.go (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/run (added) * doc/theses/colby_parsons_MMAth/benchmarks/waituntil/ucpp/future.cc (added) * doc/theses/colby_parsons_MMAth/code/basic_actor_example.cfa (added) * doc/theses/colby_parsons_MMAth/code/swap_queues.cfa (added) * doc/theses/colby_parsons_MMAth/data/nasusExecutorMem (added) * doc/theses/colby_parsons_MMAth/data/nasusSendDynamic (added) * doc/theses/colby_parsons_MMAth/data/nasusSendStatic (added) * doc/theses/colby_parsons_MMAth/data/pykeExecutorMem (added) * doc/theses/colby_parsons_MMAth/data/pykeSendDynamic (added) * doc/theses/colby_parsons_MMAth/data/pykeSendStatic (added) * doc/theses/colby_parsons_MMAth/diagrams/M_to_one_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/acyclic_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/chain_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/cyclic_swap.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/gulp.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/inverted_actor.tikz (added) * doc/theses/colby_parsons_MMAth/diagrams/standard_actor.tikz (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-Multi.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFABalance-One.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFAExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFAMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusCFARepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasusRepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/nasus_Channel_Contention.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFABalance-Multi.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFABalance-One.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFAExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFAMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeCFARepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeExecutor.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeMatrix.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pykeRepeat.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_2.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_4.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Aggregate_Lock_8.pgf (added) * doc/theses/colby_parsons_MMAth/figures/pyke_Channel_Contention.pgf (added) * doc/theses/colby_parsons_MMAth/glossary.tex (added) * doc/theses/colby_parsons_MMAth/local.bib (added) * doc/theses/colby_parsons_MMAth/style/style.tex (added) * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (added) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (added) * doc/theses/colby_parsons_MMAth/text/actors.tex (added) * doc/theses/colby_parsons_MMAth/text/channels.tex (added) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (added) * doc/theses/colby_parsons_MMAth/text/intro.tex (added) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (added) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (added) * doc/theses/colby_parsons_MMAth/thesis.tex (added) * doc/theses/mike_brooks_MMath/Makefile (modified) * doc/theses/mike_brooks_MMath/benchmarks/list/.gitignore (added) * doc/theses/mike_brooks_MMath/benchmarks/list/Makefile (added) * doc/theses/mike_brooks_MMath/benchmarks/list/_classic.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/driver.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.queue-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-insfirst.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/expect.stack-inslast.txt (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cfa-cfa.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-cpp-stlref.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-list.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-lq-tailq.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/fx-upp-upp.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/observation.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-queue-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-insfirst-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-allhead.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-inselem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/op-stack-inslast-remelem.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/proglang.h (added) * doc/theses/mike_brooks_MMath/benchmarks/list/results-baseline.csv (added) * doc/theses/mike_brooks_MMath/benchmarks/list/results-sizing.csv (added) * doc/theses/mike_brooks_MMath/benchmarks/list/tailq-bug.c (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness-regenerate-expected.sh (added) * doc/theses/mike_brooks_MMath/benchmarks/list/test-correctness.sh (added) * doc/theses/mike_brooks_MMath/list.tex (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-attach.pdf (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-attach.vsdx (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.pdf (added) * doc/theses/mike_brooks_MMath/pictures/lst-issues-direct.vsdx (added) * doc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa (added) * doc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction-byref.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction-emplaced.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction.hpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-intrusive.run.c (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-byref.run.cpp (added) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-emplaced.run.cpp (added) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) * doc/theses/rob_schluntz_MMath/thesis.bib (modified) * driver/cfa.cc (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/algorithms/range_iterator.hfa (modified) * libcfa/src/bitmanip.hfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/random.hfa (modified) * libcfa/src/bits/weakso_locks.cfa (modified) * libcfa/src/bits/weakso_locks.hfa (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/actor.hfa (added) * libcfa/src/concurrency/atomic.hfa (added) * libcfa/src/concurrency/barrier.hfa (modified) * libcfa/src/concurrency/channel.hfa (added) * libcfa/src/concurrency/clib/cfathread.cfa (modified) * libcfa/src/concurrency/clib/cfathread.h (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/future.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/call.cfa.in (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/io/types.hfa (modified) * libcfa/src/concurrency/iofwd.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel/cluster.cfa (modified) * libcfa/src/concurrency/kernel/cluster.hfa (modified) * libcfa/src/concurrency/kernel/private.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/mutex_stmt.hfa (modified) * libcfa/src/concurrency/once.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/pthread.cfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/concurrency/select.cfa (added) * libcfa/src/concurrency/select.hfa (added) * libcfa/src/concurrency/snzi.hfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/array.hfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/containers/lockfree.hfa (modified) * libcfa/src/containers/vector.hfa (modified) * libcfa/src/containers/vector2.hfa (modified) * libcfa/src/exception.h (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/interpose_thread.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.hfa (modified) * libcfa/src/limits.cfa (modified) * libcfa/src/math.trait.hfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/vec/vec.hfa (modified) * libcfa/src/virtual_dtor.hfa (added) * src/AST/Attribute.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Visitor.hpp (modified) * src/AST/porting.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CompilerError.h (deleted) * src/Common/Debug.h (deleted) * src/Common/DeclStats.cpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (added) * src/Common/Iterate.hpp (added) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/ToString.hpp (added) * src/Common/UnimplementedError.h (deleted) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Actors.cpp (added) * src/Concurrency/Actors.hpp (added) * src/Concurrency/KeywordsNew.cpp (modified) * src/Concurrency/WaitforNew.cpp (modified) * src/Concurrency/Waituntil.cpp (added) * src/Concurrency/Waituntil.hpp (added) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfaNew.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (added) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (added) * src/Parser/InitializerNode.cc (modified) * src/Parser/InitializerNode.h (added) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/RunParser.cpp (added) * src/Parser/RunParser.hpp (added) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (added) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/AdjustExprType.hpp (added) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CastCost.hpp (added) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (added) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PolyCost.hpp (added) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsAssignable.hpp (added) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/PtrsCastable.hpp (added) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.hpp (added) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/Explode.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/VirtualDtor.cpp (added) * src/Virtual/VirtualDtor.hpp (added) * src/Virtual/module.mk (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/PRNG.x64.txt (modified) * tests/.expect/PRNG.x86.txt (modified) * tests/.expect/alloc.txt.old (deleted) * tests/.expect/array-ERR1.txt (added) * tests/.expect/array-ERR2.txt (added) * tests/.expect/array-ERR3.txt (added) * tests/.expect/array.txt (modified) * tests/.expect/attributes.arm64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/declarationSpecifier.arm64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/forall.txt (modified) * tests/.expect/nested_function.x64.txt (modified) * tests/.expect/nested_function.x86.txt (modified) * tests/Makefile.am (modified) * tests/PRNG.cfa (modified) * tests/array.cfa (modified) * tests/attributes.cfa (modified) * tests/avltree/avl.h (modified) * tests/collections/vector-demo.cfa (modified) * tests/concurrency/.expect/clib.txt (moved) * tests/concurrency/.expect/clib_tls.txt (moved) * tests/concurrency/.expect/cluster.txt (moved) * tests/concurrency/.expect/coroutineYield.txt (moved) * tests/concurrency/.expect/ctor-check.txt (moved) * tests/concurrency/.expect/join.txt (moved) * tests/concurrency/.expect/joinerror.sed (moved) * tests/concurrency/.expect/keywordErrors.txt (added) * tests/concurrency/.expect/lockfree_stack.txt (moved) * tests/concurrency/.expect/mainError.txt (added) * tests/concurrency/.expect/migrate.txt (moved) * tests/concurrency/.expect/monitor.txt (moved) * tests/concurrency/.expect/multi-monitor.txt (moved) * tests/concurrency/.expect/once.txt (moved) * tests/concurrency/.expect/preempt.txt (moved) * tests/concurrency/.expect/preempt2.txt (moved) * tests/concurrency/.expect/sleep.txt (moved) * tests/concurrency/.expect/suspend_then.txt (moved) * tests/concurrency/.expect/thread.txt (moved) * tests/concurrency/actors/.expect/dynamic.txt (added) * tests/concurrency/actors/.expect/executor.txt (added) * tests/concurrency/actors/.expect/inherit.txt (added) * tests/concurrency/actors/.expect/matrix.txt (added) * tests/concurrency/actors/.expect/pingpong.txt (added) * tests/concurrency/actors/.expect/poison.txt (added) * tests/concurrency/actors/.expect/static.txt (added) * tests/concurrency/actors/.expect/types.txt (added) * tests/concurrency/actors/dynamic.cfa (added) * tests/concurrency/actors/executor.cfa (added) * tests/concurrency/actors/inherit.cfa (added) * tests/concurrency/actors/matrix.cfa (added) * tests/concurrency/actors/pingpong.cfa (added) * tests/concurrency/actors/poison.cfa (added) * tests/concurrency/actors/static.cfa (added) * tests/concurrency/actors/types.cfa (added) * tests/concurrency/barrier/.expect/generation.txt (moved) * tests/concurrency/barrier/.expect/last.txt (moved) * tests/concurrency/barrier/.expect/order.txt (moved) * tests/concurrency/barrier/gen_generation_expect.cfa (moved) * tests/concurrency/barrier/generation.cfa (moved) * tests/concurrency/barrier/last.cfa (moved) * tests/concurrency/barrier/order.cfa (moved) * tests/concurrency/channels/.expect/big_elems.txt (added) * tests/concurrency/channels/.expect/churn.txt (moved) * tests/concurrency/channels/.expect/contend.txt (moved) * tests/concurrency/channels/.expect/daisy_chain.txt (moved) * tests/concurrency/channels/.expect/hot_potato.txt (moved) * tests/concurrency/channels/.expect/ping_pong.txt (moved) * tests/concurrency/channels/.expect/pub_sub.txt (added) * tests/concurrency/channels/.expect/zero_size.txt (added) * tests/concurrency/channels/barrier.cfa (added) * tests/concurrency/channels/big_elems.cfa (added) * tests/concurrency/channels/churn.cfa (added) * tests/concurrency/channels/contend.cfa (added) * tests/concurrency/channels/daisy_chain.cfa (added) * tests/concurrency/channels/hot_potato.cfa (added) * tests/concurrency/channels/parallel_harness.hfa (added) * tests/concurrency/channels/ping_pong.cfa (added) * tests/concurrency/channels/pub_sub.cfa (added) * tests/concurrency/channels/zero_size.cfa (added) * tests/concurrency/clib.c (moved) * tests/concurrency/clib_tls.c (moved) * tests/concurrency/cluster.cfa (moved) * tests/concurrency/coroutineYield.cfa (moved) * tests/concurrency/ctor-check.cfa (moved) * tests/concurrency/examples/.expect/boundedBufferEXT.txt (moved) * tests/concurrency/examples/.expect/boundedBufferINT.txt (moved) * tests/concurrency/examples/.expect/datingService.txt (moved) * tests/concurrency/examples/.expect/gortn.txt (moved) * tests/concurrency/examples/.expect/matrixSum.txt (moved) * tests/concurrency/examples/.expect/quickSort.txt (moved) * tests/concurrency/examples/.in/quickSort.txt (moved) * tests/concurrency/examples/boundedBufferEXT.cfa (moved) * tests/concurrency/examples/boundedBufferINT.cfa (moved) * tests/concurrency/examples/boundedBufferTHREAD.cfa (moved) * tests/concurrency/examples/datingService.cfa (moved) * tests/concurrency/examples/gortn.cfa (moved) * tests/concurrency/examples/matrixSum.cfa (moved) * tests/concurrency/examples/multiSort.cfa (moved) * tests/concurrency/examples/quickSort.cfa (moved) * tests/concurrency/examples/quickSort.generic.cfa (moved) * tests/concurrency/futures/.expect/abandon.txt (added) * tests/concurrency/futures/.expect/basic.txt (added) * tests/concurrency/futures/.expect/multi.txt (added) * tests/concurrency/futures/.expect/select_future.txt (added) * tests/concurrency/futures/.expect/typed.txt (added) * tests/concurrency/futures/.expect/wait_any.txt (added) * tests/concurrency/futures/abandon.cfa (moved) * tests/concurrency/futures/basic.cfa (moved) * tests/concurrency/futures/multi.cfa (moved) * tests/concurrency/futures/select_future.cfa (added) * tests/concurrency/futures/typed.cfa (moved) * tests/concurrency/futures/wait_any.cfa (moved) * tests/concurrency/join.cfa (moved) * tests/concurrency/joinerror.cfa (moved) * tests/concurrency/keywordErrors.cfa (moved) * tests/concurrency/lockfree_stack.cfa (added) * tests/concurrency/mainError.cfa (moved) * tests/concurrency/migrate.cfa (moved) * tests/concurrency/monitor.cfa (moved) * tests/concurrency/multi-monitor.cfa (moved) * tests/concurrency/mutexstmt/.expect/locks.txt (moved) * tests/concurrency/mutexstmt/.expect/monitors.txt (moved) * tests/concurrency/mutexstmt/locks.cfa (moved) * tests/concurrency/mutexstmt/monitors.cfa (moved) * tests/concurrency/once.cfa (moved) * tests/concurrency/park/.expect/contention.txt (moved) * tests/concurrency/park/.expect/force_preempt.txt (moved) * tests/concurrency/park/.expect/start_parked.txt (added) * tests/concurrency/park/contention.cfa (moved) * tests/concurrency/park/force_preempt.cfa (moved) * tests/concurrency/park/start_parked.cfa (moved) * tests/concurrency/preempt.cfa (moved) * tests/concurrency/preempt2.cfa (moved) * tests/concurrency/pthread/.expect/bounded_buffer.x64.txt (added) * tests/concurrency/pthread/.expect/bounded_buffer.x86.txt (added) * tests/concurrency/pthread/.expect/pthread_attr_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_cond_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_create_join.txt (moved) * tests/concurrency/pthread/.expect/pthread_demo_lock.txt (moved) * tests/concurrency/pthread/.expect/pthread_key_test.txt (moved) * tests/concurrency/pthread/.expect/pthread_once_test.txt (moved) * tests/concurrency/pthread/bounded_buffer.cfa (moved) * tests/concurrency/pthread/pthread_attr_test.cfa (moved) * tests/concurrency/pthread/pthread_cond_test.cfa (moved) * tests/concurrency/pthread/pthread_demo_create_join.cfa (moved) * tests/concurrency/pthread/pthread_demo_lock.cfa (moved) * tests/concurrency/pthread/pthread_key_test.cfa (moved) * tests/concurrency/pthread/pthread_once_test.cfa (moved) * tests/concurrency/readyQ/.expect/barrier_sleeper.txt (moved) * tests/concurrency/readyQ/.expect/leader_spin.txt (moved) * tests/concurrency/readyQ/barrier_sleeper.cfa (moved) * tests/concurrency/readyQ/leader_spin.cfa (moved) * tests/concurrency/signal/.expect/block.txt (moved) * tests/concurrency/signal/.expect/disjoint.txt (moved) * tests/concurrency/signal/.expect/wait.txt (moved) * tests/concurrency/signal/block.cfa (moved) * tests/concurrency/signal/disjoint.cfa (moved) * tests/concurrency/signal/wait.cfa (moved) * tests/concurrency/sleep.cfa (moved) * tests/concurrency/suspend_then.cfa (moved) * tests/concurrency/thread.cfa (moved) * tests/concurrency/unified_locking/.expect/block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/exp_backoff.txt (moved) * tests/concurrency/unified_locking/.expect/fast_block_lock.txt (moved) * tests/concurrency/unified_locking/.expect/futex_mutex.txt (moved) * tests/concurrency/unified_locking/.expect/locks.txt (moved) * tests/concurrency/unified_locking/.expect/mcs.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_block_spin_lock.txt (moved) * tests/concurrency/unified_locking/.expect/mcs_spin.txt (moved) * tests/concurrency/unified_locking/.expect/pthread_locks.txt (moved) * tests/concurrency/unified_locking/.expect/simple_owner_lock.txt (moved) * tests/concurrency/unified_locking/.expect/spin_queue_lock.txt (moved) * tests/concurrency/unified_locking/.expect/timeout_lock.txt (moved) * tests/concurrency/unified_locking/block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/exp_backoff.cfa (moved) * tests/concurrency/unified_locking/fast_block_lock.cfa (moved) * tests/concurrency/unified_locking/futex_mutex.cfa (moved) * tests/concurrency/unified_locking/locks.cfa (moved) * tests/concurrency/unified_locking/mcs.cfa (moved) * tests/concurrency/unified_locking/mcs_block_spin_lock.cfa (moved) * tests/concurrency/unified_locking/mcs_spin.cfa (moved) * tests/concurrency/unified_locking/mutex_test.hfa (moved) * tests/concurrency/unified_locking/pthread_locks.cfa (moved) * tests/concurrency/unified_locking/simple_owner_lock.cfa (moved) * tests/concurrency/unified_locking/spin_queue_lock.cfa (moved) * tests/concurrency/unified_locking/spintest.cfa (added) * tests/concurrency/unified_locking/test_debug.cfa (added) * tests/concurrency/unified_locking/thread_test.cfa (moved) * tests/concurrency/unified_locking/timeout_lock.cfa (moved) * tests/concurrency/waitfor/.expect/barge.txt (moved) * tests/concurrency/waitfor/.expect/dtor.txt (moved) * tests/concurrency/waitfor/.expect/else.txt (moved) * tests/concurrency/waitfor/.expect/parse.txt (added) * tests/concurrency/waitfor/.expect/recurse.txt (moved) * tests/concurrency/waitfor/.expect/statment.txt (moved) * tests/concurrency/waitfor/.expect/when.txt (moved) * tests/concurrency/waitfor/barge.cfa (moved) * tests/concurrency/waitfor/dtor.cfa (moved) * tests/concurrency/waitfor/else.cfa (moved) * tests/concurrency/waitfor/parse.cfa (added) * tests/concurrency/waitfor/recurse.cfa (moved) * tests/concurrency/waitfor/simple.cfa (moved) * tests/concurrency/waitfor/statment.cfa (moved) * tests/concurrency/waitfor/when.cfa (moved) * tests/concurrency/waituntil/.expect/all_types.txt (added) * tests/concurrency/waituntil/.expect/basic_else.txt (added) * tests/concurrency/waituntil/.expect/channel_close.txt (added) * tests/concurrency/waituntil/.expect/channel_zero_size.txt (added) * tests/concurrency/waituntil/.expect/channels.txt (added) * tests/concurrency/waituntil/.expect/futures.txt (added) * tests/concurrency/waituntil/.expect/locks.txt (added) * tests/concurrency/waituntil/.expect/one_chan.txt (added) * tests/concurrency/waituntil/.expect/timeout.txt (added) * tests/concurrency/waituntil/all_types.cfa (added) * tests/concurrency/waituntil/basic_else.cfa (added) * tests/concurrency/waituntil/channel_close.cfa (added) * tests/concurrency/waituntil/channel_zero_size.cfa (added) * tests/concurrency/waituntil/channels.cfa (added) * tests/concurrency/waituntil/futures.cfa (added) * tests/concurrency/waituntil/locks.cfa (added) * tests/concurrency/waituntil/one_chan.cfa (added) * tests/concurrency/waituntil/timeout.cfa (added) * tests/concurrent/.expect/keywordErrors.txt (deleted) * tests/concurrent/.expect/mainError.txt (deleted) * tests/concurrent/mutexstmt/.expect/scoped_lock.txt (deleted) * tests/concurrent/mutexstmt/scoped_lock.cfa (deleted) * tests/concurrent/pthread/.expect/bounded_buffer.txt (deleted) * tests/concurrent/waitfor/parse.cfa (deleted) * tests/concurrent/waitfor/parse2.cfa (deleted) * tests/declarationSpecifier.cfa (modified) * tests/enum_tests/.expect/pointerEnum.cfa (deleted) * tests/enum_tests/.expect/qualifiedEnum.cfa (deleted) * tests/enum_tests/.expect/typedIntEnum.txt (modified) * tests/enum_tests/pointerEnum.cfa (modified) * tests/enum_tests/typedIntEnum.cfa (modified) * tests/errors/.expect/declaration.txt (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/include/includes.cfa (modified) * tests/io/comp_basic.cfa (modified) * tests/io/comp_fair.cfa (modified) * tests/linking/mangling/.expect/anon.txt (added) * tests/linking/mangling/header.hfa (modified) * tests/linking/mangling/lib.cfa (modified) * tests/linking/mangling/main.cfa (modified) * tests/pybin/settings.py (modified) * tests/quotedKeyword.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/unified_locking/.expect/lin_backoff.txt (deleted) * tests/unified_locking/lin_backoff.cfa (deleted) * tests/zombies/gc_no_raii/bug-repro/deref.c (modified) * tests/zombies/gc_no_raii/bug-repro/malloc.c (modified) * tests/zombies/gc_no_raii/bug-repro/zero.c (modified) * tests/zombies/gc_no_raii/test/operators.c (modified) * tests/zombies/prolog.c (deleted) Merge branch 'master' into ast-experimental Thu, 01 Jun 2023 22:29:47 GMT Fangren Yu [251ce80] * src/AST/SymbolTable.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/Validate/ReplaceTypedef.cpp (modified) remove reference to symbol table in unify Thu, 25 May 2023 17:01:00 GMT Andrew Beach [bccd70a] * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Concurrency/Waituntil.cpp (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/MakeLibCfaNew.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/Tuples/Explode.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) Removed internal code from TypeSubstitution header. It caused a chain ... Tue, 02 May 2023 07:44:31 GMT Fangren Yu [46da46b] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) current progress Wed, 29 Mar 2023 15:07:03 GMT Andrew Beach [9feb34b] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/DeclStats.cpp (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ToString.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/include/cassert (modified) Moved toString and toCString to a new header. Updated includes. ... Mon, 13 Feb 2023 16:17:08 GMT Andrew Beach [c97b448] * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Added some box pass utilities that I believe are working and I don't ... Thu, 09 Feb 2023 21:28:30 GMT Andrew Beach [5e3f1e1] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Added guards to cut ... Fri, 03 Feb 2023 20:11:51 GMT Andrew Beach [e9b5043] * src/Common/ScopedMap.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/ScopedSet.h (modified) Added contains to some of our containers. Also changed some code to ... Fri, 03 Feb 2023 19:12:21 GMT Andrew Beach [2f61765] * src/GenPoly/ScrubTyVars.cc (modified) Fixed a clang warning and cleaned up the rest of the function. Fri, 03 Feb 2023 15:13:49 GMT Andrew Beach [85dd381] * src/GenPoly/ScopedSet.h (modified) Fixed indentation in ScopedSet and moved the iterator details to the ... Thu, 02 Feb 2023 21:10:15 GMT Andrew Beach [98a2b1dc] * src/Common/ScopedMap.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) Updated ScopedMap to use the layout of ErasableScopedMap; putting the ... Thu, 19 Jan 2023 16:36:58 GMT Andrew Beach [a0d1f1c] * src/AST/Node.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/typeops.h (modified) Header Clean-up: Removed no longer needed includes from typeops, and ... Wed, 18 Jan 2023 17:14:42 GMT Andrew Beach [5bf3976] * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/ResolvExpr/AdjustExprType.hpp (added) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CastCost.hpp (added) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (added) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.hpp (added) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsAssignable.hpp (added) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/PtrsCastable.hpp (added) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.hpp (added) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/WidenMode.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) Header Clean-Up: Created new headers for new AST typeops and moved ... Tue, 17 Jan 2023 19:05:52 GMT Andrew Beach [7b5694d] * src/AST/Expr.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/Validate/FixReturnTypes.cpp (modified) Header Clean-up: Moved more things from typeops to Unify. Tue, 17 Jan 2023 16:57:46 GMT Andrew Beach [e563edf] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Header Clean-up: Clearing out typeops, moving things to Unify because ... Mon, 16 Jan 2023 20:41:46 GMT Andrew Beach [9845cb6] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Removed an unused ... Wed, 04 Jan 2023 14:54:01 GMT Andrew Beach [331ee52c] * src/GenPoly/Box.cc (modified) Should silence a GCC 12 warning. Tue, 03 Jan 2023 21:28:56 GMT Andrew Beach [8d9d974] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Compacting one of the ... Fri, 23 Dec 2022 15:40:46 GMT Andrew Beach [ea2ed3a] * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Reorganize ScrubTyVars, the Node specialization trick is redundent ... Tue, 20 Dec 2022 18:25:59 GMT Andrew Beach [49db841] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Renamed the numbered ... Mon, 19 Dec 2022 21:44:03 GMT Andrew Beach [d18540f] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Cleaning unused code ... Fri, 02 Dec 2022 14:53:16 GMT Andrew Beach [474a170] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Removing another out ... Wed, 30 Nov 2022 16:50:22 GMT Andrew Beach [5a4b403] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. I believe I have an ... Tue, 29 Nov 2022 16:49:44 GMT Andrew Beach [9f70a67b] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Again, this loop ... Thu, 24 Nov 2022 16:46:16 GMT Andrew Beach [82a90d4] * src/GenPoly/GenPoly.h (modified) Follow up to TypeEnvKey/TypeDecl, removing extra includes (but I only ... 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 ... Mon, 14 Nov 2022 18:51:50 GMT Andrew Beach [c1fb3903] * src/GenPoly/ErasableScopedMap.h (modified) Reformat/re-indent the ErasableScopedMap. This should make it easier ... Wed, 09 Nov 2022 17:30:24 GMT Andrew Beach [271a5d3] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Cleaned up more loops, ... Tue, 08 Nov 2022 21:12:00 GMT Andrew Beach [4da152a] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Cleaning old box pass for easier translation. Adding a bunch of const ... Fri, 04 Nov 2022 16:07:04 GMT Andrew Beach [a805100] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Refactor to remove ... Thu, 03 Nov 2022 20:11:16 GMT Andrew Beach [7ed7b4a] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Added documentation to ... Thu, 03 Nov 2022 14:27:45 GMT Andrew Beach [f6aa89c] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Isolated the ... Tue, 01 Nov 2022 20:58:01 GMT Andrew Beach [03c56f6] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Another change, this ... Tue, 01 Nov 2022 18:39:04 GMT Andrew Beach [75f6a5f] * src/GenPoly/GenPoly.cc (modified) Found a likely error in GenPoly.cc, now the new and old versions are ... Tue, 01 Nov 2022 18:05:16 GMT Andrew Beach [b3212de] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Scattered ... Tue, 01 Nov 2022 14:48:46 GMT Andrew Beach [1dafdfc] * src/GenPoly/InstantiateGenericNew.cpp (modified) * tests/.expect/loop-inc.txt (added) * tests/loop-inc.cfa (added) Moved code from _dtype_static_member_ initializer to an assignment in ... Mon, 31 Oct 2022 18:17:21 GMT Andrew Beach [994028dc] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Clean-up more loops. Mon, 31 Oct 2022 16:16:40 GMT Andrew Beach [e3bf4cf] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Used isInFunction() to ... Mon, 31 Oct 2022 14:09:36 GMT Andrew Beach [637c139] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Simplify another loop, ... Fri, 28 Oct 2022 22:04:29 GMT Andrew Beach [0b1ca47] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) Cleaning old box pass for easier translation. Changed over for loops, ... Fri, 28 Oct 2022 21:54:15 GMT Andrew Beach [f1f481a] * src/GenPoly/Box.cc (modified) Cleaning old box pass for easier translation. Removing unused functions. Thu, 27 Oct 2022 16:29:48 GMT Andrew Beach [0026d67] * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/Virtual/ExpandCasts.cc (modified) Replaced Mangle::typeMode() with Mangle::mangleType(...), as it is ... Thu, 27 Oct 2022 15:43:10 GMT Andrew Beach [63d1ebe] * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) Changed GenPoly::TypeVarMap to use the same key type as ... Thu, 20 Oct 2022 14:34:39 GMT Andrew Beach [bc899d6] * src/AST/Vector.hpp (added) * src/AST/module.mk (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) Added ast::vector as a short hand and used it in one file as a test. Fri, 14 Oct 2022 18:54:23 GMT Andrew Beach [fad1f14] * src/AST/Pass.hpp (modified) * src/GenPoly/ScrubTyVars.h (modified) Small bits of clean-up I would rather not want to keep looking at. Fri, 07 Oct 2022 20:09:36 GMT Andrew Beach [c8837e5] * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Rewrite in GenPoly to avoid mixing new AST and TyVarMap (which ... Thu, 06 Oct 2022 20:00:41 GMT Andrew Beach [8c91088] * src/GenPoly/Box.cc (modified) Slight improvement to documentation in Box.cc. Thu, 06 Oct 2022 15:25:49 GMT Andrew Beach [7fffb1b] * src/GenPoly/Lvalue.h (modified) * src/GenPoly/LvalueNew.cpp (added) * src/GenPoly/module.mk (modified) * src/main.cc (modified) Translated the convertLvalue pass. It could possibly use some ... Thu, 22 Sep 2022 18:23:18 GMT Andrew Beach [e01eb4a] * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/Common/Eval.cc (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Tuples/Tuples.cc (modified) Moved some functions from InitTweak to Inspect. Wed, 21 Sep 2022 14:52:51 GMT Thierry Delisle [0bd46fd] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Fixed several warnings Tue, 20 Sep 2022 19:07:46 GMT Andrew Beach [8f1e035] * src/AST/Create.cpp (added) * src/AST/Create.hpp (added) * src/AST/module.mk (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) Created a new module for more ast helpers. Put in code to efficiently ... Mon, 19 Sep 2022 20:22:16 GMT Andrew Beach [ae1d151] * src/AST/Type.hpp (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Lvalue2.cc (modified) White-space fixes and an improvement to some clean-up. Wed, 14 Sep 2022 20:36:56 GMT Thierry Delisle [25793da] * src/Concurrency/WaitforNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 14 Sep 2022 20:36:51 GMT Thierry Delisle [01865fb] * src/GenPoly/InstantiateGenericNew.cpp (modified) New pass mixin now has 1 use Wed, 14 Sep 2022 15:53:40 GMT Andrew Beach [c36814a] * src/Concurrency/WaitforNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) Adding 'final' and removing a redundent namespace in the post resolve ... Wed, 14 Sep 2022 14:13:33 GMT Andrew Beach [1c0657a] * src/GenPoly/InstantiateGenericNew.cpp (added) Forgot to add the main new code file. Wed, 14 Sep 2022 13:46:19 GMT Andrew Beach [3606fe4] * src/AST/Decl.hpp (modified) * src/AST/Type.hpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * src/main.cc (modified) Translated Instantiate Generic to the new AST. This includes various ... Tue, 26 Jul 2022 20:45:07 GMT Andrew Beach [13d326ec] * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) More clean-up, including some removing some duplicate functions. Tue, 26 Jul 2022 18:17:49 GMT Fangren Yu [dd33c1f] * src/AST/Decl.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/Validate/Autogen.cpp (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 26 Jul 2022 18:17:27 GMT Fangren Yu [4c48be0] * src/GenPoly/SpecializeNew.cpp (modified) remove debug print Tue, 26 Jul 2022 14:15:26 GMT Andrew Beach [5cf1228] * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) Clean-up the new specialize pass. (Especially the cruft from the ... Mon, 25 Jul 2022 18:23:28 GMT Fangren Yu [ffec1bf] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/readyQ/churn.cfa (modified) * benchmark/readyQ/cycle.cfa (modified) * benchmark/readyQ/cycle.cpp (modified) * benchmark/readyQ/locality.cfa (modified) * benchmark/readyQ/locality.cpp (modified) * benchmark/readyQ/yield.cfa (modified) * benchmark/readyQ/yield.cpp (modified) * doc/bibliography/pl.bib (modified) * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/.gitignore (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMSG.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/SAVE.fig (deleted) * doc/theses/thierry_delisle_PhD/thesis/fig/SQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_ts2.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-noshare.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-share.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cycle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/executionStates.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/idle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle1.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle2.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle_state.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/io_uring.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/system.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/local.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * libcfa/Makefile.am (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/heap.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (added) * src/AST/Inspect.hpp (added) * src/AST/Pass.impl.hpp (modified) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Eval.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptDecl.cc (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/Autogen.hpp (modified) * src/Validate/CompoundLiteral.hpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (added) * src/Validate/EnumAndPointerDecay.hpp (added) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixQualifiedTypes.hpp (modified) * src/Validate/FixReturnTypes.cpp (added) * src/Validate/FixReturnTypes.hpp (added) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/GenericParameter.hpp (modified) * src/Validate/HoistStruct.hpp (modified) * src/Validate/HoistTypeDecls.cpp (added) * src/Validate/HoistTypeDecls.hpp (added) * src/Validate/LabelAddressFixer.cpp (modified) * src/Validate/LabelAddressFixer.hpp (modified) * src/Validate/LinkReferenceToTypes.cpp (added) * src/Validate/LinkReferenceToTypes.hpp (added) * src/Validate/ReplaceTypedef.cpp (added) * src/Validate/ReplaceTypedef.hpp (added) * src/Validate/VerifyCtorDtorAssign.cpp (added) * src/Validate/VerifyCtorDtorAssign.hpp (added) * src/Validate/module.mk (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/attributes.nast.arm64.txt (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/alloc2.cfa (modified) * tests/enum.cfa (modified) * tests/enum_tests/structEnum.cfa (modified) * tests/pybin/tools.py (modified) * tests/unified_locking/.expect/pthread_locks.txt (modified) * tests/unified_locking/mutex_test.hfa (modified) * tests/unified_locking/pthread_locks.cfa (modified) * tools/gdb/utils-gdb.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 25 Jul 2022 18:23:00 GMT Fangren Yu [9e23b446] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (added) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) add specialize pass Fri, 22 Jul 2022 15:59:15 GMT Thierry Delisle [18070ee] * src/GenPoly/Box.cc (modified) Change box pass to scope better when polymorphic functions get ... Fri, 24 Jun 2022 16:12:26 GMT Thierry Delisle [3322180] * src/GenPoly/Box.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.arm64.txt (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) Fix enum assignment warning Wed, 22 Jun 2022 16:59:09 GMT Thierry Delisle [c19edd1] * src/Common/ResolvProtoDump.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Mangler.cc (modified) Removed some warnings and fixed some whitespace Tue, 14 Jun 2022 14:55:46 GMT Andrew Beach [a8b87d3] * src/AST/Pass.impl.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/GenPoly/Specialize.cc (modified) Various bits of clean-up. The big one was some renaming inside ... Tue, 17 May 2022 19:44:08 GMT Andrew Beach [9939dc3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain2.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Indenter.cc (added) * src/Common/Indenter.h (modified) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue2.cc (added) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (added) * src/SymTab/ValidateType.h (added) * src/SymTab/module.mk (modified) * src/SynTree/BaseSyntaxNode.cc (added) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/module.mk (modified) * src/main.cc (modified) Reduced the number of object files linked into the demangler. Some of ...