# # ChangeLog for src/SymTab/Validate.cc # # Generated by Trac 1.2.1 # Mar 14, 2025, 5:12:45 PM Tue, 05 Mar 2019 20:08:46 GMT tdelisle <tdelisle@…> [c884f2d] * src/Common/Stats/Time.cc (modified) * src/Common/Stats/Time.h (modified) * src/SymTab/Validate.cc (modified) Fixed error for % of parent printing in timing sections and added ... Tue, 05 Mar 2019 19:17:45 GMT tdelisle <tdelisle@…> [3c0d4cd] * src/Common/Stats/Time.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Fixed/implemented % of parent printing in timing sections Thu, 28 Feb 2019 17:03:24 GMT tdelisle <tdelisle@…> [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... Fri, 07 Sep 2018 19:10:49 GMT Rob Schluntz <rschlunt@…> [7e08acf] * src/SymTab/Validate.cc (modified) Apply generic substitution to qualified typedefs Tue, 21 Aug 2018 19:59:45 GMT Rob Schluntz <rschlunt@…> [2a6292d] * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/Validate.cc (modified) Resolve with expressions earlier to ensure new local variables are ... Tue, 21 Aug 2018 18:21:53 GMT Rob Schluntz <rschlunt@…> [2b79a70] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/tests/.expect/gccExtensions.x64.txt (modified) * src/tests/.expect/gccExtensions.x86.txt (modified) Resolve typeof earlier so that constructors are chosen appropriately ... Fri, 03 Aug 2018 15:56:53 GMT Rob Schluntz <rschlunt@…> [ac3362c] * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) Resolve enumerator initializers early to allow other passes to ... Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz <rschlunt@…> [fd2debf] * src/Common/SemanticError.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) Add checks for constructor/destructor attribute arguments Mon, 30 Jul 2018 20:43:47 GMT Rob Schluntz <rschlunt@…> [4934ea3] * src/SymTab/Validate.cc (modified) Resolve array dimensions early to correctly evaluate whether a type ... Mon, 30 Jul 2018 20:43:47 GMT Rob Schluntz <rschlunt@…> [f072892] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Minor cleanup Tue, 17 Jul 2018 21:19:18 GMT Rob Schluntz <rschlunt@…> [2f84692] * src/SymTab/Validate.cc (modified) * src/prelude/sync-builtins.cf (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 17 Jul 2018 21:13:51 GMT Rob Schluntz <rschlunt@…> [8a3ecb9] * src/SymTab/Validate.cc (modified) Pass type qualifiers from qualified type to actual type Tue, 17 Jul 2018 13:59:25 GMT Rob Schluntz <rschlunt@…> [95d09bdb] * src/SymTab/Validate.cc (modified) Hoist aggregates defined as part of a compound literal Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz <rschlunt@…> [e82ef13] * src/SymTab/Validate.cc (modified) Transfer location from typedef instance to actual type [fixes #97] Mon, 09 Jul 2018 14:31:54 GMT Rob Schluntz <rschlunt@…> [0bcc2b7] * src/SymTab/Validate.cc (modified) Fix handling of traits and TypeDecls in ReplaceTypedef Mon, 09 Jul 2018 14:31:04 GMT Rob Schluntz <rschlunt@…> [062e8df] * src/SymTab/Validate.cc (modified) Add error checks for nested types Thu, 28 Jun 2018 19:29:37 GMT Rob Schluntz <rschlunt@…> [a12c81f3] * src/SymTab/Validate.cc (modified) Replace qualified types with the actual type Thu, 28 Jun 2018 19:27:34 GMT Rob Schluntz <rschlunt@…> [69918cea] * src/SymTab/Validate.cc (modified) Add new EliminateTypedef pass that just removes typedefs from AST Thu, 28 Jun 2018 19:27:02 GMT Rob Schluntz <rschlunt@…> [afcb0a3] * src/SymTab/Validate.cc (modified) Ignore QualifiedType children in LinkReferenceToTypes Thu, 28 Jun 2018 19:10:22 GMT Rob Schluntz <rschlunt@…> [48ed81c] * src/SymTab/Validate.cc (modified) Rename EliminateTypedef to ReplaceTypedef and add TypedefDecls for ... Thu, 28 Jun 2018 19:06:48 GMT Rob Schluntz <rschlunt@…> [d419d8e] * src/SymTab/Validate.cc (modified) Rename nested types when hoisting Thu, 28 Jun 2018 18:39:21 GMT Rob Schluntz <rschlunt@…> [15f5c5e] * src/SymTab/Validate.cc (modified) Rename LinkNestedTypes to HoistTypeDecls Tue, 26 Jun 2018 20:26:09 GMT Rob Schluntz <rschlunt@…> [b16923d] * src/SymTab/Validate.cc (modified) Fix type linking for empty SUEs Fri, 22 Jun 2018 19:43:19 GMT Rob Schluntz <rschlunt@…> [0b3b2ae] * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Minor code cleanup Thu, 14 Jun 2018 20:43:52 GMT Rob Schluntz <rschlunt@…> [29f9e20] * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Reorganize validate passes and reduce scope of HoistStruct pass Tue, 12 Jun 2018 15:26:23 GMT Rob Schluntz <rschlunt@…> [eaa6430] * src/SymTab/Validate.cc (modified) Minor cleanup Thu, 31 May 2018 14:41:38 GMT Rob Schluntz <rschlunt@…> [25fcb84] * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Reorder if/for initialization hoisting pass Wed, 18 Apr 2018 21:15:19 GMT Rob Schluntz <rschlunt@…> [b2da0574] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) Fix missing struct definition for empty struct with chained variable ... Tue, 10 Apr 2018 23:08:50 GMT Rob Schluntz <rschlunt@…> [bbf3fda] * src/SymTab/Validate.cc (modified) * src/libcfa/stdlib.c (modified) Use ForallFixer on every FunctionType Tue, 03 Apr 2018 17:58:10 GMT Rob Schluntz <rschlunt@…> [0f40912] * src/SymTab/Validate.cc (modified) Hoist _Static_assert declarations from struct/union bodies Wed, 28 Mar 2018 20:46:54 GMT Rob Schluntz <rschlunt@…> [3d2b7bc] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/SymTab/Validate.cc (modified) * src/tests/operators.c (modified) Check for operator-as-object errors Wed, 28 Feb 2018 21:48:22 GMT Thierry Delisle <tdelisle@…> [a16764a6] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/ErrorObjects.h (added) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Changed warning system to prepare for toggling warnings Tue, 27 Feb 2018 22:55:01 GMT Rob Schluntz <rschlunt@…> [4b1be68] * src/Concurrency/Keywords.cc (modified) * src/SymTab/AddVisit.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) Remove unused AddVisit.h Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz <rschlunt@…> [7c782af] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.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/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 16 Feb 2018 19:36:29 GMT Thierry Delisle <tdelisle@…> [0b0f1dd] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Propagated code location to TypeData Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle <tdelisle@…> [d55d7a6] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.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/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Massive change to errors to enable warnings Fri, 09 Feb 2018 15:06:16 GMT Rob Schluntz <rschlunt@…> [4bda2cf] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Refactor FixFunction, add error for void foo(void, ...) Wed, 03 Jan 2018 15:40:02 GMT Rob Schluntz <rschlunt@…> [4b97770] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Add error handling for C-style initialization of VLAs Thu, 14 Dec 2017 15:44:23 GMT Rob Schluntz <rschlunt@…> [bdad6eb7] * src/SymTab/Validate.cc (modified) Modify HoistStruct to track parent aggregate Tue, 05 Dec 2017 19:16:53 GMT Thierry Delisle <tdelisle@…> [12d2dc8] * src/SymTab/Validate.cc (modified) * src/tests/concurrent/preempt.c (modified) Removed unnecessary lambada capture in Validate.cc. Temp fix for the ... Fri, 01 Dec 2017 16:25:58 GMT Rob Schluntz <rschlunt@…> [a09e45b] * src/SymTab/Validate.cc (modified) Convert HoistStruct to PassVisitor Mon, 27 Nov 2017 19:38:37 GMT Rob Schluntz <rschlunt@…> [1f370451] * src/GenPoly/Box.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/tests/polymorphism.c (modified) Carry attributes through typedefs Wed, 22 Nov 2017 20:40:12 GMT Rob Schluntz <rschlunt@…> [b95fe40] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Add casts to dtype-static member expressions to prevent loss of type ... Fri, 17 Nov 2017 22:38:36 GMT Rob Schluntz <rschlunt@…> [5c4d27f] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for trait ... Fri, 17 Nov 2017 22:33:14 GMT Rob Schluntz <rschlunt@…> [48fa824] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for generic ... Wed, 08 Nov 2017 16:08:37 GMT Rob Schluntz <rschlunt@…> [8e0147a] * src/SymTab/Validate.cc (modified) Reorder Validate passes so that array parameters are converted into ... Mon, 23 Oct 2017 21:41:50 GMT Rob Schluntz <rschlunt@…> [f53836b] * src/SymTab/Validate.cc (modified) Fix error handling for VLA typedefs Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz <rschlunt@…> [bd7e609] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) Make ReturnFixer idempotent and rearrange passes in Validate in ... Wed, 04 Oct 2017 15:30:57 GMT Rob Schluntz <rschlunt@…> [7664fad] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) Update finishExpr so environment is not lost on multiple resolutions Tue, 03 Oct 2017 18:55:13 GMT Rob Schluntz <rschlunt@…> [21b7161] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Convert FixFunction to PassVisitor Fri, 22 Sep 2017 22:51:28 GMT Rob Schluntz <rschlunt@…> [60c3b06c] * src/SymTab/Validate.cc (modified) Move ForallPointerDecay pass below CompoundLiteral Fri, 22 Sep 2017 17:50:00 GMT Rob Schluntz <rschlunt@…> [8b11840] * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SymTab/Autogen.cc (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/Visitor.h (modified) Cleanup pass through several files Thu, 14 Sep 2017 17:46:06 GMT Rob Schluntz <rschlunt@…> [522363e] * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) Fix PassVisitor Indexer calls, aggregate top-level errors in ... Wed, 13 Sep 2017 18:44:01 GMT Thierry Delisle <tdelisle@…> [982832e] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/Generate.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/utility.h (modified) * src/GenPoly/Box.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Declaration.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/Type.cc (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/tests/.expect/32/KRfunctions.txt (modified) * src/tests/.expect/32/attributes.txt (modified) * src/tests/.expect/32/declarationSpecifier.txt (modified) * src/tests/.expect/32/extension.txt (modified) * src/tests/.expect/32/gccExtensions.txt (modified) * src/tests/.expect/32/literals.txt (added) * src/tests/.expect/64/KRfunctions.txt (modified) * src/tests/.expect/64/attributes.txt (modified) * src/tests/.expect/64/declarationSpecifier.txt (modified) * src/tests/.expect/64/extension.txt (modified) * src/tests/.expect/64/gccExtensions.txt (modified) * src/tests/.expect/64/literals.txt (added) * src/tests/.expect/io.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/charStringConstants.c (deleted) * src/tests/io.c (modified) * src/tests/io.data (modified) * src/tests/literals.c (added) * src/tests/user_literals.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 13 Sep 2017 18:34:55 GMT Thierry Delisle <tdelisle@…> [e3e16bc] * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/include/cassert (modified) Renamed safe_dynamic_cast to strict_dynamic_cast Tue, 12 Sep 2017 21:49:32 GMT Rob Schluntz <rschlunt@…> [a506df4] * src/SymTab/Validate.cc (modified) Convert EliminateTypedef to PassVisitor Tue, 12 Sep 2017 21:10:27 GMT Rob Schluntz <rschlunt@…> [96f9ef5] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) Modify TypeDecl mutate to return a Declaration Fri, 01 Sep 2017 22:59:48 GMT Rob Schluntz <rschlunt@…> [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 Fri, 01 Sep 2017 18:39:52 GMT Rob Schluntz <rschlunt@…> [2bf9c37] * src/Common/utility.h (modified) * src/SymTab/Validate.cc (modified) Refactor Validate filter into utility Thu, 31 Aug 2017 19:33:11 GMT Rob Schluntz <rschlunt@…> [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:29:38 GMT Rob Schluntz <rschlunt@…> [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 17:55:16 GMT Peter A. Buhr <pabuhr@…> [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:23:31 GMT Rob Schluntz <rschlunt@…> [2ae171d8] * src/GenPoly/Box.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) Minor clean up Tue, 22 Aug 2017 23:31:52 GMT Rob Schluntz <rschlunt@…> [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, 15 Aug 2017 17:38:04 GMT Thierry Delisle <tdelisle@…> [be9288a] * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypedefTable.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Type.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/main.cc (modified) Fixed errors made by the clean-up tool Tue, 15 Aug 2017 15:45:34 GMT Thierry Delisle <tdelisle@…> [d180746] * 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/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/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Big header cleaning pass - commit 2 Tue, 15 Aug 2017 15:09:35 GMT Thierry Delisle <tdelisle@…> [c3acf0aa] * src/SymTab/Autogen.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) More header cleaning Mon, 14 Aug 2017 18:03:39 GMT Rob Schluntz <rschlunt@…> [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 Wed, 09 Aug 2017 18:08:14 GMT Andrew Beach <ajbeach@…> [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. Mon, 07 Aug 2017 16:35:05 GMT Thierry Delisle <tdelisle@…> [56e49b0] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Fixed some assertf related warnings Fri, 21 Jul 2017 19:57:11 GMT Rob Schluntz <rschlunt@…> [bff227f] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/Concurrency/Keywords.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Refactor operator predicates into OperatorTable.cc Tue, 18 Jul 2017 20:39:08 GMT Rob Schluntz <rschlunt@…> [4fbdfae0] * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Find intrinsic dereference declaration so that dereference ... Wed, 12 Jul 2017 20:48:35 GMT Rob Schluntz <rschlunt@…> [084fecc] * src/SymTab/Validate.cc (modified) Update error handling for first parameter to ctor/dtor/assign Wed, 12 Jul 2017 17:58:00 GMT Thierry Delisle <tdelisle@…> [30f9072] * 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) More cleanup on the headers Tue, 04 Jul 2017 13:40:16 GMT Rob Schluntz <rschlunt@…> [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, 23 Jun 2017 16:12:46 GMT Rob Schluntz <rschlunt@…> [d24d4e1] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) convert more passes to PassVisitor, fix PassVisitor constructor bug, ... Wed, 21 Jun 2017 17:40:54 GMT Rob Schluntz <rschlunt@…> [06edda0] * src/SymTab/Validate.cc (modified) convert EnumAndPointerDecayPass and ForallPointerDecay to PassVisitor Tue, 20 Jun 2017 18:02:46 GMT Rob Schluntz <rschlunt@…> [0508ab3] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Validate.cc (modified) fix passes using PassVisitor to use inheritance rather than explicit ... Sun, 18 Jun 2017 13:22:22 GMT Rob Schluntz <rschlunt@…> [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 ... Wed, 07 Jun 2017 17:48:19 GMT Rob Schluntz <rschlunt@…> [c6d2e93] * src/SymTab/Validate.cc (modified) add unused attribute to function return variable Tue, 06 Jun 2017 20:03:24 GMT Thierry Delisle <tdelisle@…> [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 Fri, 02 Jun 2017 22:30:18 GMT Rob Schluntz <rschlunt@…> [0db6fc0] * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) convert several passes to PassVisitor Fri, 26 May 2017 22:37:49 GMT Rob Schluntz <rschlunt@…> [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] Fri, 19 May 2017 19:44:49 GMT Rob Schluntz <rschlunt@…> [11ab8ea8] * src/SymTab/Validate.cc (modified) add checks for generic type parameter length Mon, 15 May 2017 15:30:26 GMT Rob Schluntz <rschlunt@…> [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 ... Tue, 02 May 2017 23:09:44 GMT Rob Schluntz <rschlunt@…> [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 Tue, 04 Apr 2017 17:28:15 GMT Rob Schluntz <rschlunt@…> [fbd7ad6] * src/SymTab/Validate.cc (modified) compute and store array length when missing and known at compile-time Thu, 30 Mar 2017 21:21:07 GMT Peter A. Buhr <pabuhr@…> [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 15:37:27 GMT Thierry Delisle <tdelisle@…> [bcda04c] * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/Parser/lex.ll (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) * src/tests/monitor.c (modified) * src/tests/multi-monitor.c (modified) Fixed autogen constructors for concurrent sues Thu, 16 Mar 2017 22:14:32 GMT Peter A. Buhr <pabuhr@…> [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 <pabuhr@…> [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 <rschlunt@…> [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 <pabuhr@…> [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 01:43:15 GMT Peter A. Buhr <pabuhr@…> [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 Tue, 14 Mar 2017 19:17:20 GMT Rob Schluntz <rschlunt@…> [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 <tdelisle@…> [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 <rschlunt@…> [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 <pabuhr@…> [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 <pabuhr@…> [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 <rschlunt@…> [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)