# # ChangeLog for src/Validate/Autogen.cpp # # Generated by Trac 1.2.1 # Nov 16, 2024, 7:00:23 AM Wed, 10 Jul 2024 22:55:54 GMT JiadaL [9d5eacb] * src/Parser/DeclarationNode.hpp (modified) * src/ResolvExpr/ResolveTypeof.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) Fix the bug with typed anomynous enum got incorrect forward declaration Wed, 10 Jul 2024 07:39:26 GMT JiadaL [bb336a6] * libcfa/src/enum.hfa (modified) * src/AST/Create.cpp (modified) * src/AST/Create.hpp (modified) * src/ResolvExpr/ResolveTypeof.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) Fixed the problem when enum use another enumerator as initializer Mon, 10 Jun 2024 06:43:13 GMT JiadaL [85855b0] * libcfa/prelude/builtins.c (modified) * libcfa/src/enum.cfa (modified) * libcfa/src/enum.hfa (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Util.cpp (modified) * src/GenPoly/Lvalue.cpp (modified) * src/Parser/TypeData.cpp (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cpp (modified) * src/ResolvExpr/CommonType.cpp (modified) * src/ResolvExpr/ConversionCost.cpp (modified) * src/ResolvExpr/Resolver.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) * tests/enum_tests/.expect/enumInlineValue.txt (modified) * tests/enum_tests/enumInlineValue.cfa (modified) 1. Implement enum cast; 2. Change valueE so that opague enum returns ... Fri, 10 May 2024 20:06:07 GMT Andrew Beach [c92bdcc] * driver/cfa.cc (modified) * src/AST/Decl.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Label.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/LinkageSpec.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Util.cpp (modified) * src/BasicTypes-gen.cpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/CodeGen/FixMain.cpp (moved) * src/CodeGen/FixMain.hpp (moved) * src/CodeGen/FixNames.cpp (moved) * src/CodeGen/FixNames.hpp (moved) * src/CodeGen/GenType.cpp (moved) * src/CodeGen/GenType.hpp (moved) * src/CodeGen/Generate.cpp (moved) * src/CodeGen/Generate.hpp (moved) * src/CodeGen/LinkOnce.cpp (moved) * src/CodeGen/LinkOnce.hpp (moved) * src/CodeGen/OperatorTable.cpp (moved) * src/CodeGen/OperatorTable.hpp (moved) * src/CodeGen/Options.hpp (moved) * src/CodeGen/module.mk (modified) * src/Common/Assert.cpp (moved) * src/Common/CodeLocation.hpp (moved) * src/Common/CodeLocationTools.cpp (modified) * src/Common/DebugMalloc.cpp (moved) * src/Common/DeclStats.cpp (modified) * src/Common/ErrorObjects.hpp (moved) * src/Common/Eval.cpp (moved) * src/Common/Eval.hpp (moved) * src/Common/Examine.cpp (moved) * src/Common/Examine.hpp (moved) * src/Common/FilterCombos.hpp (moved) * src/Common/Indenter.cpp (moved) * src/Common/Indenter.hpp (moved) * src/Common/PersistentMap.hpp (moved) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ScopedMap.hpp (moved) * src/Common/SemanticError.cpp (moved) * src/Common/SemanticError.hpp (moved) * src/Common/Stats.hpp (moved) * src/Common/Stats/Base.hpp (moved) * src/Common/Stats/Counter.cpp (moved) * src/Common/Stats/Counter.hpp (moved) * src/Common/Stats/Heap.cpp (moved) * src/Common/Stats/Heap.hpp (moved) * src/Common/Stats/ResolveTime.cpp (moved) * src/Common/Stats/ResolveTime.hpp (moved) * src/Common/Stats/Stats.cpp (moved) * src/Common/Stats/Time.cpp (moved) * src/Common/Stats/Time.hpp (moved) * src/Common/UniqueName.cpp (moved) * src/Common/UniqueName.hpp (moved) * src/Common/Utility.hpp (moved) * src/Common/VectorMap.hpp (moved) * src/Common/module.mk (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/Concurrency/Keywords.hpp (moved) * src/Concurrency/Waitfor.cpp (modified) * src/Concurrency/Waitfor.hpp (moved) * src/Concurrency/Waituntil.cpp (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cpp (modified) * src/ControlStruct/ExceptDecl.hpp (moved) * src/ControlStruct/ExceptTranslate.cpp (modified) * src/ControlStruct/ExceptTranslate.hpp (moved) * src/GenPoly/Box.cpp (modified) * src/GenPoly/Box.hpp (moved) * src/GenPoly/ErasableScopedMap.hpp (moved) * src/GenPoly/FindFunction.cpp (moved) * src/GenPoly/FindFunction.hpp (moved) * src/GenPoly/GenPoly.cpp (moved) * src/GenPoly/GenPoly.hpp (moved) * src/GenPoly/InstantiateGeneric.cpp (modified) * src/GenPoly/InstantiateGeneric.hpp (moved) * src/GenPoly/Lvalue.cpp (modified) * src/GenPoly/Lvalue.hpp (moved) * src/GenPoly/Lvalue2.cpp (moved) * src/GenPoly/ScopedSet.hpp (moved) * src/GenPoly/ScrubTypeVars.cpp (modified) * src/GenPoly/ScrubTypeVars.hpp (modified) * src/GenPoly/Specialize.cpp (modified) * src/GenPoly/Specialize.hpp (moved) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cpp (moved) * src/InitTweak/FixGlobalInit.hpp (moved) * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/FixInit.hpp (moved) * src/InitTweak/GenInit.cpp (moved) * src/InitTweak/GenInit.hpp (moved) * src/InitTweak/InitTweak.cpp (moved) * src/InitTweak/InitTweak.hpp (moved) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cpp (modified) * src/Makefile.am (modified) * src/Parser/DeclarationNode.cpp (moved) * src/Parser/DeclarationNode.hpp (moved) * src/Parser/ExpressionNode.cpp (moved) * src/Parser/ExpressionNode.hpp (moved) * src/Parser/InitializerNode.cpp (moved) * src/Parser/InitializerNode.hpp (moved) * src/Parser/ParseNode.cpp (moved) * src/Parser/ParseNode.hpp (moved) * src/Parser/ParserTypes.hpp (moved) * src/Parser/ParserUtility.hpp (moved) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cpp (moved) * src/Parser/StatementNode.hpp (moved) * src/Parser/TypeData.cpp (moved) * src/Parser/TypeData.hpp (moved) * src/Parser/TypedefTable.cpp (moved) * src/Parser/TypedefTable.hpp (moved) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cpp (moved) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/CastCost.cpp (moved) * src/ResolvExpr/CastCost.hpp (modified) * src/ResolvExpr/CommonType.cpp (moved) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cpp (moved) * src/ResolvExpr/ConversionCost.hpp (moved) * src/ResolvExpr/Cost.hpp (moved) * src/ResolvExpr/CurrentObject.cpp (moved) * src/ResolvExpr/CurrentObject.hpp (moved) * src/ResolvExpr/ExplodedArg.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/ResolvExpr/FindOpenVars.cpp (moved) * src/ResolvExpr/FindOpenVars.hpp (moved) * src/ResolvExpr/PolyCost.cpp (moved) * src/ResolvExpr/PtrsAssignable.cpp (moved) * src/ResolvExpr/PtrsCastable.cpp (moved) * src/ResolvExpr/RenameVars.cpp (moved) * src/ResolvExpr/RenameVars.hpp (moved) * src/ResolvExpr/ResolveTypeof.cpp (moved) * src/ResolvExpr/ResolveTypeof.hpp (moved) * src/ResolvExpr/Resolver.cpp (moved) * src/ResolvExpr/Resolver.hpp (moved) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cpp (moved) * src/ResolvExpr/Typeops.hpp (moved) * src/ResolvExpr/Unify.cpp (moved) * src/ResolvExpr/Unify.hpp (moved) * src/ResolvExpr/WidenMode.hpp (moved) * src/ResolvExpr/module.mk (modified) * src/SymTab/Demangle.cpp (moved) * src/SymTab/Demangle.hpp (moved) * src/SymTab/FixFunction.cpp (moved) * src/SymTab/FixFunction.hpp (moved) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/SymTab/Mangler.cpp (moved) * src/SymTab/Mangler.hpp (moved) * src/SymTab/ManglerCommon.cpp (moved) * src/SymTab/demangler.cpp (moved) * src/SymTab/module.mk (modified) * src/Tuples/Explode.cpp (moved) * src/Tuples/Explode.hpp (moved) * src/Tuples/TupleAssignment.cpp (moved) * src/Tuples/TupleExpansion.cpp (modified) * src/Tuples/Tuples.cpp (moved) * src/Tuples/Tuples.hpp (moved) * src/Tuples/module.mk (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/CompoundLiteral.cpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/FindSpecialDecls.cpp (modified) * src/Validate/FindSpecialDecls.hpp (moved) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Validate/VerifyCtorDtorAssign.cpp (modified) * src/Virtual/ExpandCasts.cpp (moved) * src/Virtual/ExpandCasts.hpp (moved) * src/Virtual/Tables.cpp (moved) * src/Virtual/Tables.hpp (moved) * src/Virtual/module.mk (modified) * src/main.cpp (modified) Updated the rest of the names in src/ (except for the generated files). Tue, 07 May 2024 19:37:39 GMT Andrew Beach [b2ea0cd] * src/AST/BasicKind.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/BasicTypes-gen.cpp (moved) * src/CodeGen/FixNames.cc (modified) * src/CompilationState.cpp (moved) * src/CompilationState.hpp (moved) * src/InitTweak/GenInit.cc (modified) * src/MakeLibCfa.cpp (modified) * src/MakeLibCfa.hpp (moved) * src/Makefile.am (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/Validate/Autogen.cpp (modified) * src/main.cpp (moved) First wave of file renaming. Rename files in src/ and update all ... Mon, 15 Apr 2024 16:03:53 GMT JiadaL [af746cc] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/GenPoly/Lvalue.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (added) * src/Validate/ImplementEnumFunc.hpp (added) * src/Validate/ReplacePseudoFunc.cpp (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Reimplement the resolution of Enum instance type Wed, 06 Mar 2024 11:06:30 GMT JiadaL [bbf2cb1] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Add the Working support to succ() and pred() pseudo function to Enum Fri, 01 Mar 2024 21:32:35 GMT JiadaL [00eaeb8] * src/ResolvExpr/ConversionCost.cc (modified) * src/Validate/Autogen.cpp (modified) Add prototype of succ function Mon, 26 Feb 2024 08:53:42 GMT JiadaL [a4da45e] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/proposals/enum.tex (modified) * doc/theses/jiada_liang_MMath/CFAenum.tex (added) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/content1.tex (deleted) * doc/theses/jiada_liang_MMath/content2.tex (deleted) * doc/theses/jiada_liang_MMath/implementation.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) * doc/user/user.tex (modified) * libcfa/src/Exception.hfa (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/collections/string.cfa (modified) * libcfa/src/collections/string.hfa (modified) * libcfa/src/collections/string_res.cfa (modified) * libcfa/src/collections/string_res.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/AST/Attribute.hpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/DeclarationNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/Validate/Autogen.cpp (modified) * src/main.cc (modified) * tests/.expect/attributes.arm64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/collections/.expect/string-istream-manip.txt (modified) * tests/collections/.in/string-istream-manip.txt (modified) * tests/collections/string-istream-manip.cfa (modified) * tests/configs/parsebools.cfa (modified) * tests/configs/parsenums.cfa (modified) * tests/configs/usage.cfa (modified) * tests/errors/.expect/declaration.txt (modified) * tests/exceptions/pingpong_nonlocal.cfa (modified) * tests/io/.in/manipulatorsInput.txt (modified) * tests/io/manipulatorsInput.cfa (modified) * tools/cfa.nanorc (modified) Resolve conflict Mon, 26 Feb 2024 08:49:23 GMT JiadaL [0522ebe] * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Add EnumPosType to type system Fri, 23 Feb 2024 21:04:07 GMT Andrew Beach [1761046] * src/Validate/Autogen.cpp (modified) Note to self: Check the comments before you push. Fri, 23 Feb 2024 20:59:35 GMT Andrew Beach [4e2f1b2] * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/Validate/Autogen.cpp (modified) Clean-up of GenImplicitCall module. Changing the return type for ... Thu, 01 Feb 2024 22:28:18 GMT JiadaL [020fa10] * src/Validate/Autogen.cpp (modified) Remove duality functions. They are replaced by recent changed in Cost ... Thu, 01 Feb 2024 22:05:54 GMT JiadaL [496ffc17] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Fix dangling reference to posE function 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. ... Wed, 24 Jan 2024 11:05:16 GMT JiadaL [544deb9] * src/AST/Decl.hpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Update ReplacePseudoFunc, mostly the runtime lookup for attribute ... Fri, 19 Jan 2024 07:44:41 GMT JiadaL [f988834] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/collections/array.hfa (modified) * libcfa/src/collections/string.cfa (modified) * libcfa/src/collections/string.hfa (modified) * libcfa/src/collections/string_res.cfa (modified) * libcfa/src/collections/string_res.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/raii.hfa (added) * src/AST/Attribute.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/Makefile.am (modified) * tests/array-collections/.expect/array-raii-c.txt (added) * tests/array-collections/.expect/array-raii-cfa.txt (added) * tests/array-collections/array-raii-c.cfa (added) * tests/array-collections/array-raii-cfa.cfa (added) * tests/array-collections/array-raii.hfa (added) * tests/collections/.expect/string-api-coverage.txt (modified) * tests/collections/.expect/string-compare.txt (modified) * tests/collections/.expect/string-istream-manip.txt (modified) * tests/collections/string-api-coverage.cfa (modified) * tests/collections/string-compare.cfa (modified) * tests/collections/string-overwrite.cfa (modified) * tests/concurrency/examples/quickSort.cfa (modified) * tests/exceptions/hotpotato.cfa (modified) * tests/exceptions/hotpotato_checked.cfa (modified) * tests/io/.expect/manipulatorsInput.arm64.txt (modified) * tests/io/.expect/manipulatorsInput.x64.txt (modified) * tests/io/.expect/manipulatorsInput.x86.txt (modified) * tests/io/.in/manipulatorsInput.txt (modified) * tests/io/manipulatorsInput.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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). ... Thu, 11 Jan 2024 13:46:37 GMT Andrew Beach [b262cb3] * src/AST/Attribute.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Unified and fixed handling of parameter attributes. Mon, 13 Nov 2023 18:40:12 GMT Andrew Beach [0bd3faf] * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/CodeGen/CodeGeneratorNew.cpp (modified) * src/CodeGen/CodeGeneratorNew.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * 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/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AdjustExprType.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CastCost.hpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PolyCost.hpp (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsAssignable.hpp (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/PtrsCastable.hpp (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/SymTab/Mangler.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/Autogen.cpp (modified) Removed forward declarations missed in the BaseSyntaxNode removal. ... Mon, 31 Jul 2023 15:25:51 GMT Andrew Beach [14c0f7b] * src/AST/Create.cpp (modified) * src/AST/Util.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/main.cc (modified) Added invariant to check that referenced declarations are in scope. ... Fri, 16 Jun 2023 22:40:44 GMT Andrew Beach [b1e21da] * src/Validate/Autogen.cpp (modified) Removed duplicate substution code in Autogen. 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 Tue, 30 May 2023 15:13:58 GMT Andrew Beach [8913de4] * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/Validate/Autogen.cpp (modified) Update in autogen that should help with some resolver issues and ... 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 ... Fri, 14 Apr 2023 19:55:06 GMT Andrew Beach [fb4dc28] * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/module.mk (modified) * src/Validate/Autogen.cpp (modified) Moved new ast code out of one of the old files. The new file may have ... Wed, 21 Sep 2022 13:38:34 GMT Andrew Beach [20737104] * src/AST/Create.cpp (modified) * src/AST/Create.hpp (modified) * src/Validate/Autogen.cpp (modified) Wrote a new asForward helper for Autogen. Wed, 21 Sep 2022 00:37:05 GMT JiadaL [4520b77e] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/enum_tests/.expect/funcEnum.txt (added) * tests/enum_tests/.expect/pointerEnum.cfa (added) * tests/enum_tests/.expect/qualifiedEnum.cfa (added) * tests/enum_tests/.expect/voidEnum.txt (added) * tests/enum_tests/funcEnum.cfa (added) * tests/enum_tests/pointerEnum.cfa (added) * tests/enum_tests/qualifiedEnum.cfa (added) * tests/enum_tests/structEnum.cfa (modified) * tests/enum_tests/voidEnum.cfa (added) Merge to Master Sept 19 Tue, 26 Jul 2022 15:35:02 GMT Andrew Beach [e8616b6] * 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/InitTweak/FixInitNew.cpp (modified) * src/Validate/Autogen.cpp (modified) Changed the default Linkage on ast::ObjectDecl from C to Cforall. ... Mon, 25 Jul 2022 16:29:40 GMT JiadaL [d958834b] * src/CodeGen/CodeGenerator.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/enum_tests/structEnum.cfa (modified) Save a minimal compilable version. The enum pointer ... Fri, 24 Jun 2022 18:59:41 GMT Thierry Delisle [91715ce1] * src/Validate/Autogen.cpp (modified) Don't autogen for struct with flexible array members [[fixes #261]] 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 Thu, 02 Jun 2022 08:12:53 GMT JiadaL [fc134a48] * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/.expect/attributes.oast.x86.txt (modified) * tests/enum_tests/.expect/structEnum.txt (added) * tests/enum_tests/structEnum.cfa (added) Implement the struct enum Mon, 09 May 2022 15:38:08 GMT Andrew Beach [7edd5c1] * src/AST/Convert.cpp (modified) * src/AST/Copy.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.cpp (modified) * src/Validate/Autogen.cpp (modified) Assorted fixes to the AST, found while I was trying to add more ... Tue, 29 Mar 2022 20:09:51 GMT Andrew Beach [b230091] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) Added a 'missing' TypeInstType constructor and rewrote some calls to ... Thu, 27 Jan 2022 14:37:26 GMT Andrew Beach [00a8e19] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Validate/Autogen.cpp (modified) Missed one required file for the validate D changes, I think it was ... Wed, 26 Jan 2022 19:42:52 GMT Andrew Beach [a488783] * src/AST/Copy.hpp (modified) * src/AST/Node.hpp (modified) * src/ControlStruct/HoistControlDecls.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (added) * src/ControlStruct/module.mk (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/Autogen.cpp (added) * src/Validate/Autogen.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) Translated the first half of validate-D. HoistControlStruct is pretty ...