# # ChangeLog for src/SynTree # # Generated by Trac 1.2.1 # Apr 23, 2024, 5:45:46 AM Thu, 27 Jul 2017 18:56:39 GMT Thierry Delisle [fcd17b2f] * doc/LaTeXmacros/lstlang.sty (modified) * doc/man/README (added) * doc/man/cfa.1 (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/GenPoly/Box.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (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/designations.c (modified) * src/tests/virtualCast.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 27 Jul 2017 18:56:25 GMT Thierry Delisle [4d4e5de] * src/SynTree/Expression.cc (modified) * src/SynTree/TypeExpr.cc (modified) Fixed last 2 g++ 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 Tue, 18 Jul 2017 14:22:23 GMT Andrew Beach [ac10576] * src/ControlStruct/ExceptTranslate.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parserutility.cc (modified) * src/SynTree/Type.h (modified) Replaced emptyQualifiers with noQualifiers for consistancy with ... Fri, 14 Jul 2017 21:25:25 GMT Andrew Beach [6ea87486] * 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/SymTab/Autogen.cc (modified) * src/SymTab/TreeStruct.cc (added) * src/SymTab/TreeStruct.h (added) * src/SymTab/module.mk (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/typeobject.c (added) * src/libcfa/typeobject.h (added) That should be all the base code for 'tree structures' to work. Thu, 29 Jun 2017 21:13:42 GMT Rob Schluntz [a12d5aa] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/proposals/associated_types.md (added) * doc/proposals/tagged-struct.txt (modified) * src/CodeGen/FixNames.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/module.mk (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.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/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (added) * src/libcfa/exception.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (added) * src/tests/preempt_longrun/block.c (added) * src/tests/preempt_longrun/disjoint.c (added) * src/tests/preempt_longrun/wait.c (added) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.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 (modified) Merge branch 'master' into designations 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 ... Wed, 28 Jun 2017 20:05:46 GMT Andrew Beach [fa4805f] * src/CodeGen/FixNames.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/Declaration.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (added) * src/libcfa/exception.h (added) * src/main.cc (modified) * src/prelude/builtins.c (modified) The builtins.cf now includes exception handling functions. 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: ... Thu, 22 Jun 2017 18:00:16 GMT Andrew Beach [25a8631] * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) Fixed some missing visits on visits to Try and Catch nodes. Thu, 22 Jun 2017 14:26:03 GMT Andrew Beach [2c37f34] * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Getting in my addition to Constant, from_bool constructor. Wed, 21 Jun 2017 21:47:52 GMT Peter A. Buhr [e9a3b20b] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.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/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 21 Jun 2017 21:47:44 GMT Peter A. Buhr [d56e5bc] * src/CodeGen/FixNames.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parseutility.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/Tuples/TupleExpansion.cc (modified) add constant value into constants Wed, 21 Jun 2017 15:47:32 GMT Rob Schluntz [af5c204a] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) remove UntypedValOfExpr and hook in build for StmtExpr Wed, 21 Jun 2017 15:42:45 GMT Rob Schluntz [4551a6e] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) update PassVisitor and Expression documentation, move reset_visit out ... Tue, 20 Jun 2017 17:23:52 GMT Rob Schluntz [6a0d1b1e] * doc/LaTeXmacros/common.tex (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 20 Jun 2017 17:23:48 GMT Rob Schluntz [2873b737] * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/ObjectDecl.cc (modified) virtual destructor in BaseSyntaxNode, fix ObjectDecl print 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 Mon, 19 Jun 2017 20:23:46 GMT Andrew Beach [046e04a] * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) Now only CatchStmt can be a handler on a TryStmt. Sun, 18 Jun 2017 13:22:22 GMT Rob Schluntz [436c0de] * .gitignore (modified) * configure (modified) * configure.ac (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/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/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/InitTweak/GenInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (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/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/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/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/identity.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/maybe.txt (added) * src/tests/.expect/result.txt (added) * 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' of plg.uwaterloo.ca:/u/cforall/software/cfa ... Mon, 12 Jun 2017 17:41:06 GMT Andrew Beach [ca78437] * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * tools/cfa.nanorc (modified) Updated the CatchStmt node so that it may handle both termination and ... Thu, 08 Jun 2017 21:04:55 GMT Andrew Beach [daf1af8] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) Added a new ThrowStmt node to the Syntax Tree. 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 Tue, 06 Jun 2017 18:50:57 GMT Rob Schluntz [10e90cb] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ParseNode.h (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) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (added) * 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/signal.c (deleted) * src/main.cc (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 05 Jun 2017 21:49:43 GMT Rob Schluntz [8ca3a72] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SynTree/Attribute.h (modified) remove redundant noLabels variables Mon, 05 Jun 2017 15:43:18 GMT Thierry Delisle [b3c36f4] * src/CodeTools/TrackLoc.cc (modified) * src/Common/Assert.cc (modified) * src/Common/PassVisitor.proto.h (modified) * src/Parser/ParseNode.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/main.cc (modified) Added some __attribute__((unused)) where appropriate Fri, 26 May 2017 22:37:49 GMT Rob Schluntz [67cf18c] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/Visitor.cc (modified) * src/libcfa/containers/vector (modified) * src/tests/libcfa_vector.c (modified) implement default type arguments for generic types [closes #13] Thu, 18 May 2017 20:58:08 GMT Rob Schluntz [c7a3081] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) only bind generic parameters in TypeSubstitution in freeOnly mode, ... Fri, 05 May 2017 15:05:12 GMT Rob Schluntz [262f085f] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/SynTree.h (modified) add version of CodeGen::generate for a single node for use in gdb Wed, 03 May 2017 21:19:01 GMT Rob Schluntz [bdd0755] * src/CodeGen/CodeGenerator.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) fix prettyprint codegen for typedecl Wed, 03 May 2017 19:14:37 GMT Andrew Beach [dba6db9] * src/CodeTools/TrackLoc.cc (added) * src/CodeTools/TrackLoc.h (added) * src/SynTree/Visitor.h (modified) Added CodeTools::fillLocations, not called yet. Tue, 02 May 2017 23:09:44 GMT Rob Schluntz [ed8a0d2] * src/SymTab/Validate.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) constructor taking an array parameter is now an error Mon, 17 Apr 2017 21:43:01 GMT Rob Schluntz [e39241b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/SynTree/Declaration.h (modified) * src/main.cc (modified) * src/tests/.expect/memberCtors-ERR1.txt (modified) allow codegen as an alternative to AST dump after any pass with the ... 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 Thu, 30 Mar 2017 21:21:07 GMT Peter A. Buhr [fbcde64] * src/CodeGen/CodeGenerator.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) remove duplication in compound literal, support aggregate-type ... 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 Tue, 21 Mar 2017 16:50:27 GMT Rob Schluntz [168c007] * doc/proposals/concurrency/thePlan.md (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Type.h (modified) * src/benchmark/CorCtxSwitch.c (modified) * src/benchmark/bench.c (modified) * src/benchmark/csv-data.c (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/examples/multicore.c (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (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 (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/coroutine.c (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) * src/tests/thread.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 21 Mar 2017 16:36:01 GMT Thierry Delisle [e04b636] * src/Concurrency/Keywords.cc (modified) * src/Parser/lex.ll (modified) * src/SynTree/Type.h (modified) * src/tests/coroutine.c (modified) Implemented and tested coroutine keyword Tue, 21 Mar 2017 16:21:04 GMT Rob Schluntz [142cf5d] * src/Parser/ExpressionNode.cc (modified) * src/SynTree/Type.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/avltree/avl1.c (modified) * src/tests/avltree/avl_test.c (modified) * src/tests/completeTypeError.c (modified) * src/tests/dtor-early-exit.c (modified) change type of string literal from char[] to const char[] Fri, 17 Mar 2017 21:34:16 GMT Peter A. Buhr [89d129c] * doc/LaTeXmacros/common.tex (modified) * 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) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 17 Mar 2017 21:34:05 GMT Peter A. Buhr [409433da] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) support coroutine, monitor, thread as kind of structure 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 16:17:46 GMT Peter A. Buhr [d6d747d] * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) more cleanup for bit-field type usage Thu, 16 Mar 2017 12:47:36 GMT Peter A. Buhr [ddfd945] * src/GenPoly/Box.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/SymTab/Autogen.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) move type FuncSpecifiers from DeclarationNode to Type 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 Thu, 16 Mar 2017 11:41:45 GMT Peter A. Buhr [6e8bd43] * src/CodeGen/CodeGenerator.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.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) cleanup interface to qualifiers/specifiers Thu, 16 Mar 2017 01:43:15 GMT Peter A. Buhr [f2e40a9f] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * doc/proposals/concurrency/thePlan.md (modified) * doc/proposals/flags.md (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/SymTab/Validate.cc (modified) * src/SynTree/Type.h (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 plg2:software/cfa/cfa-cc Thu, 16 Mar 2017 01:25:42 GMT Peter A. Buhr [bf4ac09] * src/SymTab/Autogen.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change type of Qualifiers to bit fields Tue, 14 Mar 2017 19:17:20 GMT Rob Schluntz [2f26687a] * Jenkinsfile (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (added) * src/Concurrency/Keywords.h (added) * src/Concurrency/module.mk (added) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 14 Mar 2017 15:09:16 GMT Thierry Delisle [c54b0b4] * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Added isMutex qualifier Fri, 10 Mar 2017 16:00:13 GMT Rob Schluntz [861799c] * src/Parser/parser.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/TypeDecl.cc (modified) fix 0,1 member access, fix autogenerated routines missing size for ... 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 ... Sat, 04 Mar 2017 03:12:02 GMT Peter A. Buhr [dd020c0] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (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/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.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.h (modified) first attempt to create function specifiers Fri, 24 Feb 2017 20:58:03 GMT Rob Schluntz [43c89a7] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) add hoistType flag (currently unused) Thu, 16 Feb 2017 20:36:45 GMT Peter A. Buhr [3a5131ed] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Box.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/core (added) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/.expect/KRfunctions.txt (added) * src/tests/KRfunctions.c (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) handle KR function declarations 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, 14 Feb 2017 19:54:51 GMT Thierry Delisle [294647b] * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/SynTree/BaseSyntaxNode.h (added) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.h (modified) Filename and linenumber handling for parsing errors Thu, 09 Feb 2017 20:17:29 GMT Peter A. Buhr [e994912] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.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) code generation for external asm statement (declaration) Mon, 06 Feb 2017 21:19:41 GMT Peter A. Buhr [c0aa336] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (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/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/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) third attempt at gcc attributes 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 Wed, 18 Jan 2017 21:58:22 GMT Peter A. Buhr [5ded739] * src/SynTree/Expression.h (modified) code formatting Wed, 18 Jan 2017 21:57:52 GMT Peter A. Buhr [44a81853] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (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/SynTree/Attribute.h (modified) first attempt at gcc attributes Thu, 12 Jan 2017 20:28:29 GMT Thierry Delisle [13de47bc] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain.h (added) * src/CodeGen/FixNames.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (modified) * src/prelude/bootloader.cf (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) Proper bootloader boilerplate implemented Thu, 12 Jan 2017 19:05:03 GMT Thierry Delisle [3fe34ae] * .gitignore (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/bootloader.cf (added) Added bootloader.cf which contains the main that wraps the user main Thu, 12 Jan 2017 16:31:57 GMT Thierry Delisle [0270824] * src/CodeGen/FixNames.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/main.cc (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) Replace user main with custom main, prototype 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 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 19:55:56 GMT Rob Schluntz [e33f321] * src/SynTree/Mutator.cc (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) mutate env on each expression type to ensure type mappings are up to date Wed, 21 Dec 2016 19:54:31 GMT Rob Schluntz [8bf784a] * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) name mangling for ttype, fix SynTree operator<< to work with nullptr, ... Fri, 16 Dec 2016 17:42:02 GMT Rob Schluntz [8f60f0b] * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.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/SynTree/Declaration.h (modified) add support for ttype in the parser 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:37:15 GMT Rob Schluntz [d5556a3] * src/SymTab/Indexer.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/Visitor.cc (modified) * src/Tuples/TupleExpansion.cc (modified) change rework TupleAssignExpr and StmtExpr 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, ... Tue, 13 Dec 2016 20:14:59 GMT Peter A. Buhr [58dd019] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/OperatorTable.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.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) add asm_name clause to declarations 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 ... Wed, 09 Nov 2016 19:21:05 GMT Rob Schluntz [141b786] * src/InitTweak/FixInit.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/Explode.cc (added) * src/Tuples/Explode.h (added) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/main.cc (modified) rework UniqueExpr, handle UniqueExpr in FixInit, fix translation for ... Wed, 09 Nov 2016 19:10:00 GMT Rob Schluntz [23bb1b9] * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/VarExprReplacer.cc (added) * src/SynTree/VarExprReplacer.h (added) * src/SynTree/module.mk (modified) refactor VarExprReplacer and reuse it in TupleAssignExpr Wed, 09 Nov 2016 19:05:09 GMT Rob Schluntz [b3b2077] * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) refactor some code that generates dereference and assignment calls Thu, 27 Oct 2016 19:24:02 GMT Rob Schluntz [77971f6] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) resolve ctor/dtors for UniqueExprs Wed, 26 Oct 2016 14:56:46 GMT Rob Schluntz [f0121d7] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/SynTree/Initializer.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) refactor genCtorInit, generate ConstructorInit for UniqueExpr Tue, 18 Oct 2016 20:23:04 GMT Rob Schluntz [bf32bb8] * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/main.cc (modified) implement transformation for MemberTupleExprs Thu, 13 Oct 2016 18:45:17 GMT Rob Schluntz [7756647] * doc/aaron_comp_II/Efficient Type Resolution in Cforall.pptx (added) * doc/aaron_comp_II/comp_II.tex (modified) * doc/aaron_comp_II/conversion_dag.png (added) * doc/aaron_comp_II/resolution_dag.png (added) * doc/aaron_comp_II/resolution_dag2.odg (added) * doc/aaron_comp_II/resolution_dag2.png (added) * doc/proposals/concurrency/Makefile (added) * doc/proposals/concurrency/concurrency.tex (added) * doc/proposals/concurrency/glossary.tex (added) * doc/proposals/concurrency/local.bib (added) * src/Common/DebugMalloc.cc (added) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.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.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (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/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/libcfa/memcheck.awk (added) Merge branch 'master' into tuples Conflicts: ... Wed, 05 Oct 2016 18:29:13 GMT Peter A. Buhr [faddbd8] * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) more refactoring of parser code, new tuple syntax Thu, 22 Sep 2016 12:14:56 GMT Rob Schluntz [65660bd] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) replace multiple-returning functions with tuple-returning functions, ... Tue, 20 Sep 2016 23:14:15 GMT Rob Schluntz [1132b62] * src/InitTweak/FixInit.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) copy construct tuple function arguments, and destruct tuple function ... Tue, 20 Sep 2016 20:47:34 GMT Rob Schluntz [23b6643f] * src/CodeGen/GenType.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/ZeroOneType.cc (added) * src/SynTree/module.mk (modified) * src/examples/gc_no_raii/src/internal/card_table.h (modified) * src/examples/gc_no_raii/src/internal/memory_pool.c (modified) * src/examples/gc_no_raii/src/internal/memory_pool.h (modified) * src/examples/gc_no_raii/src/internal/state.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/containers/vector.c (modified) * src/tests/.expect/libcfa_vector.txt (added) * src/tests/libcfa_vector.c (modified) Merge branch 'master' into tuples Conflicts: ... Tue, 20 Sep 2016 13:57:59 GMT Aaron Moss [db46512] * src/SynTree/ZeroOneType.cc (added) Add forgotten file to source control Mon, 19 Sep 2016 21:23:41 GMT Aaron Moss [89e6ffc] * src/CodeGen/GenType.cc (modified) * src/Makefile.in (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) Added support for ZeroType and OneType to all relevant visitors Mon, 19 Sep 2016 20:39:33 GMT Rob Schluntz [8c49c0e] * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) decouple code that uses Type's forall list from std::list in ...