# # ChangeLog for src/Tuples # # Generated by Trac 1.2.1 # Nov 8, 2024, 6:07:33 AM Fri, 07 Jun 2024 20:53:25 GMT Andrew Beach [405dbb3] * src/Tuples/TupleAssignment.cpp (modified) Noticing that a function could have an early exit to save a level of ... Thu, 30 May 2024 18:36:08 GMT Andrew Beach [822332e] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/ResolvExpr/CommonType.cpp (modified) * src/ResolvExpr/Unify.cpp (modified) * src/Tuples/Tuples.hpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) It seems clang uses different scoping rules for the trailing return ... Sat, 11 May 2024 22:13:16 GMT Andrew Beach [5f225f5] * src/AST/TypeSubstitution.cpp (modified) * src/Common/Assert.cpp (modified) * src/Common/FilterCombos.hpp (modified) * src/Common/Stats.hpp (modified) * src/Common/Stats/Base.hpp (modified) * src/Common/Stats/Heap.cpp (modified) * src/Common/Stats/Stats.cpp (modified) * src/CompilationState.cpp (modified) * src/Concurrency/Waituntil.hpp (modified) * src/GenPoly/ErasableScopedMap.hpp (modified) * src/GenPoly/GenPoly.cpp (modified) * src/GenPoly/Lvalue.hpp (modified) * src/GenPoly/Lvalue2.cpp (modified) * src/GenPoly/ScopedSet.hpp (modified) * src/GenPoly/Specialize.hpp (modified) * src/InitTweak/GenInit.cpp (modified) * src/InitTweak/InitTweak.hpp (modified) * src/Makefile.am (modified) * src/ResolvExpr/AdjustExprType.cpp (modified) * src/ResolvExpr/PolyCost.cpp (modified) * src/ResolvExpr/PtrsAssignable.cpp (modified) * src/ResolvExpr/PtrsCastable.cpp (modified) * src/ResolvExpr/SpecCost.cpp (modified) * src/Tuples/Tuples.hpp (modified) * src/Virtual/Tables.cpp (modified) * src/include/cassert (modified) * src/include/optional (modified) Perhaps only src/Makefile.am needed to change, but I did a text ... 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). Thu, 18 Apr 2024 21:19:17 GMT Andrew Beach [7a780ad] * src/AST/BasicKind.hpp (added) * src/AST/Expr.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Waitfor.cpp (modified) * src/Concurrency/Waituntil.cpp (modified) * src/ControlStruct/ExceptDecl.cpp (modified) * src/ControlStruct/ExceptTranslate.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Makefile.am (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/Tuples/TupleExpansion.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Moved ast::BasicType::Kind to ast::BasicKind in its own hearder. This ... Wed, 17 Apr 2024 14:50:36 GMT Andrew Beach [7aa209e7] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) Fixing some whitespace around a recent merge. That lead to some ... Thu, 30 Nov 2023 19:41:11 GMT Andrew Beach [4a89b52] * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/ResolveMode.hpp (moved) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) Renamed ResolvMode to ResolveMode. This is less consistent with the ... 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. Thu, 30 Nov 2023 17:10:06 GMT Andrew Beach [6009a5a] * src/Tuples/TupleExpansion.cc (deleted) * src/Tuples/TupleExpansion.cpp (moved) * src/Tuples/module.mk (modified) Combined the new and old TupleExpansion files. Thu, 16 Nov 2023 20:31:57 GMT Andrew Beach [e580aa5] * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) Round of clean-up in Tuples directory. (Skipping TupleExpansion, ... 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. ... 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. 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, 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 Mon, 26 Sep 2022 14:32:56 GMT Andrew Beach [36cb4d9] * src/Tuples/TupleExpansionNew.cpp (modified) Reorganize the expandTuple pass to hopefully make it easier to follow. 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 13:22:24 GMT Andrew Beach [e9e9f56] * src/AST/Pass.hpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Used the WithCodeLocation helper in more passes. This cleans up some ... 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 ... Mon, 15 Aug 2022 21:29:20 GMT Andrew Beach [e116db3] * src/Tuples/TupleExpansionNew.cpp (modified) Combined some sub-passes in Tuple Expansion, two less tree traversals ... Fri, 29 Jul 2022 18:08:31 GMT Andrew Beach [ce1d721] * src/Tuples/TupleExpansionNew.cpp (modified) Changed the indentation in TupleExpansionNew.cpp to match the ... Fri, 29 Jul 2022 16:15:29 GMT Andrew Beach [b507dcd] * src/Tuples/TupleExpansionNew.cpp (modified) * src/Tuples/Tuples.h (modified) * src/main.cc (modified) Converted the Expand Tuples pass to the new ast. Wed, 20 Jul 2022 15:42:29 GMT Andrew Beach [11df881] * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptDecl.cc (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/Autogen.hpp (modified) * src/Validate/CompoundLiteral.hpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/EnumAndPointerDecay.hpp (modified) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixQualifiedTypes.hpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/FixReturnTypes.hpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/GenericParameter.hpp (modified) * src/Validate/HoistStruct.hpp (modified) * src/Validate/HoistTypeDecls.cpp (modified) * src/Validate/HoistTypeDecls.hpp (modified) * src/Validate/LabelAddressFixer.cpp (modified) * src/Validate/LabelAddressFixer.hpp (modified) * src/Validate/LinkReferenceToTypes.hpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Validate/ReplaceTypedef.hpp (modified) * src/Validate/VerifyCtorDtorAssign.cpp (modified) * src/Validate/VerifyCtorDtorAssign.hpp (modified) * src/main.cc (modified) Updated documentation on pre-resolver passes, moving code to headers ... 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 ... Wed, 16 Mar 2022 20:41:01 GMT Andrew Beach [39d8950] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Validate/FindSpecialDeclsNew.cpp (modified) Thread global information through resolution. Non-top-level calls to ... Thu, 11 Nov 2021 00:47:45 GMT Fangren Yu [b7fd9daf] * src/AST/Convert.cpp (modified) * src/AST/Copy.hpp (modified) * src/AST/Expr.hpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) * src/Tuples/Tuples.h (modified) * src/main.cc (modified) Merge branch 'new-ast-unique-expr' Thu, 11 Nov 2021 00:21:57 GMT Fangren Yu [bb9924c] * src/AST/Convert.cpp (modified) * src/Tuples/TupleExpansionNew.cpp (modified) fix unique expr pass Mon, 23 Aug 2021 19:50:04 GMT Henry Xue [d249e0b] * src/Tuples/TupleExpansionNew.cpp (added) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) Add expandMemberTuples pass to use new AST Wed, 18 Aug 2021 17:15:22 GMT Henry Xue [01d433e] * src/Tuples/TupleExpansionNew.cpp (added) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/main.cc (modified) Convert expandUniqueExpr pass to use new AST (NOT WORKING) ... Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu [3e5dd913] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/ForallSubstitutionTable.cpp (deleted) * src/AST/ForallSubstitutionTable.hpp (deleted) * src/AST/ForallSubstitutor.hpp (deleted) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * tests/errors/.expect/completeType.nast.x64.txt (modified) * tests/errors/.expect/completeType.nast.x86.txt (modified) * tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified) reimplement function type and eliminate deep copy Tue, 25 Aug 2020 15:58:21 GMT Thierry Delisle [5339a87] * src/AST/module.mk (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/module.mk (modified) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/module.mk (modified) Added headers to Makefile Sources (since they are supposed to be) Sat, 15 Aug 2020 04:02:02 GMT Fangren Yu [74807be] * src/Tuples/Explode.cc (modified) please do not create a node and throw it away Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach [7ff3e522] * src/AST/Copy.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Eval.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Tuples.cc (modified) {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about ... Fri, 07 Aug 2020 20:26:58 GMT Fangren Yu [ba662b9] * src/Tuples/Tuples.cc (modified) actually run impurity check Tue, 28 Jul 2020 18:39:52 GMT Fangren Yu [3251b66] * src/Tuples/TupleAssignment.cc (modified) use different autogen prefix for new ast Tue, 28 Jul 2020 18:37:36 GMT Fangren Yu [c408483] * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/Explode.cc (modified) cleanup Mon, 06 Apr 2020 20:46:28 GMT Thierry Delisle [7030dab] * Jenkinsfile_disabled (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/x64/schedint.csv (moved) * benchmark/baselines/x86/schedint.csv (moved) * benchmark/basic/fetch_add.c (added) * benchmark/basic/function.c (added) * benchmark/basic/loop.c (added) * benchmark/basic/tls_fetch_add.c (moved) * benchmark/basic/ttst_lock.c (moved) * benchmark/bench.h (modified) * benchmark/creation/JavaThread.java (modified) * benchmark/creation/cfa_cor.cfa (modified) * benchmark/creation/cfa_gen.cfa (added) * benchmark/creation/cfa_thrd.cfa (modified) * benchmark/creation/goroutine.go (modified) * benchmark/creation/node_cor.js (added) * benchmark/creation/pthreads.c (modified) * benchmark/creation/python_cor.py (added) * benchmark/creation/rust_thrd.rs (added) * benchmark/creation/upp_cor.cc (modified) * benchmark/creation/upp_thrd.cc (modified) * benchmark/ctxswitch/JavaThread.java (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (modified) * benchmark/ctxswitch/cfa_gen.cfa (modified) * benchmark/ctxswitch/cfa_thrd.cfa (modified) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/ctxswitch/goroutine.go (modified) * benchmark/ctxswitch/kos_fibre.cpp (modified) * benchmark/ctxswitch/kos_fibre2.cpp (modified) * benchmark/ctxswitch/node_await.js (added) * benchmark/ctxswitch/node_cor.js (added) * benchmark/ctxswitch/pthreads.c (modified) * benchmark/ctxswitch/python_cor.py (added) * benchmark/ctxswitch/rust_thrd.rs (added) * benchmark/ctxswitch/upp_cor.cc (modified) * benchmark/ctxswitch/upp_thrd.cc (modified) * benchmark/exclude (added) * benchmark/fetch_add.c (deleted) * benchmark/function.c (deleted) * benchmark/loop.c (deleted) * benchmark/mutex/JavaThread.java (modified) * benchmark/mutex/cfa1.cfa (modified) * benchmark/mutex/cfa2.cfa (modified) * benchmark/mutex/cfa4.cfa (modified) * benchmark/mutex/goroutine.go (added) * benchmark/mutex/pthreads.c (modified) * benchmark/mutex/rust.rs (added) * benchmark/mutex/upp.cc (modified) * benchmark/mutexC/JavaThread.java (added) * benchmark/mutexC/cfa1.cfa (added) * benchmark/mutexC/cfa2.cfa (added) * benchmark/mutexC/cfa4.cfa (added) * benchmark/mutexC/pthreads.c (added) * benchmark/mutexC/rust.rs (added) * benchmark/mutexC/upp.cc (added) * benchmark/schedext/cfa1.cfa (modified) * benchmark/schedext/cfa2.cfa (modified) * benchmark/schedext/cfa4.cfa (modified) * benchmark/schedext/goroutine.go (added) * benchmark/schedext/upp.cc (modified) * benchmark/schedint/JavaThread.java (modified) * benchmark/schedint/cfa1.cfa (modified) * benchmark/schedint/cfa2.cfa (modified) * benchmark/schedint/cfa4.cfa (modified) * benchmark/schedint/pthreads.c (modified) * benchmark/schedint/rust.rs (added) * benchmark/schedint/upp.cc (modified) * benchmark/size/size.cfa (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/DatingServiceThread.cfa (added) * doc/papers/concurrency/examples/Fib.js (added) * doc/papers/concurrency/examples/Fib.py (modified) * doc/papers/concurrency/examples/Fib2.c (modified) * doc/papers/concurrency/examples/Fib2.py (modified) * doc/papers/concurrency/examples/Fib3.c (modified) * doc/papers/concurrency/examples/FibRefactor.py (modified) * doc/papers/concurrency/examples/Format.c (modified) * doc/papers/concurrency/examples/Format.cc (modified) * doc/papers/concurrency/examples/Format.cfa (modified) * doc/papers/concurrency/examples/Format.data (modified) * doc/papers/concurrency/examples/Format.js (added) * doc/papers/concurrency/examples/Format.py (modified) * doc/papers/concurrency/examples/Format1.c (modified) * doc/papers/concurrency/examples/PingPong.c (modified) * doc/papers/concurrency/examples/Pingpong.py (modified) * doc/papers/concurrency/examples/ProdCons.py (modified) * doc/papers/concurrency/examples/RWMonitorEXT.cfa (moved) * doc/papers/concurrency/examples/RWMonitorINT.cfa (added) * doc/papers/concurrency/examples/Refactor.py (modified) * doc/papers/concurrency/examples/channels.go (added) * doc/papers/concurrency/examples/channels.rs (added) * doc/papers/concurrency/examples/future.rs (added) * doc/papers/concurrency/figures/FullCoroutinePhases.fig (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (modified) * doc/papers/concurrency/mail2 (modified) * doc/papers/concurrency/response (added) * doc/papers/ibm_CASCON19/ThreadingModels.fig (added) * doc/papers/ibm_CASCON19/ThreadingModels.png (added) * doc/papers/ibm_CASCON19/ThreadingModels.svg (added) * doc/papers/ibm_CASCON19/abstract.txt (added) * doc/papers/ibm_CASCON19/client.cfa (added) * doc/papers/ibm_CASCON19/server.cfa (added) * doc/papers/ibm_CASCON19/slides.pdf (added) * doc/theses/andrew_beach_MMath/.gitignore (added) * doc/theses/andrew_beach_MMath/Makefile (added) * doc/theses/andrew_beach_MMath/cfalab.sty (added) * doc/theses/andrew_beach_MMath/thesis-frontpgs.tex (added) * doc/theses/andrew_beach_MMath/thesis.bib (added) * doc/theses/andrew_beach_MMath/thesis.tex (added) * doc/theses/andrew_beach_MMath/unwinding.tex (added) * doc/theses/andrew_beach_MMath/uw-ethesis.cls (added) * doc/theses/thierry_delisle_PhD/.gitignore (added) * doc/theses/thierry_delisle_PhD/code/Makefile (added) * doc/theses/thierry_delisle_PhD/code/bts.cpp (added) * doc/theses/thierry_delisle_PhD/code/bts_test.cpp (added) * doc/theses/thierry_delisle_PhD/code/randbit.cpp (added) * doc/theses/thierry_delisle_PhD/code/relaxed_list.cpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) * doc/theses/thierry_delisle_PhD/code/relaxed_list_layout.cpp (added) * doc/theses/thierry_delisle_PhD/code/scale.sh (added) * doc/theses/thierry_delisle_PhD/code/utils.hpp (modified) * doc/theses/thierry_delisle_PhD/comp_II/Makefile (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/comp_II_too_big.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/glossary.tex (added) * doc/theses/thierry_delisle_PhD/comp_II/img/base.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/empty.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptybit.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytls.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/emptytree.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/resize.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/img/system.fig (added) * doc/theses/thierry_delisle_PhD/comp_II/local.bib (added) * doc/user/user.tex (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * examples/io/filereader.c (added) * examples/io/simple/client.c (added) * examples/io/simple/server.c (added) * examples/io_uring.c (added) * examples/io_uring.txt (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/extras.regx2 (added) * libcfa/prelude/prototypes.awk (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/assert.cfa (modified) * libcfa/src/bitmanip.hfa (added) * libcfa/src/bits/align.hfa (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/debug.hfa (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/bits/signal.hfa (modified) * libcfa/src/clock.hfa (modified) * libcfa/src/concurrency/CtxSwitch-arm.S (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/monitor.hfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/mutex.hfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/exception.h (modified) * libcfa/src/executor.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/math.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/startup.cfa (modified) * libcfa/src/stdhdr/assert.h (modified) * libcfa/src/stdhdr/bfdlink.h (modified) * libcfa/src/stdhdr/hwloc.h (modified) * libcfa/src/stdhdr/krb5.h (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/stdhdr/math.h (modified) * libcfa/src/stdhdr/sys/ucontext.h (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.in (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/Visitor.hpp (modified) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeGen/Options.h (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/Debug.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/Stats/Time.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (deleted) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (added) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/alloc.txt (modified) * tests/.expect/bitmanip.x64.txt (added) * tests/.expect/bitmanip.x86.txt (added) * tests/.expect/declarationErrors.txt (deleted) * tests/.expect/loopctrl.txt (modified) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/rational.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/scopeErrors.txt (deleted) * tests/.expect/time.txt (modified) * tests/.expect/userLiterals.txt (added) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abort.cfa (deleted) * tests/alloc.cfa (modified) * tests/bitmanip.cfa (added) * tests/builtins/sync.cfa (modified) * tests/concurrent/.expect/keywordErrors.txt (added) * tests/concurrent/.expect/suspend_then.txt (added) * tests/concurrent/coroutineYield.cfa (modified) * tests/concurrent/examples/.expect/datingService.txt (modified) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferTHREAD.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/keywordErrors.cfa (added) * tests/concurrent/multi-monitor.cfa (modified) * tests/concurrent/park/.expect/contention.txt (added) * tests/concurrent/park/.expect/force_preempt.txt (added) * tests/concurrent/park/contention.cfa (added) * tests/concurrent/park/force_preempt.cfa (added) * tests/concurrent/preempt.cfa (modified) * tests/concurrent/signal/block.cfa (modified) * tests/concurrent/signal/wait.cfa (modified) * tests/concurrent/suspend_then.cfa (moved) * tests/concurrent/thread.cfa (modified) * tests/concurrent/waitfor/barge.cfa (modified) * tests/concurrent/waitfor/dtor.cfa (modified) * tests/concurrent/waitfor/else.cfa (modified) * tests/concurrent/waitfor/parse.cfa (modified) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/concurrent/waitfor/recurse.cfa (modified) * tests/concurrent/waitfor/statment.cfa (modified) * tests/concurrent/waitfor/when.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/raii.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (modified) * tests/errors/.expect/completeType.txt (moved) * tests/errors/.expect/declaration.txt (added) * tests/errors/.expect/scope.txt (added) * tests/errors/.expect/signature.txt (added) * tests/errors/completeType.cfa (moved) * tests/errors/declaration.cfa (moved) * tests/errors/scope.cfa (moved) * tests/errors/signature.cfa (added) * tests/errors/suspend.cfa (added) * tests/except-0.cfa (deleted) * tests/except-1.cfa (deleted) * tests/except-2.cfa (deleted) * tests/except-3.cfa (deleted) * tests/exceptions/.expect/conditional.txt (added) * tests/exceptions/.expect/finally-error.txt (added) * tests/exceptions/.expect/finally.txt (added) * tests/exceptions/.expect/interact.txt (added) * tests/exceptions/.expect/resume.txt (added) * tests/exceptions/.expect/terminate.txt (added) * tests/exceptions/conditional.cfa (added) * tests/exceptions/except-io.hfa (added) * tests/exceptions/except-mac.hfa (moved) * tests/exceptions/finally-error.cfa (added) * tests/exceptions/finally.cfa (added) * tests/exceptions/interact.cfa (added) * tests/exceptions/resume.cfa (added) * tests/exceptions/terminate.cfa (added) * tests/expression.cfa (modified) * tests/generator/.expect/fibonacci.txt (added) * tests/generator/.expect/fmtLines.txt (added) * tests/generator/.expect/suspend_then.txt (added) * tests/generator/.in/fmtLines.txt (added) * tests/generator/fibonacci.cfa (added) * tests/generator/fmtLines.cfa (added) * tests/generator/suspend_then.cfa (added) * tests/heap.cfa (modified) * tests/labelledExit.cfa (modified) * tests/linking/.expect/nostdlib.txt (added) * tests/linking/nostdlib.cfa (added) * tests/linking/withthreads.cfa (modified) * tests/loopctrl.cfa (modified) * tests/nested-types.cfa (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (modified) * tests/raii/dtor-early-exit.cfa (modified) * tests/rational.cfa (modified) * tests/references.cfa (modified) * tests/test.py (modified) * tests/time.cfa (modified) * tests/userLiterals.cfa (modified) * tests/zombies/context.cfa (moved) * tests/zombies/namedParmArg.cfa (moved) * tests/zombies/occursError.cfa (moved) * tests/zombies/scope.cfa (moved) * tests/zombies/structMember.cfa (moved) * tests/zombies/subrange.cfa (moved) * tests/zombies/typeGenerator.cfa (moved) * tests/zombies/typedef.cfa (moved) * tests/zombies/typedefDeclarator.cfa (moved) * tests/zombies/virtualCast.cfa (moved) * tests/zombies/withStatement.cfa (moved) * tools/auto-complete.md (added) * tools/catchsig.c (modified) * tools/cfa.nanorc (modified) * tools/gdb/.gdbinit (added) * tools/gdb/README (added) * tools/gdb/utils-gdb.gdb (added) * tools/gdb/utils-gdb.py (added) * tools/langserver/cfa-ls (added) * tools/langserver/src/json.hpp (added) * tools/langserver/src/log.cpp (added) * tools/langserver/src/log.hpp (added) * tools/langserver/src/main.cpp (added) * tools/langserver/src/server.cpp (added) * tools/langserver/src/server.hpp (added) * tools/stat.py (modified) * tools/vscode/uwaterloo.cforall-0.1.0/client/main.js (added) * tools/vscode/uwaterloo.cforall-0.1.0/images/icon.png (added) * tools/vscode/uwaterloo.cforall-0.1.0/package.json (modified) * tools/vscode/uwaterloo.cforall-0.1.0/server/out/server (added) * tools/vscode/uwaterloo.cforall-0.1.0/syntaxes/cfa.tmLanguage.json (added) Merge branch 'master' into new-ast Mon, 16 Dec 2019 19:30:41 GMT Peter A. Buhr [07de76b] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeVar.hpp (deleted) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (modified) * src/Common/Debug.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Demangle.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/LinkageSpec.cc (moved) * src/SynTree/LinkageSpec.h (moved) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * tests/.expect/completeTypeError.txt (modified) remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move ... Fri, 11 Oct 2019 18:23:30 GMT Andrew Beach [3f3bfe5a] * src/AST/CVQualifiers.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Type.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TopLvalue.cc (deleted) * src/SynTree/TopLvalue.h (deleted) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Merge from master to new-ast. Removing old lvalue support. Thu, 26 Sep 2019 17:25:49 GMT Andrew Beach [b4f8808] * src/CodeGen/GenType.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Removed lvalue from types in the old ast. Wed, 24 Jul 2019 14:42:18 GMT Thierry Delisle [96ac72c] * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/stdlib.hfa (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * tests/.expect/copyfile.txt (modified) * tests/.expect/heap.txt (added) * tests/.in/copyfile.txt (modified) * tests/copyfile.cfa (modified) * tests/heap.cfa (modified) Merge branch 'master' into new-ast Mon, 22 Jul 2019 18:19:57 GMT Andrew Beach [fd642d2] * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Added const in a few more places. This should be all the leaf areas ... Fri, 19 Jul 2019 19:29:37 GMT Andrew Beach [335d81f] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) getFunction has const version and maybeImpure[IgnoreUnique] have ... Fri, 19 Jul 2019 18:16:01 GMT Thierry Delisle [f53acdf8] * Jenkinsfile_disabled (modified) * Makefile.am (modified) * Makefile.in (modified) * benchmark/Makefile.am (modified) * benchmark/creation/qthreads.c (deleted) * benchmark/ctxswitch/qthreads.c (deleted) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/mail2 (added) * doc/user/user.tex (modified) * driver/cfa.cc (modified) * libcfa/prelude/builtins.c (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/bits/debug.cfa (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/executor.cfa (added) * libcfa/src/expat.h (deleted) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/main.cc (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/copyfile.txt (added) * tests/.in/copyfile.txt (added) * tests/copyfile.cfa (added) * tests/linking/.expect/nothreads.txt (added) * tests/linking/.expect/withthreads.txt (added) * tests/linking/nothreads.cfa (added) * tests/linking/withthreads.cfa (added) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/pybin/tools.py (modified) * tests/sum.cfa (modified) * tests/swap.cfa (modified) * tests/test.py (modified) Merge branch 'master' into new-ast Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle [7870799] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Cast cost and conversion cost now take constant parameters. This ... Fri, 28 Jun 2019 19:50:21 GMT Aaron Moss [417117e] * src/AST/Eval.hpp (added) * src/AST/Expr.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.h (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) Assorted cleanup Tue, 25 Jun 2019 15:26:30 GMT Aaron Moss [9ea38de] * Jenkinsfile (deleted) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/main.cc (modified) Fix ast::Pass guard classes Thu, 20 Jun 2019 22:50:42 GMT Aaron Moss [b8524ca] * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.hpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) new AST porting * mostly InitTweak autogeneration * added some ... Thu, 20 Jun 2019 18:32:55 GMT Aaron Moss [234b1cb] * src/AST/Init.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Port TupleAssignment to new AST Tue, 18 Jun 2019 13:44:23 GMT Andrew Beach [bc92bee] * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) Implemented Tuples::maybeImpure while it was fresh in my mind. Mon, 17 Jun 2019 19:55:21 GMT Andrew Beach [b910d15] * src/Makefile.in (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.cc (added) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) Implemented new versions of Tuples/Explode. Tue, 11 Jun 2019 21:52:50 GMT Aaron Moss [432ce7a] * src/AST/Print.hpp (modified) * src/AST/porting.md (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/ExplodedArg.cpp (added) * src/ResolvExpr/ExplodedArg.hpp (added) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) Port CandidateFinder::postvisit for UntypedExpr, stub dependencies Thu, 23 May 2019 15:01:23 GMT Thierry Delisle [3ca912a] * src/Tuples/TupleExpansion.cc (modified) Implemented missing functions in TupleExplansion Tue, 21 May 2019 15:26:40 GMT Thierry Delisle [0588d8c] * src/Common/Eval.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Stubbed a few routines for later to help compilation Fri, 17 May 2019 16:08:46 GMT Thierry Delisle [77bfc80] * src/Common/SemanticError.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/SynTree/Declaration.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Fixed some warnings and better messaging for unimplemented stubs Thu, 16 May 2019 22:46:51 GMT Aaron Moss [9b4f329] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SynTree/SynTree.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Finished porting AST::Expr subclasses Tue, 07 May 2019 17:39:08 GMT Thierry Delisle [02fdb8e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/Tuples/TupleExpansion.cc (modified) Added WithConstTypeSubstitution accessory on pass visitor. Mostly ... Thu, 28 Feb 2019 17:03:24 GMT tdelisle [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... Thu, 14 Feb 2019 15:26:59 GMT Peter A. Buhr [e15853c] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleExpansion.cc (modified) remove leading underscores in enums for _FloatNN and _Bool Mon, 11 Feb 2019 13:30:38 GMT Peter A. Buhr [aac99da] * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change BasicType::Bool to BasicType::_Bool Wed, 17 Oct 2018 20:16:18 GMT Aaron Moss [2c187378] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Fix memory bugs in deferred resolution Fri, 12 Oct 2018 19:19:35 GMT Aaron Moss [6d6e829] * src/Common/FilterCombos.h (added) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) First compiling draft of deferred assertions (build failure) Tue, 22 May 2018 20:09:29 GMT Rob Schluntz [753bf60] * src/Tuples/TupleAssignment.cc (modified) Resolve RHS tuple assignment alternative with cast to include missing ... Thu, 17 May 2018 20:37:31 GMT Rob Schluntz [aee472e] * src/Tuples/TupleExpansion.cc (modified) Reduce the number of unnecessary temporaries generated for member ... Thu, 17 May 2018 20:25:54 GMT Rob Schluntz [d20a343] * src/Tuples/TupleAssignment.cc (modified) Add cast to LHS type in tuple multiple assignment Thu, 17 May 2018 20:22:05 GMT Rob Schluntz [4f68f6d] * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Minor cleanup Fri, 02 Mar 2018 22:34:52 GMT Rob Schluntz [938dd75] * src/Tuples/TupleAssignment.cc (modified) Fix a missing type binding problem in tuple assignment Wed, 14 Feb 2018 18:54:14 GMT Rob Schluntz [490ff5c3] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/Tuples/Explode.h (modified) Minor code cleanup Mon, 08 Jan 2018 21:20:38 GMT Rob Schluntz [f240484] * src/Tuples/TupleExpansion.cc (modified) Convert MemberTupleExpander to PassVisitor Mon, 18 Dec 2017 19:11:13 GMT Rob Schluntz [9058414] * src/Tuples/TupleAssignment.cc (modified) Generate reference assignment for reference component of a tuple ... Thu, 14 Dec 2017 15:45:11 GMT Rob Schluntz [c470ada] * src/Tuples/TupleExpansion.cc (modified) Transfer code location of tuple type to generated tuple struct Fri, 01 Dec 2017 15:37:40 GMT Rob Schluntz [82f3226] * src/Tuples/TupleAssignment.cc (modified) Remove trailing whitespace in TupleAssignment Fri, 01 Dec 2017 15:37:19 GMT Rob Schluntz [2449aef] * src/Tuples/TupleAssignment.cc (modified) Convert EnvRemover to PassVisitor Fri, 01 Dec 2017 15:35:50 GMT Rob Schluntz [027c496] * src/Tuples/TupleExpansion.cc (modified) Convert ImpurityDetector to PassVisitor Thu, 23 Nov 2017 21:24:48 GMT Aaron Moss [62194cb] * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/Tuples/Explode.h (modified) Reduce duplication of cost/env in ExplodedActual Wed, 22 Nov 2017 18:32:55 GMT Aaron Moss [bd4f2e9] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/Tuples/TupleAssignment.cc (modified) Switch AltList to std::vector from std::list Wed, 08 Nov 2017 22:43:33 GMT Aaron Moss [3f7e12cb] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/figures/dependency.fig (added) * doc/proposals/concurrency/figures/ext_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (deleted) * doc/proposals/concurrency/figures/system.fig (added) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (added) * doc/proposals/concurrency/text/internals.tex (added) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (added) * doc/proposals/concurrency/text/together.tex (added) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Indenter.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (deleted) * src/GenPoly/CopyParams.h (deleted) * src/GenPoly/DeclMutator.cc (deleted) * src/GenPoly/DeclMutator.h (deleted) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (deleted) * src/GenPoly/PolyMutator.h (deleted) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (deleted) * src/SynTree/AddStmtVisitor.h (deleted) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/ReferenceType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (deleted) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/SchedInt.c (deleted) * src/benchmark/ThrdCtxSwitch.c (deleted) * src/benchmark/bench.h (modified) * src/benchmark/create_cfaCor.c (deleted) * src/benchmark/create_cfaThrd.c (deleted) * src/benchmark/create_pthrd.c (deleted) * src/benchmark/create_uCor.cpp (deleted) * src/benchmark/create_uTask.cpp (deleted) * src/benchmark/creation/cfa_cor.c (added) * src/benchmark/creation/cfa_thrd.c (added) * src/benchmark/creation/pthreads.c (added) * src/benchmark/creation/upp_cor.cc (added) * src/benchmark/creation/upp_thrd.cc (added) * src/benchmark/csv-data.c (modified) * src/benchmark/ctxswitch/cfa_cor.c (added) * src/benchmark/ctxswitch/cfa_thrd.c (added) * src/benchmark/ctxswitch/pthreads.c (added) * src/benchmark/ctxswitch/upp_cor.cc (added) * src/benchmark/ctxswitch/upp_thrd.cc (added) * src/benchmark/mutex/cfa1.c (added) * src/benchmark/mutex/cfa2.c (added) * src/benchmark/mutex/cfa4.c (added) * src/benchmark/mutex/function.c (added) * src/benchmark/mutex/pthreads.c (added) * src/benchmark/mutex/upp.cc (added) * src/benchmark/schedext/cfa1.c (added) * src/benchmark/schedext/cfa2.c (added) * src/benchmark/schedext/cfa4.c (added) * src/benchmark/schedext/upp.cc (added) * src/benchmark/schedint/cfa1.c (added) * src/benchmark/schedint/cfa2.c (added) * src/benchmark/schedint/cfa4.c (added) * src/benchmark/schedint/upp.cc (added) * src/driver/cfa.cc (modified) * src/examples/sum.c (deleted) * src/include/cassert (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/algorithms.h (added) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr/libdebug.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/extras.c (modified) * src/prelude/extras.regx (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/32/attributes.txt (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/32/literals.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/.expect/64/attributes.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/64/literals.txt (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/concurrent/boundedBuffer.txt (added) * src/tests/.expect/concurrent/datingService.txt (added) * src/tests/.expect/concurrent/fmtLines.txt (moved) * src/tests/.expect/concurrent/matrixSum.txt (added) * src/tests/.expect/concurrent/pingpong.txt (moved) * src/tests/.expect/concurrent/prodcons.txt (moved) * src/tests/.expect/concurrent/sched-ext-barge.txt (added) * src/tests/.expect/concurrent/sched-ext-dtor.txt (added) * src/tests/.expect/concurrent/sched-ext-else.txt (added) * src/tests/.expect/concurrent/sched-ext-recurse.txt (added) * src/tests/.expect/concurrent/sched-ext-statment.txt (added) * src/tests/.expect/concurrent/sched-ext-when.txt (added) * src/tests/.expect/ctor-autogen-ERR1.txt (added) * src/tests/.expect/ctor-autogen.txt (added) * src/tests/.expect/polymorphism.txt (added) * src/tests/.expect/references.txt (added) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/sum.txt (added) * src/tests/.expect/typedefRedef-ERR1.txt (added) * src/tests/.expect/typedefRedef.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/boundedBuffer.c (added) * src/tests/coroutine.c (modified) * src/tests/ctor-autogen.c (added) * src/tests/datingService.c (added) * src/tests/fmtLines.c (modified) * src/tests/gmp.c (modified) * src/tests/literals.c (modified) * src/tests/matrixSum.c (added) * src/tests/polymorphism.c (added) * src/tests/prodcons.c (modified) * src/tests/random.c (modified) * src/tests/rational.c (modified) * src/tests/references.c (added) * src/tests/sched-ext-barge.c (added) * src/tests/sched-ext-dtor.c (added) * src/tests/sched-ext-else.c (added) * src/tests/sched-ext-parse.c (modified) * src/tests/sched-ext-recurse.c (added) * src/tests/sched-ext-statment.c (added) * src/tests/sched-ext-when.c (added) * src/tests/sched-ext.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/sum.c (added) * src/tests/thread.c (modified) * src/tests/typedefRedef.c (added) * tools/Makefile.am (added) * tools/Makefile.in (added) * tools/catchsig.c (added) * tools/repeat.c (added) * tools/repeat.old (moved) * tools/stat.py (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 08 Nov 2017 21:34:54 GMT Aaron Moss [78315272] * src/Tuples/TupleAssignment.cc (modified) Switch in new TupleAssignment Wed, 01 Nov 2017 21:40:05 GMT Rob Schluntz [f0ecf9b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Remove TypeDecl::Any, as it is subsumed by Dtype+sized Fri, 20 Oct 2017 15:45:53 GMT Aaron Moss [4b6ef70] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Fix one tuple bug in resolver refactor Thu, 05 Oct 2017 19:55:26 GMT Aaron Moss [c43c171] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) Add tuple handling to iterative resolver rewrite Thu, 05 Oct 2017 15:53:47 GMT Rob Schluntz [6bbce58] * src/Tuples/Explode.h (modified) Fix bug where explode removes non-reference casts in tuple assignment Thu, 05 Oct 2017 15:53:12 GMT Rob Schluntz [f5854507] * src/Tuples/TupleAssignment.cc (modified) Add debug prints to TupleAssignment.cc Mon, 02 Oct 2017 20:58:51 GMT Rob Schluntz [d29fa5f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) Remove has_result Mon, 25 Sep 2017 21:05:12 GMT Rob Schluntz [ac74057] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Convert AutogenTupleRoutines to PassVisitor Wed, 13 Sep 2017 18:34:55 GMT Thierry Delisle [e3e16bc] * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) Renamed safe_dynamic_cast to strict_dynamic_cast Tue, 22 Aug 2017 23:31:52 GMT Rob Schluntz [8135d4c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/CodeLocation.h (added) * src/Common/PassVisitor.h (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.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/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/ExpandCasts.h (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/libhdr.h (modified) * src/main.cc (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/KRfunctions.c (modified) * src/tests/except-0.c (modified) * src/tests/except-1.c (modified) * src/tests/except-2.c (modified) * src/tests/except-3.c (added) * src/tests/except-mac.h (added) * tools/build/clean_hdr.awk (added) * tools/build/clean_hdrs (added) * tools/build/time_make (added) Merge branch 'master' into references Tue, 22 Aug 2017 23:09:33 GMT Rob Schluntz [5fb6830] * src/Tuples/TupleAssignment.cc (modified) Simplify tuple assignment code now that explode is reference-cast- aware Tue, 22 Aug 2017 23:07:22 GMT Rob Schluntz [0b5d871] * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) Update explode for references Tue, 22 Aug 2017 21:31:27 GMT Rob Schluntz [9f10c4b8] * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) Add maybeImpureIgnoreUnique and convert tuple passes to use PassVisitor Tue, 15 Aug 2017 23:14:24 GMT Rob Schluntz [f6582243] * src/GenPoly/InstantiateGeneric.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Fix member expressions in the InstantiateGeneric pass so that they ... Tue, 15 Aug 2017 23:00:40 GMT Rob Schluntz [c93bc28] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/Tuples/TupleExpansion.cc (modified) Minor cleanup, debug statements Tue, 15 Aug 2017 17:38:04 GMT Thierry Delisle [be9288a] * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Fixed errors made by the clean-up tool Mon, 14 Aug 2017 18:03:39 GMT Rob Schluntz [9236060] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/generic_types.bib (deleted) * doc/generic_types/generic_types.tex (modified) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/tagged-struct.txt (deleted) * doc/proposals/virtual.txt (modified) * doc/refrat/Makefile (modified) * doc/refrat/keywords.tex (added) * doc/refrat/operidents.tex (added) * doc/refrat/refrat.tex (modified) * doc/rob_thesis/Makefile (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/EHMHierarchy.fig (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Virtual/ExpandCasts.cc (added) * src/Virtual/ExpandCasts.h (added) * src/Virtual/module.mk (added) * src/benchmark/create_pthrd.c (modified) * src/include/cassert (moved) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (deleted) * src/libcfa/assert.c (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (deleted) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/gmp.h (modified) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdhdr/malloc.h (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/virtual.c (added) * src/libcfa/virtual.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-barge.txt (deleted) * src/tests/.expect/div.txt (added) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/designations.c (modified) * src/tests/div.c (added) * src/tests/except-0.c (modified) * src/tests/except-1.c (added) * src/tests/except-2.c (added) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (deleted) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/result.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * src/tests/virtualCast.c (added) * tools/cfa.nanorc (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) Merge branch 'master' into references Fri, 11 Aug 2017 18:37:24 GMT Thierry Delisle [03321e4] * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Fixed headers for tuples folder Tue, 08 Aug 2017 18:50:30 GMT Rob Schluntz [c92c09c] * src/Tuples/TupleExpansion.cc (modified) Add tuple parameter bindings to type substitution Thu, 27 Jul 2017 18:04:55 GMT Rob Schluntz [7d49b72] * src/Tuples/TupleAssignment.cc (modified) Fix tuple assignment for tuple expression LHS by adding reference ... Tue, 25 Jul 2017 14:41:24 GMT Rob Schluntz [6d267ca] * src/Common/utility.h (modified) * src/Tuples/Explode.h (modified) Add unsafe_group_iterate Sat, 22 Jul 2017 14:58:08 GMT Peter A. Buhr [6b0b624] * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.h (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/typeobject.h (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) change #ifndef to #pragma once Fri, 21 Jul 2017 19:57:11 GMT Rob Schluntz [bff227f] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Refactor operator predicates into OperatorTable.cc