# # ChangeLog for src/InitTweak # # Generated by Trac 1.2.1 # Jul 5, 2024, 12:48:02 AM 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). Tue, 07 May 2024 19:37:39 GMT Andrew Beach [b2ea0cd] * src/AST/BasicKind.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/BasicTypes-gen.cpp (moved) * src/CodeGen/FixNames.cc (modified) * src/CompilationState.cpp (moved) * src/CompilationState.hpp (moved) * src/InitTweak/GenInit.cc (modified) * src/MakeLibCfa.cpp (modified) * src/MakeLibCfa.hpp (moved) * src/Makefile.am (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/ManglerCommon.cc (modified) * src/Validate/Autogen.cpp (modified) * src/main.cpp (moved) First wave of file renaming. Rename files in src/ and update all ... 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 ... Fri, 23 Feb 2024 20:59:35 GMT Andrew Beach [4e2f1b2] * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/Validate/Autogen.cpp (modified) Clean-up of GenImplicitCall module. Changing the return type for ... Thu, 01 Feb 2024 22:13:04 GMT JiadaL [9ddcee1] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Remove EnumPosExpr, an early design that no longer used. The ... Tue, 23 Jan 2024 19:16:13 GMT Andrew Beach [61e362f] * src/CodeGen/CodeGenerator.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/main.cc (modified) Changed notZeroExpr so that expressions with conditional contexts are ... Mon, 22 Jan 2024 19:04:04 GMT Andrew Beach [a4ed165] * src/InitTweak/FixInit.cpp (modified) I was working in FixInit.cpp so I did a round of general clean-up. ... Fri, 19 Jan 2024 07:44:41 GMT JiadaL [f988834] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/user/user.tex (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/collections/array.hfa (modified) * libcfa/src/collections/string.cfa (modified) * libcfa/src/collections/string.hfa (modified) * libcfa/src/collections/string_res.cfa (modified) * libcfa/src/collections/string_res.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/interpose.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/raii.hfa (added) * src/AST/Attribute.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/Makefile.am (modified) * tests/array-collections/.expect/array-raii-c.txt (added) * tests/array-collections/.expect/array-raii-cfa.txt (added) * tests/array-collections/array-raii-c.cfa (added) * tests/array-collections/array-raii-cfa.cfa (added) * tests/array-collections/array-raii.hfa (added) * tests/collections/.expect/string-api-coverage.txt (modified) * tests/collections/.expect/string-compare.txt (modified) * tests/collections/.expect/string-istream-manip.txt (modified) * tests/collections/string-api-coverage.cfa (modified) * tests/collections/string-compare.cfa (modified) * tests/collections/string-overwrite.cfa (modified) * tests/concurrency/examples/quickSort.cfa (modified) * tests/exceptions/hotpotato.cfa (modified) * tests/exceptions/hotpotato_checked.cfa (modified) * tests/io/.expect/manipulatorsInput.arm64.txt (modified) * tests/io/.expect/manipulatorsInput.x64.txt (modified) * tests/io/.expect/manipulatorsInput.x86.txt (modified) * tests/io/.in/manipulatorsInput.txt (modified) * tests/io/manipulatorsInput.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 19 Jan 2024 07:42:58 GMT JiadaL [59c8dff] * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ExpressionNode.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Draft Implementation for enum position pesudo function (posE). ... Wed, 17 Jan 2024 20:13:56 GMT Andrew Beach [5bf685f] * src/AST/Decl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.h (modified) * src/SymTab/GenImplicitCall.cpp (modified) Replayed maybeClone with maybeCopy, removed unused helppers in ... Fri, 22 Dec 2023 16:32:14 GMT Andrew Beach [58c5821] * src/InitTweak/InitTweak.cc (modified) Remove extra compound statement and clean-up in InitTweak. Fri, 15 Dec 2023 02:05:55 GMT Peter A. Buhr [ca9d65e] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/concurrency/.expect/ctor-check.txt (modified) * tests/exceptions/.expect/try-ctrl-flow.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) second attempt at simplifying SemanticError messages 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. Tue, 28 Nov 2023 20:01:52 GMT Andrew Beach [37273c8] * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/Concurrency/Actors.cpp (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Concurrency/Waituntil.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/VirtualDtor.cpp (modified) Removed the old-ast-compatable FunctionDecl constructor. However, ... Tue, 21 Nov 2023 21:47:58 GMT Andrew Beach [8984003] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (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/SymTab/Mangler.cc (modified) Round of significant clean-up and reindentation of InitTweak directory. 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. Wed, 01 Nov 2023 14:40:54 GMT Andrew Beach [fa761c2] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) Changed some new uses of UniqueId to the ast version. Changed where ... Mon, 30 Oct 2023 15:50:27 GMT Andrew Beach [3c714ad] * src/InitTweak/InitTweak.cc (modified) I don't actually know if this fixes anything, but the old version was ... Fri, 01 Sep 2023 15:16:41 GMT Andrew Beach [4c0fa03] * src/InitTweak/FixInitNew.cpp (modified) Removed extra copy in FixInitNew. Mon, 31 Jul 2023 18:43:54 GMT Andrew Beach [17c13b9] * src/InitTweak/FixInitNew.cpp (modified) Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation ... Mon, 31 Jul 2023 15:25:51 GMT Andrew Beach [14c0f7b] * src/AST/Create.cpp (modified) * src/AST/Util.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/main.cc (modified) Added invariant to check that referenced declarations are in scope. ... Fri, 14 Jul 2023 13:32:31 GMT Andrew Beach [b7c53a9d] * src/AST/Util.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Added a new invariant check and the fixes required to make it pass. ... Fri, 07 Jul 2023 21:35:51 GMT Andrew Beach [b29a1e8] * src/InitTweak/FixInitNew.cpp (modified) Removed unused includes from a file. (Clean-up, plus it cuts down on ... Wed, 21 Jun 2023 17:28:09 GMT Michael Brooks [f02f546] * libcfa/src/parseargs.cfa (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/GenericParameter.cpp (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-c.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa.txt (modified) * tests/array-container/.expect/safety-summary.txt (added) * tests/array-container/.expect/symtab-collision.txt (added) * tests/array-container/dimexpr-match.hfa (modified) * tests/array-container/safety-summary.cfa (added) * tests/array-container/symtab-collision.cfa (added) Implement new rules for array dimension expression matching. Core ... Thu, 01 Jun 2023 22:29:47 GMT Fangren Yu [251ce80] * src/AST/SymbolTable.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/Validate/ReplaceTypedef.cpp (modified) remove reference to symbol table in unify Fri, 14 Apr 2023 19:55:06 GMT Andrew Beach [fb4dc28] * src/AST/Inspect.cpp (modified) * src/AST/Inspect.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/GenImplicitCall.cpp (added) * src/SymTab/GenImplicitCall.hpp (added) * src/SymTab/module.mk (modified) * src/Validate/Autogen.cpp (modified) Moved new ast code out of one of the old files. The new file may have ... Wed, 12 Apr 2023 19:10:28 GMT Andrew Beach [eb8d791] * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/main.cc (modified) CandidateFinder fills in the CodeLocation on a generated expression. ... Wed, 29 Mar 2023 15:07:03 GMT Andrew Beach [9feb34b] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/DeclStats.cpp (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ToString.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/LvalueNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Candidate.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/HandleAttributes.cc (modified) * src/Validate/HoistStruct.cpp (modified) * src/include/cassert (modified) Moved toString and toCString to a new header. Updated includes. ... Thu, 23 Mar 2023 17:50:38 GMT Andrew Beach [c94b1f0] * src/Common/Debug.h (deleted) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) Removed unused (debug only?) code. If you want to change how ... Thu, 02 Mar 2023 20:57:22 GMT Andrew Beach [397c4392] * src/InitTweak/FixInitNew.cpp (modified) Explicity initialized the fields of ResolveCopyCtors. This may ... Thu, 02 Mar 2023 19:08:22 GMT Peter A. Buhr [8603c10] * src/InitTweak/FixInitNew.cpp (modified) move assert(env) to appropriate location Tue, 17 Jan 2023 16:57:46 GMT Andrew Beach [e563edf] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Header Clean-up: Clearing out typeops, moving things to Unify because ... Mon, 03 Oct 2022 19:26:53 GMT Andrew Beach [890f67a] * src/InitTweak/FixInit.cc (modified) Was passing CodeLocation to an old node. Not sure how that happened. Mon, 03 Oct 2022 17:46:49 GMT Andrew Beach [4b8b2a4] * src/AST/SymbolTable.cpp (modified) * src/AST/Type.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) Make unset locations earier to find with a search for 'CodeLocation()'. 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, 31 Aug 2022 14:57:37 GMT Thierry Delisle [ed9a1ae] * src/AST/Print.cpp (modified) * src/AST/StorageClasses.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Cfa now distinguishes between __thread and _Thread_local. Tue, 26 Jul 2022 20:45:07 GMT Andrew Beach [13d326ec] * src/GenPoly/SpecializeNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) More clean-up, including some removing some duplicate functions. Tue, 26 Jul 2022 15:35:02 GMT Andrew Beach [e8616b6] * src/AST/Decl.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptDeclNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/Validate/Autogen.cpp (modified) Changed the default Linkage on ast::ObjectDecl from C to Cforall. ... Mon, 25 Jul 2022 18:23:28 GMT Fangren Yu [ffec1bf] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * benchmark/readyQ/churn.cfa (modified) * benchmark/readyQ/cycle.cfa (modified) * benchmark/readyQ/cycle.cpp (modified) * benchmark/readyQ/locality.cfa (modified) * benchmark/readyQ/locality.cpp (modified) * benchmark/readyQ/yield.cfa (modified) * benchmark/readyQ/yield.cpp (modified) * doc/bibliography/pl.bib (modified) * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/.gitignore (modified) * doc/theses/thierry_delisle_PhD/thesis/Makefile (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/MQMSG.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/SAVE.fig (deleted) * doc/theses/thierry_delisle_PhD/thesis/fig/SQMS.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/base_ts2.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-noshare.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cache-share.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/cycle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/executionStates.fig (added) * doc/theses/thierry_delisle_PhD/thesis/fig/idle.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle1.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle2.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/idle_state.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/io_uring.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/fig/system.fig (modified) * doc/theses/thierry_delisle_PhD/thesis/local.bib (modified) * doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (modified) * doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified) * libcfa/Makefile.am (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/locks.cfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/heap.cfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (added) * src/AST/Inspect.hpp (added) * src/AST/Pass.impl.hpp (modified) * src/AST/module.mk (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Eval.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptDecl.cc (modified) * src/ControlStruct/ExceptDecl.h (modified) * src/ControlStruct/ExceptDeclNew.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/Autogen.hpp (modified) * src/Validate/CompoundLiteral.hpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (added) * src/Validate/EnumAndPointerDecay.hpp (added) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixQualifiedTypes.hpp (modified) * src/Validate/FixReturnTypes.cpp (added) * src/Validate/FixReturnTypes.hpp (added) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/GenericParameter.hpp (modified) * src/Validate/HoistStruct.hpp (modified) * src/Validate/HoistTypeDecls.cpp (added) * src/Validate/HoistTypeDecls.hpp (added) * src/Validate/LabelAddressFixer.cpp (modified) * src/Validate/LabelAddressFixer.hpp (modified) * src/Validate/LinkReferenceToTypes.cpp (added) * src/Validate/LinkReferenceToTypes.hpp (added) * src/Validate/ReplaceTypedef.cpp (added) * src/Validate/ReplaceTypedef.hpp (added) * src/Validate/VerifyCtorDtorAssign.cpp (added) * src/Validate/VerifyCtorDtorAssign.hpp (added) * src/Validate/module.mk (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/attributes.nast.arm64.txt (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/alloc2.cfa (modified) * tests/enum.cfa (modified) * tests/enum_tests/structEnum.cfa (modified) * tests/pybin/tools.py (modified) * tests/unified_locking/.expect/pthread_locks.txt (modified) * tests/unified_locking/mutex_test.hfa (modified) * tests/unified_locking/pthread_locks.cfa (modified) * tools/gdb/utils-gdb.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 25 Jul 2022 18:23:00 GMT Fangren Yu [9e23b446] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/GenPoly/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (added) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) add specialize pass 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 ... Wed, 22 Jun 2022 16:59:09 GMT Thierry Delisle [c19edd1] * src/Common/ResolvProtoDump.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Mangler.cc (modified) Removed some warnings and fixed some whitespace Tue, 07 Jun 2022 17:51:24 GMT Thierry Delisle [720f2fe2] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) Changed 'addDataSectionAttribute' to correctly handle tls. Fixed Typo. Thu, 02 Jun 2022 08:12:53 GMT JiadaL [fc134a48] * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/.expect/attributes.oast.x86.txt (modified) * tests/enum_tests/.expect/structEnum.txt (added) * tests/enum_tests/structEnum.cfa (added) Implement the struct enum 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 ... Thu, 12 May 2022 20:21:46 GMT Andrew Beach [8060b2b] * src/InitTweak/FixInitNew.cpp (modified) Some recent work has taken me by ResolveCopyCtors, while there I saw ... Wed, 13 Apr 2022 18:55:51 GMT Andrew Beach [4ec9513] * src/AST/Convert.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/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/Validate/GenericParameter.cpp (added) * src/Validate/GenericParameter.hpp (added) * src/Validate/ReturnCheck.cpp (added) * src/Validate/ReturnCheck.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/array-container/.expect/language-dim-mismatch.nast.txt (added) * tests/array-container/.expect/language-dim-mismatch.oast.txt (moved) * tests/errors/.expect/scope.nast.txt (moved) * tests/errors/.expect/scope.oast.txt (added) Converted validate C, including adding DimensionExpr to the new ast. Mon, 28 Mar 2022 14:41:45 GMT Andrew Beach [400b8be] * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/LabelGeneratorNew.hpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Added StmtClause and converted the existing nodes that should be clauses. 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 ... Tue, 15 Mar 2022 14:14:05 GMT Andrew Beach [33b7d49] * src/AST/Util.cpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/CodeLocationTools.hpp (modified) * src/ControlStruct/ExceptTranslateNew.cpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/main.cc (modified) * tests/collections/.expect/vector-err-pass-perm-it-byval.txt (modified) Added another check to checkInvariants for code locations. I also ... Fri, 11 Feb 2022 17:16:52 GMT Thierry Delisle [1f7dc61] * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/CodeGen/FixNames.h (modified) * src/Common/CodeLocationTools.hpp (modified) * src/Common/ResolvProtoDump.hpp (modified) * src/InitTweak/FixInit.h (modified) * src/MakeLibCfa.h (modified) * src/ResolvExpr/Resolver.h (modified) Consistently changed TranslationUnit from struct to class. Thu, 27 Jan 2022 14:37:26 GMT Andrew Beach [00a8e19] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Validate/Autogen.cpp (modified) Missed one required file for the validate D changes, I think it was ... Wed, 24 Nov 2021 20:16:15 GMT Andrew Beach [3cc1111] * src/AST/Decl.hpp (modified) * src/Concurrency/Keywords.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) Small fix in Decl.hpp and a new-ast function added in InitTweak. Mon, 15 Nov 2021 19:51:44 GMT Andrew Beach [ce36b55] * src/AST/Copy.cpp (modified) * src/AST/Copy.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Pass.hpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FindSpecialDeclsNew.cpp (added) * src/Validate/InitializerLength.cpp (added) * src/Validate/InitializerLength.hpp (added) * src/Validate/LabelAddressFixer.cpp (added) * src/Validate/LabelAddressFixer.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) Translation of Validate F; and some improvements in some helpers. Tue, 26 Oct 2021 17:32:59 GMT Andrew Beach [c600df1] * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/TranslationUnit.hpp (modified) * src/InitTweak/GenInit.cc (modified) Added ast::WithConstTranslationUnit to give access to the surrounding ... Mon, 25 Oct 2021 18:29:16 GMT Andrew Beach [148ba7d] * src/AST/Pass.hpp (modified) * src/InitTweak/GenInit.cc (modified) Added a return value to WithGuards::GuardValue so you can save the ... Mon, 25 Oct 2021 16:04:09 GMT Andrew Beach [a36eb2d] * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/main.cc (modified) First translation of the Gen Init pass. Passed the tests. Thu, 17 Jun 2021 01:06:42 GMT Peter A. Buhr [02f4eb8] * src/InitTweak/InitTweak.cc (modified) simplify change for section .data attribute for global constructors Wed, 16 Jun 2021 22:17:54 GMT Peter A. Buhr [1f2e957] * src/InitTweak/InitTweak.cc (modified) make section .data attribute for global constructors architecture ... Thu, 13 May 2021 21:49:44 GMT Andrew Beach [aff7e86] * libcfa/src/exception.hfa (modified) * src/CodeGen/LinkOnce.cc (added) * src/CodeGen/LinkOnce.h (added) * src/CodeGen/module.mk (modified) * src/InitTweak/InitTweak.cc (modified) * src/Virtual/Tables.cc (modified) * src/main.cc (modified) * tests/.expect/linkonce.txt (added) * tests/Makefile.am (modified) * tests/link-once/main.cfa (added) * tests/link-once/partner.cfa (added) Added a new attribute 'cfa_linkonce'. Wed, 23 Dec 2020 22:40:55 GMT Fangren Yu [09867ec] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) do not instantiate unused old AST symtab Tue, 01 Dec 2020 20:39:24 GMT Andrew Beach [4a8f150] * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/main.cc (modified) A quick-fix to get the self-assignment bug working and some clean-up ... Mon, 23 Nov 2020 21:06:59 GMT Thierry Delisle [b2e0df3] * src/InitTweak/FixInit.h (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/Resolver.h (modified) More fix of warnings with the MS C++ abi Thu, 12 Nov 2020 18:25:42 GMT Fangren Yu [5465377c] * src/InitTweak/GenInit.cc (modified) fix array_dim problem in old ast Tue, 10 Nov 2020 05:20:37 GMT Fangren Yu [16ba4a6] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Init.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Type.cpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) factor out resolver calls in pre-resolution stage Fri, 06 Nov 2020 00:25:03 GMT Fangren Yu [7d651a6] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) fix static init crash Tue, 03 Nov 2020 21:06:20 GMT Andrew Beach [293dc1c] * src/AST/Convert.cpp (modified) * src/AST/Convert.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) TranslationUnit is now used at the top-level of the new-ast passes. Fri, 30 Oct 2020 21:15:47 GMT Andrew Beach [6a036eb] * src/InitTweak/FixInitNew.cpp (modified) Switched to ast::Pass::read FixInitNew.cpp. Fri, 30 Oct 2020 19:59:07 GMT Andrew Beach [0e707bd] * src/InitTweak/FixInitNew.cpp (modified) Fixed indentation (no indent in whole file namespace) in FixInitNew.cpp. Fri, 30 Oct 2020 19:49:48 GMT Andrew Beach [36d0a80] * src/InitTweak/FixInitNew.cpp (modified) Switch to using ast::Pass::run in FixInitNew.cpp. Sat, 24 Oct 2020 01:08:09 GMT Fangren Yu [e7d6968] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/cforall.hpp (moved) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/fibre.hpp (moved) * doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.hpp (moved) * libcfa/prelude/builtins.c (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/call.cfa.in (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/snzi.hfa (modified) * libcfa/src/exception.h (modified) * libcfa/src/exception.hfa (modified) * libcfa/src/limits.cfa (modified) * libcfa/src/limits.hfa (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/porting.md (modified) * src/Concurrency/Keywords.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/const-init.txt (added) * tests/.expect/init1-ERROR.txt (added) * tests/.expect/init1.txt (modified) * tests/.expect/limits.txt (modified) * tests/Makefile.am (modified) * tests/alloc.cfa (modified) * tests/complex.cfa (modified) * tests/const-init.cfa (added) * tests/errors/.expect/completeType.x64.txt (modified) * tests/errors/.expect/completeType.x86.txt (modified) * tests/exceptions/cancel/coroutine.cfa (modified) * tests/exceptions/conditional.cfa (modified) * tests/exceptions/defaults.cfa (modified) * tests/exceptions/except-io.hfa (modified) * tests/exceptions/trash.cfa (modified) * tests/global-monomorph.cfa (modified) * tests/init1.cfa (modified) * tests/limits.cfa (modified) * tests/poly-d-cycle.cfa (modified) * tests/poly-o-cycle.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc into master Sat, 24 Oct 2020 01:07:40 GMT Fangren Yu [37b7d95] * src/InitTweak/FixInitNew.cpp (modified) remove old information Sat, 24 Oct 2020 01:06:16 GMT Fangren Yu [490fb92e] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/Common/utility.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/FixInitNew.cpp (added) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/main.cc (modified) move FixInit to new ast Fri, 16 Oct 2020 01:41:31 GMT Michael Brooks [f1791a4] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * tests/.expect/const-init.txt (modified) * tests/const-init.cfa (modified) Expanding earlier #182 fix to another case of the same issue. [[Fixes ... Thu, 08 Oct 2020 01:33:22 GMT Michael Brooks [6fbe9a5] * libcfa/src/limits.cfa (modified) * libcfa/src/limits.hfa (modified) * src/InitTweak/FixGlobalInit.cc (modified) * tests/.expect/const-init.txt (added) * tests/.expect/limits.txt (modified) * tests/const-init.cfa (added) * tests/limits.cfa (modified) Fixing code-gen of constants. [[Fixes #182]] Removes workaround ... Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu [954c954] * doc/proposals/function_type_change.md (added) * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/ForallSubstitutor.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) Move function argument and return variable declarations from ... 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) 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 ... Wed, 19 Feb 2020 01:48:49 GMT Peter A. Buhr [60a8062] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (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/CodeTools/ResolvProtoDump.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/MakeLibCfa.cc (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Attribute.h (modified) rewrite most of OperatorTable and change caller modules to use new ... 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, 26 Jul 2019 10:39:42 GMT Peter A. Buhr [033ff37] * examples/Attributes.c (deleted) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) remove attribute expression '@'name mechanism 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, 12 Jul 2019 20:34:56 GMT Thierry Delisle [6f096d2] * src/AST/Expr.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.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/SynTree/Visitor.h (modified) Resolver now uses constant interface Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss [c1ed2ee] * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Continued resolver porting * mostly initialization and validation ... 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 Wed, 12 Jun 2019 20:06:37 GMT Thierry Delisle [21300d7] * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/porting.md (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/ExplodedArg.cpp (added) * src/ResolvExpr/ExplodedArg.hpp (added) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (added) * src/ResolvExpr/SatisfyAssertions.hpp (added) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) * tests/.expect/manipulatorsInput.txt (added) * tests/.expect/manipulatorsOutput1.txt (added) * tests/.expect/manipulatorsOutput2.x64.txt (added) * tests/.expect/manipulatorsOutput2.x86.txt (added) * tests/.in/manipulatorsInput.txt (added) * tests/manipulatorsInput.cfa (added) * tests/manipulatorsOutput1.cfa (added) * tests/manipulatorsOutput2.cfa (added) * tests/sum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 12 Jun 2019 20:06:32 GMT Thierry Delisle [aaeacf4] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Removed global look-up table from UniqueId to Decl Mon, 10 Jun 2019 17:48:19 GMT Aaron Moss [2d11663] * src/AST/Node.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) resolver porting; finish top level of initialization Fri, 07 Jun 2019 18:54:34 GMT Thierry Delisle [4e5e6cc] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/InitTweak/FixInit.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) Fixed indentation and remove too strict abort Thu, 06 Jun 2019 19:53:59 GMT Thierry Delisle [f46bfd2f] * src/InitTweak/FixInit.cc (modified) Removed extraneous prints Thu, 06 Jun 2019 19:01:46 GMT Thierry Delisle [546e712] * src/AST/Convert.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/InitTweak/FixInit.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Fix for 1 bug of N Wed, 05 Jun 2019 15:24:16 GMT Thierry Delisle [4741dfe] * src/InitTweak/FixInit.cc (modified) Better error printing on yesterday's fix Tue, 04 Jun 2019 19:44:21 GMT Thierry Delisle [bc4bea8] * src/InitTweak/FixInit.cc (modified) Fixed typo Tue, 04 Jun 2019 18:03:12 GMT Thierry Delisle [0e315a5] * src/InitTweak/FixInit.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Tentative fix for the build Thu, 30 May 2019 20:15:08 GMT Aaron Moss [8d70648] * driver/cc1.cc (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/builtins.c (modified) * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/Common/PassVisitor.impl.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScopedSet.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/DeclReplacer.cc (modified) * src/SynTree/DeclReplacer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FindSpecialDecls.cc (added) * src/Validate/FindSpecialDecls.h (added) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/coroutine/.expect/raii.txt (added) * tests/coroutine/raii.cfa (added) * tests/pybin/test_run.py (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/.expect/memberCtors.txt (modified) * tests/raii/memberCtors.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 30 May 2019 20:10:24 GMT Aaron Moss [d76c588] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Stubs for new resolver, implementation of new indexer, type environment Mon, 27 May 2019 15:08:54 GMT Thierry Delisle [d908563] * doc/proposals/vtable.md (modified) * libcfa/src/iostream.cfa (modified) * src/AST/Attribute.cpp (modified) * src/AST/Attribute.hpp (modified) * src/AST/Bitfield.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/DeclReplacer.cpp (modified) * src/AST/DeclReplacer.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (added) * src/AST/GenericSubstitution.hpp (added) * src/AST/Label.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.cpp (added) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (added) * src/AST/Print.hpp (added) * src/AST/Stmt.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/Common/Eval.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) * src/main.cc (modified) Merge branch 'master' into cleanup-dtors