# # ChangeLog for src/Validate # # Generated by Trac 1.2.1 # Nov 1, 2024, 5:29:16 PM 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. ... Fri, 17 Feb 2023 20:40:15 GMT Andrew Beach [8f06277] * src/AST/Create.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Pass.impl.hpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (added) * src/Common/Iterate.hpp (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Type.h (modified) * src/Validate/HandleAttributes.cc (modified) Some clean-up in Common/utility.h. Deleted some unused declarations ... Fri, 03 Feb 2023 21:04:22 GMT Andrew Beach [21a2a7d] * src/Common/ScopedMap.h (modified) * src/SymTab/Validate.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Replaced ScopedMap::erase with a version that should avoid the order ... Tue, 17 Jan 2023 19:05:52 GMT Andrew Beach [7b5694d] * src/AST/Expr.cpp (modified) * src/GenPoly/GenPoly.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/Validate/FixReturnTypes.cpp (modified) Header Clean-up: Moved more things from typeops to Unify. Tue, 17 Jan 2023 16:57:46 GMT Andrew Beach [e563edf] * src/AST/SymbolTable.cpp (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGenericNew.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Header Clean-up: Clearing out typeops, moving things to Unify because ... Mon, 14 Nov 2022 16:47:23 GMT Andrew Beach [19a8c40] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) Some clean-up I had stashed from before I knew the InlineMemberDecl ... Fri, 11 Nov 2022 01:21:54 GMT JiadaL [71806e0] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/InlineMemberDecl.cc (moved) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) Rename InlineValueDecl to InlineMemberDecl Fri, 28 Oct 2022 19:11:57 GMT JiadaL [e874605] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * tests/enum_tests/.expect/enumInlineValue.txt (modified) * tests/enum_tests/.expect/qualifiedEnum.cfa (modified) * tests/enum_tests/enumInlineValue.cfa (modified) * tests/enum_tests/qualifiedEnum.cfa (modified) Add class InlineValueDecl, which is a Declaration class that works as ... Wed, 19 Oct 2022 17:42:29 GMT JiadaL [77de429] * src/AST/Decl.hpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * tests/enum_tests/.expect/enumInlineValue.txt (modified) * tests/enum_tests/enumInlineValue.cfa (modified) Fix overriding enum value Wed, 19 Oct 2022 01:12:19 GMT JiadaL [5408b59] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Expression.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) Remove var in QualifiedNameExpr Tue, 18 Oct 2022 21:48:13 GMT JiadaL [1e30df7] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) Supports inline enums Wed, 21 Sep 2022 14:52:51 GMT Thierry Delisle [0bd46fd] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/LabelGeneratorNew.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Validate/ReplaceTypedef.cpp (modified) Fixed several warnings Wed, 21 Sep 2022 13:38:34 GMT Andrew Beach [20737104] * src/AST/Create.cpp (modified) * src/AST/Create.hpp (modified) * src/Validate/Autogen.cpp (modified) Wrote a new asForward helper for Autogen. Wed, 21 Sep 2022 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, 21 Sep 2022 00:37:05 GMT JiadaL [4520b77e] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * tests/enum_tests/.expect/funcEnum.txt (added) * tests/enum_tests/.expect/pointerEnum.cfa (added) * tests/enum_tests/.expect/qualifiedEnum.cfa (added) * tests/enum_tests/.expect/voidEnum.txt (added) * tests/enum_tests/funcEnum.cfa (added) * tests/enum_tests/pointerEnum.cfa (added) * tests/enum_tests/qualifiedEnum.cfa (added) * tests/enum_tests/structEnum.cfa (modified) * tests/enum_tests/voidEnum.cfa (added) Merge to Master Sept 19 Thu, 01 Sep 2022 17:27:52 GMT JiadaL [b0d9ff7] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/ValidateType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/LinkReferenceToTypes.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) Fix up the QualifiedNameExpr. It should now work on both old AST and ... 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 19:17:25 GMT JiadaL [def751f] * 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/fig/cycle.fig (modified) * 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/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/thesis.tex (modified) * libcfa/Makefile.am (modified) * libcfa/src/Makefile.am (modified) * src/AST/Expr.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/TypeSubstitution.cpp (modified) * 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/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/Specialize.h (modified) * src/GenPoly/SpecializeNew.cpp (added) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (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/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/alloc2.cfa (modified) Merge branch 'master' into qualifiedEnum Mon, 25 Jul 2022 16:29:40 GMT JiadaL [d958834b] * src/CodeGen/CodeGenerator.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/enum_tests/structEnum.cfa (modified) Save a minimal compilable version. The enum pointer ... 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, 13 Jul 2022 18:51:18 GMT Andrew Beach [af75a87] * src/Validate/ReplaceTypedef.cpp (modified) Adjusted typedef replacement, attributes should be filtered with ... Tue, 12 Jul 2022 19:21:18 GMT Andrew Beach [1931bb01] * src/AST/Convert.cpp (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (added) * src/Validate/EnumAndPointerDecay.hpp (added) * src/Validate/FixReturnTypes.cpp (added) * src/Validate/FixReturnTypes.hpp (added) * src/Validate/HoistTypeDecls.cpp (added) * src/Validate/HoistTypeDecls.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/main.cc (modified) Converted 'Validate A' to the new AST. There some utility changes as ... Tue, 28 Jun 2022 19:07:04 GMT Andrew Beach [72e76fd] * src/SymTab/Validate.cc (modified) * src/Validate/LinkReferenceToTypes.cpp (added) * src/Validate/LinkReferenceToTypes.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/enum_tests/structEnum.cfa (modified) Converted the last pass in validate B (linkReferenceToTypes). Cleaned ... Fri, 24 Jun 2022 18:59:41 GMT Thierry Delisle [91715ce1] * src/Validate/Autogen.cpp (modified) Don't autogen for struct with flexible array members [[fixes #261]] Fri, 24 Jun 2022 16:12:26 GMT Thierry Delisle [3322180] * src/GenPoly/Box.cc (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.arm64.txt (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) Fix enum assignment warning Thu, 02 Jun 2022 08:12:53 GMT JiadaL [fc134a48] * src/CodeTools/ResolvProtoDump.cc (modified) * src/Common/ResolvProtoDump.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/Validate/Autogen.cpp (modified) * tests/.expect/attributes.nast.x64.txt (modified) * tests/.expect/attributes.nast.x86.txt (modified) * tests/.expect/attributes.oast.x64.txt (modified) * tests/.expect/attributes.oast.x86.txt (modified) * tests/enum_tests/.expect/structEnum.txt (added) * tests/enum_tests/structEnum.cfa (added) Implement the struct enum 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 ... Mon, 09 May 2022 15:38:08 GMT Andrew Beach [7edd5c1] * src/AST/Convert.cpp (modified) * src/AST/Copy.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/Stmt.cpp (modified) * src/Validate/Autogen.cpp (modified) Assorted fixes to the AST, found while I was trying to add more ... Fri, 29 Apr 2022 17:30:49 GMT Andrew Beach [298fe57] * src/AST/Convert.cpp (modified) * src/Common/utility.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/EliminateTypedef.cpp (added) * src/Validate/EliminateTypedef.hpp (added) * src/Validate/FixQualifiedTypes.cpp (added) * src/Validate/FixQualifiedTypes.hpp (added) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HoistStruct.cpp (added) * src/Validate/HoistStruct.hpp (added) * src/Validate/NoIdSymbolTable.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/.expect/nested-types-ERR2.nast.txt (added) * tests/.expect/nested-types-ERR2.oast.txt (moved) Translated 3/4 of validate_B. Link Reference To Types has been ... 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. Tue, 29 Mar 2022 20:09:51 GMT Andrew Beach [b230091] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) Added a 'missing' TypeInstType constructor and rewrote some calls to ... 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 ... Fri, 11 Mar 2022 16:08:19 GMT Andrew Beach [4f6dda0] * src/AST/GenericSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Concurrency/KeywordsNew.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/concurrent/.expect/keywordErrors.nast.txt (added) * tests/concurrent/.expect/keywordErrors.oast.txt (moved) * tests/concurrent/.expect/mainError.nast.txt (added) * tests/concurrent/.expect/mainError.oast.txt (moved) Converted Implement Concurrent Keywords to the new AST. Includes ... Thu, 17 Feb 2022 21:04:23 GMT Andrew Beach [a556492] * src/Validate/ForallPointerDecay.cpp (modified) There was less extra code in ForallPointerDecay then I hopped, but it ... Wed, 16 Feb 2022 16:33:08 GMT Andrew Beach [51b8582] * src/SynTree/TypeSubstitution.cc (modified) * src/Validate/ForallPointerDecay.cpp (modified) So it was a bug in old code that seemed to be cancelling itself out ... Fri, 11 Feb 2022 16:00:35 GMT Andrew Beach [9490621] * src/AST/Decl.cpp (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) My work in progress implementation of ForallPointerDecay for Fangren. Thu, 27 Jan 2022 14:37:26 GMT Andrew Beach [00a8e19] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Validate/Autogen.cpp (modified) Missed one required file for the validate D changes, I think it was ... Wed, 26 Jan 2022 19:42:52 GMT Andrew Beach [a488783] * src/AST/Copy.hpp (modified) * src/AST/Node.hpp (modified) * src/ControlStruct/HoistControlDecls.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (added) * src/ControlStruct/module.mk (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/Autogen.cpp (added) * src/Validate/Autogen.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) Translated the first half of validate-D. HoistControlStruct is pretty ... Tue, 18 Jan 2022 14:53:57 GMT Andrew Beach [91a72ef] * libcfa/src/common.hfa (modified) * src/AST/Decl.hpp (modified) * src/AST/Eval.hpp (modified) * src/Validate/InitializerLength.cpp (modified) * src/Validate/InitializerLength.hpp (modified) Some assorted bits of clean-up. InitializerLength was missing some ... Wed, 01 Dec 2021 16:48:34 GMT Andrew Beach [56f519b] * src/Concurrency/KeywordsNew.cpp (modified) * src/Validate/CompoundLiteral.cpp (modified) * tests/concurrent/.expect/ctor-check.txt (added) * tests/concurrent/ctor-check.cfa (added) Clean-up of the last pass. Added a test for the constructor mutex ... Tue, 30 Nov 2021 16:27:30 GMT Andrew Beach [2cf3b87] * src/Concurrency/Keywords.h (modified) * src/Concurrency/KeywordsNew.cpp (added) * src/Concurrency/module.mk (modified) * src/Validate/CompoundLiteral.cpp (added) * src/Validate/CompoundLiteral.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) Translated valitate-E after much bug hunting. 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, 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) Thu, 30 May 2019 13:48:47 GMT Thierry Delisle [043a5b6] * src/AST/Convert.cpp (modified) * src/Validate/FindSpecialDecls.cc (modified) Extended dereference operator hack to destroy clause Fri, 24 May 2019 14:19:41 GMT Thierry Delisle [933f32f] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (added) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * benchmark/tls-fetch_add.c (added) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/C++Cor-ts.cpp (added) * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.cpp (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Fib.sim (added) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (added) * doc/papers/concurrency/examples/Fmt.sim (added) * doc/papers/concurrency/examples/Format.cc (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.cpp (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/ProdCons.cpp (added) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/papers/concurrency/examples/ProdCons.sim (added) * doc/papers/concurrency/examples/Refactor.py (added) * doc/papers/concurrency/examples/counter.cpp (added) * doc/papers/concurrency/mail (modified) * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) * doc/proposals/specialized_casts.md (added) * doc/proposals/unicode.html (added) * doc/proposals/virtual.txt (deleted) * doc/proposals/vtable.md (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/bu-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/metric-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/user.tex (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (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/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdhdr/stdbool.h (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.am (added) * longrun_tests/Makefile.in (moved) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) * src/AST/Attribute.cpp (added) * src/AST/Attribute.hpp (added) * src/AST/Bitfield.hpp (added) * src/AST/CVQualifiers.hpp (added) * src/AST/Convert.cpp (added) * src/AST/Convert.hpp (added) * src/AST/Decl.cpp (added) * src/AST/Decl.hpp (added) * src/AST/DeclReplacer.cpp (added) * src/AST/DeclReplacer.hpp (added) * src/AST/Expr.cpp (added) * src/AST/Expr.hpp (added) * src/AST/FunctionSpec.hpp (added) * src/AST/Fwd.hpp (added) * src/AST/Init.cpp (added) * src/AST/Init.hpp (added) * src/AST/Label.hpp (added) * src/AST/LinkageSpec.cpp (added) * src/AST/LinkageSpec.hpp (added) * src/AST/Node.cpp (added) * src/AST/Node.hpp (added) * src/AST/ParseNode.hpp (added) * src/AST/Pass.hpp (added) * src/AST/Pass.impl.hpp (added) * src/AST/Pass.proto.hpp (added) * src/AST/Stmt.cpp (added) * src/AST/Stmt.hpp (added) * src/AST/StorageClasses.hpp (added) * src/AST/Type.cpp (added) * src/AST/Type.hpp (added) * src/AST/TypeSubstitution.cpp (added) * src/AST/TypeSubstitution.hpp (added) * src/AST/TypeVar.hpp (added) * src/AST/Visitor.hpp (added) * src/AST/module.mk (added) * src/AST/porting.md (added) * src/BasicTypes-gen.cc (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Options.h (added) * src/CodeGen/module.mk (modified) * src/Common/Assert.cc (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/PersistentMap.h (added) * src/Common/SemanticError.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/module.mk (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/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.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/module.mk (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/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.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.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/config.h.in (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/abs.txt (modified) * tests/.expect/ato.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/complex.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/.expect/identity.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/math1.txt (modified) * tests/.expect/math2.txt (modified) * tests/.expect/math3.txt (modified) * tests/.expect/math4.txt (modified) * tests/.expect/minmax.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/array.cfa (modified) * tests/builtins/sync.cfa (modified) * tests/castError.cfa (modified) * tests/completeTypeError.cfa (modified) * tests/concurrent/coroutineThen.cfa (added) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (added) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/config.py.in (modified) * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (added) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (added) * tests/declarationSpecifier.cfa (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.am (deleted) * tests/preempt_longrun/block.c (deleted) * tests/preempt_longrun/coroutine.c (deleted) * tests/preempt_longrun/disjoint.c (deleted) * tests/preempt_longrun/preempt.c (deleted) * tests/preempt_longrun/wait.c (deleted) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/init_once.cfa (modified) * tests/rational.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/expanded-line-count.sh (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors 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, 30 Aug 2018 17:00:41 GMT Rob Schluntz [2bfc6b2] * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/Validate/FindSpecialDecls.cc (added) * src/Validate/FindSpecialDecls.h (added) * src/Validate/module.mk (modified) Refactor FindSpecialDeclarations and associated special declarations Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [5cbacf1] * src/Common/Eval.cc (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/Makefile.in (modified) * src/Validate/HandleAttributes.cc (modified) Refactor eval into Common Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [05e6eb5] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Validate/HandleAttributes.cc (modified) * src/main.cc (modified) Warn about constructor/destructor priorities 101-200 only when not ... Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [fd2debf] * src/Common/SemanticError.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) Add checks for constructor/destructor attribute arguments