# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Oct 31, 2024, 7:04:59 AM Fri, 01 Sep 2017 22:59:48 GMT Rob Schluntz [5809461] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/dtor-early-exit.c (modified) Fix handling of GCC label address and computed goto Thu, 31 Aug 2017 19:33:11 GMT Rob Schluntz [fbcb354] * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/refrat/keywords.tex (modified) * src/Common/CodeLocation.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/libcfa/concurrency/coroutine (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/stdincludes.txt (added) * src/tests/div.c (modified) * src/tests/ifcond.c (modified) * src/tests/stdincludes.c (added) * src/tests/waitfor.c (added) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (modified) * tools/prettyprinter/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 31 Aug 2017 19:33:05 GMT Rob Schluntz [326338ae] * src/ResolvExpr/AlternativeFinder.cc (modified) Copy function alternative before reference-to-rvalue conversion to ... Thu, 31 Aug 2017 19:29:38 GMT Rob Schluntz [be9036d] * src/ResolvExpr/RenameVars.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/prelude/prelude.cf (modified) Reorganize TraitInstType and TraitDecl, add sized trait definition to ... Mon, 28 Aug 2017 21:55:54 GMT Rob Schluntz [111a8af8] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) Simplify AssertionSet comparator Mon, 28 Aug 2017 17:55:16 GMT Peter A. Buhr [b128d3e] * src/Common/CodeLocation.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) remove contraction from error message Sun, 27 Aug 2017 15:25:00 GMT Rob Schluntz [0c6596f] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) Handle difference between reference casting and implicit conversion ... Fri, 25 Aug 2017 17:51:22 GMT Rob Schluntz [6ccfb7f] * src/ResolvExpr/AlternativeFinder.cc (modified) Unconditionally attempt to resolve function operators with function ... Fri, 25 Aug 2017 14:47:38 GMT Rob Schluntz [ddf8a29] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) Refactor computeConversionCost, apply conversions to ConditionalExpr ... Tue, 22 Aug 2017 23:31:52 GMT Rob Schluntz [8135d4c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/CodeLocation.h (added) * src/Common/PassVisitor.h (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/ExpandCasts.h (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/libhdr.h (modified) * src/main.cc (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/KRfunctions.c (modified) * src/tests/except-0.c (modified) * src/tests/except-1.c (modified) * src/tests/except-2.c (modified) * src/tests/except-3.c (added) * src/tests/except-mac.h (added) * tools/build/clean_hdr.awk (added) * tools/build/clean_hdrs (added) * tools/build/time_make (added) Merge branch 'master' into references Tue, 22 Aug 2017 22:41:28 GMT Rob Schluntz [5ccb10d] * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.h (modified) * src/prelude/prelude.cf (modified) Set reference size to base size, clean up debug code, remove more ... Tue, 15 Aug 2017 23:00:40 GMT Rob Schluntz [c93bc28] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/Tuples/TupleExpansion.cc (modified) Minor cleanup, debug statements Tue, 15 Aug 2017 19:03:34 GMT Aaron Moss [3f27b9a] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix scoping issues for CatchStmt Tue, 15 Aug 2017 17:43:00 GMT Thierry Delisle [c6c6f2ae] * src/ResolvExpr/AlternativeFinder.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 15 Aug 2017 17:27:46 GMT Rob Schluntz [322b97e] * src/ResolvExpr/AlternativeFinder.cc (modified) Resolve typeof in sizeof/alignof expressions [fixes #37] Tue, 15 Aug 2017 15:59:15 GMT Thierry Delisle [ea6332d] * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SynTree/AddStmtVisitor.cc (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) Big header cleaning pass - commit 3 Mon, 14 Aug 2017 21:24:08 GMT Rob Schluntz [b37dba0] * src/ResolvExpr/AlternativeFinder.cc (modified) Add reference to rvalue conversion to sizeof/alignof argument Mon, 14 Aug 2017 21:23:31 GMT Rob Schluntz [5a824c2] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix count in resolver error message Mon, 14 Aug 2017 20:56:17 GMT Aaron Moss [6a36975] * src/ResolvExpr/Resolver.cc (modified) Fix name mangling issues with CatchStmt Mon, 14 Aug 2017 18:07:18 GMT Rob Schluntz [36a5a77] * src/ResolvExpr/Unify.cc (modified) Strip references when binding type variables Mon, 14 Aug 2017 18:05:42 GMT Rob Schluntz [74b007ba] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Autogen.cc (modified) Remove unused isDynamicLayout parameter from autogen, add some more ... Mon, 14 Aug 2017 18:03:39 GMT Rob Schluntz [9236060] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/generic_types.bib (deleted) * doc/generic_types/generic_types.tex (modified) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/tagged-struct.txt (deleted) * doc/proposals/virtual.txt (modified) * doc/refrat/Makefile (modified) * doc/refrat/keywords.tex (added) * doc/refrat/operidents.tex (added) * doc/refrat/refrat.tex (modified) * doc/rob_thesis/Makefile (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/EHMHierarchy.fig (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Virtual/ExpandCasts.cc (added) * src/Virtual/ExpandCasts.h (added) * src/Virtual/module.mk (added) * src/benchmark/create_pthrd.c (modified) * src/include/cassert (moved) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (deleted) * src/libcfa/assert.c (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (deleted) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/gmp.h (modified) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdhdr/malloc.h (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/virtual.c (added) * src/libcfa/virtual.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-barge.txt (deleted) * src/tests/.expect/div.txt (added) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/designations.c (modified) * src/tests/div.c (added) * src/tests/except-0.c (modified) * src/tests/except-1.c (added) * src/tests/except-2.c (added) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (deleted) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/result.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * src/tests/virtualCast.c (added) * tools/cfa.nanorc (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) Merge branch 'master' into references Fri, 11 Aug 2017 14:33:37 GMT Rob Schluntz [0720e049] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/generic_types.bib (deleted) * doc/generic_types/generic_types.tex (modified) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/tagged-struct.txt (deleted) * doc/proposals/virtual.txt (modified) * doc/refrat/Makefile (modified) * doc/refrat/keywords.tex (added) * doc/refrat/operidents.tex (added) * doc/refrat/refrat.tex (modified) * doc/rob_thesis/Makefile (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/EHMHierarchy.fig (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Virtual/ExpandCasts.cc (added) * src/Virtual/ExpandCasts.h (added) * src/Virtual/module.mk (added) * src/benchmark/create_pthrd.c (modified) * src/include/cassert (moved) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (deleted) * src/libcfa/assert.c (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (deleted) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/gmp.h (modified) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdhdr/malloc.h (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/virtual.c (added) * src/libcfa/virtual.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-barge.txt (deleted) * src/tests/.expect/div.txt (added) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/designations.c (modified) * src/tests/div.c (added) * src/tests/except-0.c (modified) * src/tests/except-1.c (added) * src/tests/except-2.c (added) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (deleted) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/result.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * src/tests/virtualCast.c (added) * tools/cfa.nanorc (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 11 Aug 2017 14:11:27 GMT Rob Schluntz [fd344aa] * src/ResolvExpr/typeops.h (modified) Remove unused cost functions functions Wed, 09 Aug 2017 18:08:14 GMT Andrew Beach [cbce272] * src/ControlStruct/ExceptTranslate.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/Virtual/ExpandCasts.cc (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/tests/except-0.c (modified) Structure based exception handling. Wed, 09 Aug 2017 00:36:48 GMT Rob Schluntz [b1bead1] * src/Common/utility.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) Add reference to rvalue conversions to functions when resolving ... Mon, 07 Aug 2017 16:35:05 GMT Thierry Delisle [56e49b0] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Fixed some assertf related warnings Wed, 26 Jul 2017 18:44:09 GMT Andrew Beach [a5f0529] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Virtual/ExpandCasts.cc (added) * src/Virtual/ExpandCasts.h (added) * src/Virtual/module.mk (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/virtual.c (added) * src/libcfa/virtual.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) * src/tests/virtualCast.c (added) Virtual casts have been added. They still require a lot of hand coded ... Sat, 22 Jul 2017 14:58:08 GMT Peter A. Buhr [6b0b624] * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.h (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/typeobject.h (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) change #ifndef to #pragma once Fri, 21 Jul 2017 13:51:17 GMT Rob Schluntz [cb43451] * src/GenPoly/Lvalue.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) Fix reference conversion cost for qualified references and add pass ... Fri, 21 Jul 2017 13:47:10 GMT Rob Schluntz [17f22e78] * src/ResolvExpr/Cost.h (modified) Update Cost operations to perform infinity checks internally Tue, 18 Jul 2017 20:44:46 GMT Rob Schluntz [d1685588] * src/ResolvExpr/AlternativeFinder.cc (modified) Resolve anonymous conversions when the expression is reference-typed Mon, 17 Jul 2017 19:25:58 GMT Rob Schluntz [e6cee92] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/ReferenceType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeExpr.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Fix TupleAssignment code for references Mon, 17 Jul 2017 19:05:57 GMT Rob Schluntz [7ebaa56] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) Add reference cost field to cost tuple Mon, 17 Jul 2017 18:35:52 GMT Rob Schluntz [89be1c68] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) Remove Cost constructors, use only named members This change makes ... Mon, 17 Jul 2017 17:59:53 GMT Rob Schluntz [b46e3bd] * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) Update Cost structure to include static unsafe, poly, safe members Thu, 13 Jul 2017 19:57:23 GMT Rob Schluntz [9a1e509] * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (deleted) * doc/LaTeXmacros/enumitem/enumitem.pdf (deleted) * doc/LaTeXmacros/enumitem/enumitem.sty (deleted) * doc/LaTeXmacros/enumitem/enumitem.tex (deleted) * doc/LaTeXmacros/listings/README (deleted) * doc/LaTeXmacros/listings/listings-acm.prf (deleted) * doc/LaTeXmacros/listings/listings-bash.prf (deleted) * doc/LaTeXmacros/listings/listings-fortran.prf (deleted) * doc/LaTeXmacros/listings/listings-lua.prf (deleted) * doc/LaTeXmacros/listings/listings-python.prf (deleted) * doc/LaTeXmacros/listings/listings.cfg (deleted) * doc/LaTeXmacros/listings/listings.dtx (deleted) * doc/LaTeXmacros/listings/listings.ins (deleted) * doc/LaTeXmacros/listings/listings.log (deleted) * doc/LaTeXmacros/listings/listings.pdf (deleted) * doc/LaTeXmacros/listings/listings.sty (deleted) * doc/LaTeXmacros/listings/listings.sty.new (deleted) * doc/LaTeXmacros/listings/lstdoc.sty (deleted) * doc/LaTeXmacros/listings/lstdrvrs.dtx (deleted) * doc/LaTeXmacros/listings/lstdrvrs.ins (deleted) * doc/LaTeXmacros/listings/lstdrvrs.pdf (deleted) * doc/LaTeXmacros/listings/lstlang1.sty (deleted) * doc/LaTeXmacros/listings/lstlang2.sty (deleted) * doc/LaTeXmacros/listings/lstlang3.sty (deleted) * doc/LaTeXmacros/listings/lstmisc.sty (deleted) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/tagged-struct.txt (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/Assert.cc (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.h (modified) * src/benchmark/create_pthrd.c (modified) * src/benchmark/csv-data.c (modified) * src/benchmark/interrupt_linux.c (added) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/include/assert.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/gmp (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/concurrent/preempt.txt (added) * src/tests/.expect/concurrent/sched-int-disjoint.txt (modified) * src/tests/.expect/io.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/io.c (modified) * src/tests/preempt.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (added) * src/tests/preempt_longrun/enter3.c (added) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into references Thu, 13 Jul 2017 19:57:04 GMT Rob Schluntz [3d4b23fa] * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (deleted) * doc/LaTeXmacros/enumitem/enumitem.pdf (deleted) * doc/LaTeXmacros/enumitem/enumitem.sty (deleted) * doc/LaTeXmacros/enumitem/enumitem.tex (deleted) * doc/LaTeXmacros/listings/README (deleted) * doc/LaTeXmacros/listings/listings-acm.prf (deleted) * doc/LaTeXmacros/listings/listings-bash.prf (deleted) * doc/LaTeXmacros/listings/listings-fortran.prf (deleted) * doc/LaTeXmacros/listings/listings-lua.prf (deleted) * doc/LaTeXmacros/listings/listings-python.prf (deleted) * doc/LaTeXmacros/listings/listings.cfg (deleted) * doc/LaTeXmacros/listings/listings.dtx (deleted) * doc/LaTeXmacros/listings/listings.ins (deleted) * doc/LaTeXmacros/listings/listings.log (deleted) * doc/LaTeXmacros/listings/listings.pdf (deleted) * doc/LaTeXmacros/listings/listings.sty (deleted) * doc/LaTeXmacros/listings/listings.sty.new (deleted) * doc/LaTeXmacros/listings/lstdoc.sty (deleted) * doc/LaTeXmacros/listings/lstdrvrs.dtx (deleted) * doc/LaTeXmacros/listings/lstdrvrs.ins (deleted) * doc/LaTeXmacros/listings/lstdrvrs.pdf (deleted) * doc/LaTeXmacros/listings/lstlang1.sty (deleted) * doc/LaTeXmacros/listings/lstlang2.sty (deleted) * doc/LaTeXmacros/listings/lstlang3.sty (deleted) * doc/LaTeXmacros/listings/lstmisc.sty (deleted) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/tagged-struct.txt (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/Assert.cc (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/MakeLibCfa.cc (modified) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.h (modified) * src/benchmark/create_pthrd.c (modified) * src/benchmark/csv-data.c (modified) * src/benchmark/interrupt_linux.c (added) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/include/assert.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/gmp (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/iterator (modified) * src/libcfa/iterator.c (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/limits (modified) * src/libcfa/math (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/concurrent/preempt.txt (added) * src/tests/.expect/concurrent/sched-int-disjoint.txt (modified) * src/tests/.expect/io.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/io.c (modified) * src/tests/preempt.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (added) * src/tests/preempt_longrun/enter3.c (added) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 13 Jul 2017 19:06:29 GMT Rob Schluntz [65cec25] * src/ResolvExpr/CommonType.cc (modified) Compute common type when reference types are involved Thu, 13 Jul 2017 18:27:58 GMT Rob Schluntz [2463d0e] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) Add conversion & cast cost for reference conversions Wed, 12 Jul 2017 20:53:25 GMT Rob Schluntz [a61ad31] * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) Resolve member expression with reference type aggregates Thu, 06 Jul 2017 20:13:46 GMT Thierry Delisle [9ff56e7] * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) Removed several new warnings Wed, 05 Jul 2017 21:00:46 GMT Rob Schluntz [a5de33e] * .gitignore (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/missing (modified) * automake/test-driver (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/mail (modified) * doc/proposals/references.md (modified) * doc/user/EHMHierarchy.fig (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/Makefile.in (modified) * src/Parser/ParserTypes.h (moved) * src/Parser/TypedefTable.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/lsda.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/io.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * src/tests/io.c (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/test.py (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) * tools/prettyprinter/ParserTypes.h (added) * tools/prettyprinter/filter.cc (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (modified) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/token.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 05 Jul 2017 20:59:17 GMT Rob Schluntz [208e5be] * .gitignore (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/missing (modified) * automake/test-driver (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/generic_types/mail (modified) * doc/proposals/references.md (modified) * doc/user/EHMHierarchy.fig (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/Makefile.in (modified) * src/Parser/ParserTypes.h (moved) * src/Parser/TypedefTable.h (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/lsda.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/io.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * src/tests/io.c (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/test.py (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) * tools/prettyprinter/ParserTypes.h (added) * tools/prettyprinter/filter.cc (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (modified) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/token.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa ... Tue, 04 Jul 2017 15:52:33 GMT Andrew Beach [307a732] * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/lsda.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * tools/cfa.nanorc (modified) The exception handling code compilers and translates, but the ... Tue, 04 Jul 2017 13:40:16 GMT Rob Schluntz [b1e63ac5] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/copyright/Buhr-059720-Huawei-Assignment_Agreement_Andrew_Beach-25-May-2017.pdf (added) * doc/generic_types/refereeReport.txt (added) * doc/proposals/associated_types.md (added) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (moved) * doc/proposals/concurrency/annex/local.bib (moved) * doc/proposals/concurrency/build/bump_ver.sh (moved) * doc/proposals/concurrency/concurrency.tex (deleted) * doc/proposals/concurrency/ext_monitor.fig.bak (deleted) * doc/proposals/concurrency/figures/ext_monitor.fig (moved) * doc/proposals/concurrency/figures/monitor.fig (moved) * doc/proposals/concurrency/notes/cor-thread-traits.c (moved) * doc/proposals/concurrency/notes/lit-review.md (moved) * doc/proposals/concurrency/notes/notes.md (moved) * doc/proposals/concurrency/style.tex (deleted) * doc/proposals/concurrency/style/cfa-format.tex (moved) * doc/proposals/concurrency/style/style.tex (added) * doc/proposals/concurrency/text/basics.tex (added) * doc/proposals/concurrency/text/cforall.tex (added) * doc/proposals/concurrency/text/concurrency.tex (added) * doc/proposals/concurrency/text/intro.tex (added) * doc/proposals/concurrency/text/parallelism.tex (added) * doc/proposals/concurrency/thesis.tex (added) * doc/proposals/concurrency/version (modified) * doc/proposals/tagged-struct.txt (added) * doc/proposals/user_conversions.md (added) * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (modified) * doc/refrat/refrat.tex (modified) * doc/rob_thesis/intro.tex (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/pointer2.fig (modified) * doc/user/user.tex (modified) * doc/working/exception/design.txt (added) * doc/working/exception/except.c (deleted) * doc/working/exception/except.h (deleted) * doc/working/exception/impl/README (moved) * doc/working/exception/impl/exception.c (added) * doc/working/exception/impl/exception.h (added) * doc/working/exception/impl/lsda.h (moved) * doc/working/exception/impl/main.cfa (moved) * doc/working/exception/impl/test-main.c (added) * doc/working/exception/main.c (deleted) * doc/working/exception/reference.c (added) * doc/working/exception/translate.c (added) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/Assert.cc (modified) * src/Common/Indenter.h (added) * src/Common/PassVisitor.h (added) * src/Common/PassVisitor.impl.h (added) * src/Common/PassVisitor.proto.h (added) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/ControlStruct/ExceptTranslate.cc (added) * src/ControlStruct/ExceptTranslate.h (added) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/PolyMutator.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.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.hh (moved) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (moved) * src/Parser/parserutility.h (moved) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/CurrentObject.cc (added) * src/ResolvExpr/CurrentObject.h (added) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/create_cfaCor.c (added) * src/benchmark/create_cfaThrd.c (added) * src/benchmark/create_pthrd.c (added) * src/benchmark/create_uCor.cpp (added) * src/benchmark/create_uTask.cpp (added) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/alloc.c (deleted) * src/examples/fwrite.c (deleted) * src/examples/hello.c (deleted) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (added) * src/libcfa/concurrency/alarm.h (added) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (added) * src/libcfa/concurrency/preemption.h (added) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (added) * src/libcfa/containers/maybe.c (added) * src/libcfa/containers/result (added) * src/libcfa/containers/result.c (added) * src/libcfa/containers/vector (modified) * src/libcfa/exception.c (added) * src/libcfa/exception.h (added) * src/libcfa/gmp (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (added) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/32/attributes.txt (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/.expect/64/attributes.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/64/gmp.txt (moved) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/alloc.txt (added) * src/tests/.expect/complex.txt (added) * src/tests/.expect/concurrent/sched-int-block.txt (added) * src/tests/.expect/constant0-1DP.txt (deleted) * src/tests/.expect/constant0-1NDDP.txt (deleted) * src/tests/.expect/designations.txt (added) * src/tests/.expect/hello.txt (added) * src/tests/.expect/identity.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/maybe.txt (moved) * src/tests/.expect/result.txt (moved) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/KRfunctions.c (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (added) * src/tests/complex.c (added) * src/tests/constant0-1.c (deleted) * src/tests/coroutine.c (modified) * src/tests/designations.c (added) * src/tests/gmp.c (modified) * src/tests/hello.c (added) * src/tests/identity.c (moved) * src/tests/io.c (modified) * src/tests/libcfa_vector.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (added) * src/tests/numericConstants.c (modified) * src/tests/preempt_longrun/Makefile.am (added) * src/tests/preempt_longrun/Makefile.in (added) * src/tests/preempt_longrun/barge.c (added) * src/tests/preempt_longrun/block.c (added) * src/tests/preempt_longrun/create.c (added) * src/tests/preempt_longrun/disjoint.c (added) * src/tests/preempt_longrun/processor.c (added) * src/tests/preempt_longrun/stack.c (added) * src/tests/preempt_longrun/wait.c (added) * src/tests/preempt_longrun/yield.c (added) * src/tests/rational.c (modified) * src/tests/result.c (added) * src/tests/sched-int-block.c (added) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/tuplePolymorphism.c (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/Makefile.am (added) * tools/prettyprinter/Makefile.in (added) * tools/prettyprinter/filter.cc (added) * tools/prettyprinter/filter.h (added) * tools/prettyprinter/lex.ll (added) * tools/prettyprinter/main.cc (added) * tools/prettyprinter/parser.hh (added) * tools/prettyprinter/parser.yy (added) * tools/prettyprinter/test.tex (added) * tools/prettyprinter/test.y (added) * tools/prettyprinter/test1.y (added) * tools/prettyprinter/token.cc (added) * tools/prettyprinter/token.h (added) * tools/repeat (added) Merge branch 'master' into references Fri, 30 Jun 2017 20:59:54 GMT Rob Schluntz [f7cb0bc] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/Indenter.h (added) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) refactor indenter from CodeGen and CurrentObject Thu, 29 Jun 2017 21:41:12 GMT Rob Schluntz [435e75f] * src/ResolvExpr/Resolver.cc (modified) fix dropped environment Thu, 29 Jun 2017 21:06:24 GMT Rob Schluntz [62423350] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/VarExprReplacer.cc (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/tests/designations.c (modified) Big push on designations and initialization: works with generic ... Mon, 26 Jun 2017 20:48:35 GMT Rob Schluntz [579263a] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/generic_types/refereeReport.txt (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/build/bump_ver.sh (modified) * doc/proposals/concurrency/build/version (deleted) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (added) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (added) * doc/proposals/tagged-struct.txt (added) * doc/rob_thesis/intro.tex (modified) * doc/rob_thesis/thesis.tex (modified) * doc/user/user.tex (modified) * doc/working/exception/design.txt (modified) * doc/working/exception/impl/except.c (deleted) * doc/working/exception/impl/except.h (deleted) * doc/working/exception/impl/exception.c (added) * doc/working/exception/impl/exception.h (added) * doc/working/exception/impl/main.c (deleted) * doc/working/exception/impl/resume-main.c (deleted) * doc/working/exception/impl/test-main.c (added) * doc/working/exception/translate.c (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ControlStruct/ExceptTranslate.cc (added) * src/ControlStruct/ExceptTranslate.h (added) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/examples/fwrite.c (deleted) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/32/attributes.txt (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/.expect/64/attributes.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/identity.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/maybe.txt (added) * src/tests/.expect/result.txt (added) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (modified) * src/tests/identity.c (moved) * src/tests/io.c (modified) * src/tests/maybe.c (added) * src/tests/preempt_longrun/Makefile.am (added) * src/tests/preempt_longrun/Makefile.in (added) * src/tests/preempt_longrun/create.c (added) * src/tests/preempt_longrun/processor.c (added) * src/tests/preempt_longrun/stack.c (added) * src/tests/preempt_longrun/yield.c (added) * src/tests/result.c (added) * tools/cfa.nanorc (modified) * tools/repeat (added) Merge branch 'master' into designations Conflicts: ... Tue, 20 Jun 2017 17:19:53 GMT Rob Schluntz [e4d829b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CurrentObject.cc (added) * src/ResolvExpr/CurrentObject.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/TupleExpansion.cc (modified) major effort on designations, works in many cases Thu, 08 Jun 2017 14:54:22 GMT Thierry Delisle [c77fd8b] * src/ResolvExpr/Unify.cc (modified) Fixed last warning in C++ code Wed, 07 Jun 2017 20:53:42 GMT Thierry Delisle [d7dc824] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) Removed more warnings Tue, 06 Jun 2017 20:03:24 GMT Thierry Delisle [af397ef8] * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleExpansion.cc (modified) More attribute unused on parameters Mon, 05 Jun 2017 17:59:11 GMT Thierry Delisle [7e003011] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/ImplementationType.cc (modified) Some more unused argument removal, also removed some functions Wed, 24 May 2017 20:16:16 GMT Rob Schluntz [7f623d6f] * src/ResolvExpr/AlternativeFinder.cc (modified) add all function type parameters as open variables when instantiating ... Wed, 24 May 2017 20:12:28 GMT Rob Schluntz [0b150ec] * src/MakeLibCfa.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/prelude/prelude.cf (modified) minor zero_t/one_t prelude changes, simplify prelude generation, ... Mon, 15 May 2017 15:30:26 GMT Rob Schluntz [ce8c12f] * src/CodeGen/GenType.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.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/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceType.cc (added) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) initial work on references: reference types passed through the ... Wed, 03 May 2017 21:03:29 GMT Rob Schluntz [ca946a4] * src/ResolvExpr/AlternativeFinder.cc (modified) fix anonymous member conversions on function calls Tue, 11 Apr 2017 18:34:28 GMT Rob Schluntz [4b0f997] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Expression.cc (modified) fix implicit conversion to anonymous members Mon, 03 Apr 2017 15:24:44 GMT Aaron Moss [1d29d46] * src/ResolvExpr/PtrsCastable.cc (modified) Function pointer casts allowed by resolver Wed, 29 Mar 2017 20:37:00 GMT Aaron Moss [b2daebd4] * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/Unify.cc (modified) ttype parameters to generic types now bind parameter lists into ... Thu, 23 Mar 2017 22:11:52 GMT Peter A. Buhr [6013bd7] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Type.h (modified) first attempt at named designators Fri, 17 Mar 2017 17:14:44 GMT Rob Schluntz [946bcca] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 17 Mar 2017 17:14:07 GMT Rob Schluntz [64ac636] * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Type.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) fix missing line numbers in some places, including member constructor ... Fri, 17 Mar 2017 13:58:23 GMT Peter A. Buhr [615a096] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) fix BFCommon problem on gcc-4.9, and begin consistent renaming Thu, 16 Mar 2017 22:14:32 GMT Peter A. Buhr [395fc37] * doc/LaTeXmacros/common.tex (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/tests/.expect/tuplePolymorphism.txt (modified) * src/tests/memberCtors.c (modified) * src/tests/tuplePolymorphism.c (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 16 Mar 2017 22:14:27 GMT Peter A. Buhr [6f95000] * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) more cleanup for bit-field type usage and create struct forward for ... Thu, 16 Mar 2017 20:50:08 GMT Rob Schluntz [1fbab5a] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * doc/proposals/flags.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/ThrdCtxSwitch.c (modified) * src/benchmark/bench.c (modified) * src/benchmark/csv-data.c (modified) * src/examples/multicore.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine (moved) * src/libcfa/concurrency/coroutine.c (moved) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/thread (moved) * src/libcfa/concurrency/thread.c (moved) * src/tests/coroutine.c (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) * src/tests/test.py (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 16 Mar 2017 12:23:42 GMT Peter A. Buhr [68fe077a] * src/CodeGen/FixNames.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) move type StorageClasses from DeclarationNode to Type Tue, 14 Mar 2017 18:45:16 GMT Rob Schluntz [88d1066] * src/ResolvExpr/Resolver.cc (modified) remove environments from default argument expressions Tue, 07 Mar 2017 13:33:43 GMT Peter A. Buhr [a7c90d4] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.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/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.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change StorageClass to bitset, support _Thread_local as separate ... Fri, 17 Feb 2017 19:41:24 GMT Rob Schluntz [8a5cad8] * src/ResolvExpr/AlternativeFinder.h (modified) add missing prototype Fri, 17 Feb 2017 19:20:25 GMT Rob Schluntz [32b8144] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/tests/dtor-early-exit.c (modified) resolve case labels and case ranges Tue, 14 Feb 2017 20:53:52 GMT Thierry Delisle [138e29e] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) Implemented filename and linenumber errors in most cases, only ... Tue, 07 Feb 2017 18:01:34 GMT Rob Schluntz [fe26fbf] * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/CodeTools/DeclStats.cc (added) * src/CodeTools/DeclStats.h (added) * src/CodeTools/module.mk (added) * src/Common/ScopedMap.h (modified) * src/Common/VectorMap.h (added) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parser.yy.new (added) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/VarArgsType.cc (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (added) * src/benchmark/Makefile.am (added) * src/benchmark/Makefile.in (added) * src/benchmark/ThrdCtxSwitch.c (added) * src/benchmark/bench.c (moved) * src/driver/cfa.cc (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/coroutines (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/threads (modified) * src/libcfa/containers/vector (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (added) * src/prelude/sync-builtins.def (added) * src/tests/.expect/64/attributes.txt (added) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/attributes.c (added) * src/tests/extension.c (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 03 Feb 2017 21:02:13 GMT Rob Schluntz [064cb18] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Mangler.cc (modified) Fixed code gen for default argument functions Wed, 01 Feb 2017 21:13:27 GMT Thierry Delisle [eeaea53] * src/ResolvExpr/Resolver.cc (modified) Removed undefined behavior when anonymous unions have no member Tue, 24 Jan 2017 20:56:33 GMT Rob Schluntz [4a9ccc3] * src/Common/utility.h (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/tests/vector/array.c (modified) * src/tests/vector/array.h (modified) propagate sized status through trait instances Mon, 16 Jan 2017 20:29:18 GMT Rob Schluntz [f3b0a07] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/Unify.cc (modified) allow ttypes contained in tuple types to unify, refactor and simplify ... Thu, 05 Jan 2017 20:47:36 GMT Rob Schluntz [6c3a988f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) fix inferred parameter data structures to correctly associate ... Thu, 22 Dec 2016 21:07:58 GMT Rob Schluntz [4c8621ac] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) allow construction, destruction, and assignment for empty tuples, ... Thu, 22 Dec 2016 20:23:49 GMT Rob Schluntz [907eccb] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/TupleExpansion.cc (modified) added UntypedTupleExpr to better differentiate typed and untyped ... Wed, 21 Dec 2016 22:15:27 GMT Rob Schluntz [64eae56] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/tests/tupleVariadic.c (modified) match formal parameter type of actual function when specializing ... Wed, 21 Dec 2016 22:13:15 GMT Rob Schluntz [53e3b4a] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Unify.cc (modified) refactored computeConversionCost, add ttype parameter handling to ... Thu, 15 Dec 2016 22:16:42 GMT Rob Schluntz [66f8528] * .gitignore (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (added) * automake/config.sub (added) * configure (modified) * configure.ac (modified) * doc/proposals/NOTE.txt (added) * doc/proposals/closure.md (added) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/style.tex (modified) * doc/proposals/concurrency/version (modified) * doc/proposals/references.md (added) * doc/proposals/references.pdf (added) * doc/proposals/virtual.txt (added) * doc/proposals/void_ptr.md (added) * doc/proposals/void_ptr.pdf (added) * doc/proposals/zero_one.md (added) * doc/proposals/zero_one.pdf (added) * doc/working/resolver_design.md (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/Common/Assert.cc (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.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.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cfa.cc (modified) * src/examples/ArrayN.c (added) * src/examples/Bench.c (added) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/zero_one.c (added) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (added) * src/libcfa/assert.c (added) * src/libcfa/concurrency/CtxSwitch-i386.S (added) * src/libcfa/concurrency/CtxSwitch-i686.S (added) * src/libcfa/concurrency/CtxSwitch-x86_64.S (added) * src/libcfa/concurrency/invoke.c (added) * src/libcfa/concurrency/invoke.h (added) * src/libcfa/concurrency/threads (added) * src/libcfa/concurrency/threads.c (added) * src/libcfa/libhdr.h (added) * src/libcfa/libhdr/libalign.h (added) * src/libcfa/libhdr/libdebug.h (added) * src/libcfa/libhdr/libtools.h (added) * src/libcfa/stdhdr/assert.h (modified) * src/main.cc (modified) * src/prelude/Makefile.am (added) * src/prelude/Makefile.in (added) * src/prelude/builtins.c (moved) * src/prelude/builtins.def (moved) * src/prelude/extras.c (moved) * src/prelude/extras.regx (moved) * src/prelude/prelude.cf (moved) * src/prelude/prototypes.awk (moved) * src/prelude/prototypes.c (moved) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/.expect/constant0-1DP.txt (modified) * src/tests/.expect/constant0-1NDDP.txt (modified) * src/tests/.expect/coroutine.txt (added) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/dtor-early-exit-ERR1.txt (modified) * src/tests/.expect/dtor-early-exit-ERR2.txt (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/voidPtr.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/coroutine.c (added) * src/tests/test.py (modified) * src/tests/voidPtr.c (added) Merge branch 'master' into tuples Conflicts: ... Tue, 13 Dec 2016 22:20:54 GMT Rob Schluntz [1d2b64f] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/Tuples/TupleAssignment.cc (modified) combine environments and costs in tuple assignment, resolve ... Tue, 13 Dec 2016 22:02:24 GMT Rob Schluntz [722617d] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) resolve StmtExprs Tue, 13 Dec 2016 22:01:51 GMT Rob Schluntz [ea83e00a] * src/ResolvExpr/AlternativeFinder.cc (modified) attempt to narrow resolution of function calls based on return type ... Tue, 13 Dec 2016 21:59:46 GMT Rob Schluntz [7933351] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/Type.h (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/tupleCast.txt (modified) * src/tests/tupleCast.c (modified) add tuple cast resolution code Tue, 13 Dec 2016 21:13:08 GMT Rob Schluntz [fc638d2] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/VarExprReplacer.cc (modified) fixed StmtExpr code in PolyMutator, added missing copy constructor, ... Thu, 08 Dec 2016 22:05:42 GMT Aaron Moss [a2a77af] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/libcfa/prelude.cf (modified) Fix void* to dtype* bindings Thu, 01 Dec 2016 17:46:34 GMT Thierry Delisle [4cb935e] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/Parser/parseutility.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/libcfa/prelude.cf (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) 0 and 1 now properly parse and resolve to zero_t and one_t respectively Fri, 25 Nov 2016 23:11:03 GMT Rob Schluntz [2c57025] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/libcfa/prelude.cf (modified) * src/tests/.expect/completeTypeError.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/completeTypeError.c (added) add support for built-in sized trait which decouples size/alignment ... Wed, 16 Nov 2016 21:37:50 GMT Rob Schluntz [d9fa60a] * src/GenPoly/Box.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Expression.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) * src/tests/tupleFunction.c (modified) moved substituion into MemberExpr constructor, change generated tuple ... Tue, 15 Nov 2016 22:30:52 GMT Rob Schluntz [33a7b6d] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/tests/.expect/simpleGenericTriple.txt (added) * src/tests/simpleGenericTriple.c (added) * src/tests/tupleAssign.c (modified) * src/tests/tupleFunction.c (modified) * src/tests/tupleMember.c (modified) changed use of formal types to actual types for boxing return ... Fri, 11 Nov 2016 18:31:34 GMT Rob Schluntz [8f9cc50] * doc/proposals/concurrency/concurrency.tex (modified) * doc/proposals/concurrency/glossary.tex (modified) * doc/proposals/concurrency/version (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Merge branch 'master' into tuples Fri, 11 Nov 2016 17:34:54 GMT Thierry Delisle [668e971a] * src/ResolvExpr/AlternativeFinder.cc (modified) Fixed undefined behavior in AlternativeFinder.cc Thu, 10 Nov 2016 21:32:41 GMT Thierry Delisle [5f5083e] * src/ResolvExpr/Resolver.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Fixed a few warnings in tuples Thu, 10 Nov 2016 21:16:32 GMT Rob Schluntz [30b65d8] * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) always construct polymorphic types, substitute generic type ...