# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Apr 28, 2024, 12:44:50 PM Wed, 31 Jan 2018 16:53:24 GMT Rob Schluntz [5e2c348] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Assign a result type to StmtExpr after resolution [fixes #79] Mon, 29 Jan 2018 21:03:04 GMT Rob Schluntz [fee651f] * src/ResolvExpr/AlternativeFinder.cc (modified) Refactor AlternativeFinder handling of LogicalExpr and RangeExpr to ... Mon, 29 Jan 2018 19:05:26 GMT Rob Schluntz [ebcb7ba] * src/ResolvExpr/AlternativeFinder.cc (modified) Refactor AlternativeFinder handling of ConditionalExpr to greatly ... Tue, 23 Jan 2018 18:12:26 GMT Rob Schluntz [84e8423] * src/ResolvExpr/CurrentObject.cc (modified) Fix initialization issue with nested unions Mon, 22 Jan 2018 19:28:01 GMT Rob Schluntz [b04a408] * src/ResolvExpr/TypeMap.h (deleted) Remove unused TypeMap file Mon, 22 Jan 2018 16:46:50 GMT Rob Schluntz [13deae88] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) Convert AlternativeFinder to PassVisitor Wed, 17 Jan 2018 19:38:38 GMT Rob Schluntz [78754d7] * src/ResolvExpr/CurrentObject.cc (modified) Fix assertion failure in CurrentObject [fixes #77] Wed, 17 Jan 2018 17:52:15 GMT Rob Schluntz [53452de] * src/ResolvExpr/CommonType.cc (modified) Convert CommonType to PassVisitor Wed, 17 Jan 2018 16:49:15 GMT Rob Schluntz [36a2367] * src/ResolvExpr/Unify.cc (modified) Convert Unify to PassVisitor Tue, 16 Jan 2018 18:37:40 GMT Rob Schluntz [ad51cc2] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/Resolver.cc (modified) Convert RenameVars to PassVisitor Mon, 15 Jan 2018 20:40:34 GMT Rob Schluntz [f07c1e6] * src/ResolvExpr/PtrsAssignable.cc (modified) Convert PtrsAssignable to PassVisitor Mon, 15 Jan 2018 20:10:55 GMT Rob Schluntz [12145b9] * src/ResolvExpr/PtrsCastable.cc (modified) Convert PtrsCastable to PassVisitor Thu, 11 Jan 2018 16:15:15 GMT Rob Schluntz [bd0b6b62] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) Convert ConversionCost and CastCost to PassVisitor Thu, 11 Jan 2018 15:50:03 GMT Rob Schluntz [721cd19f] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) Refactor ConversionCost and CastCost to remove explicit recursive ... Wed, 10 Jan 2018 16:12:53 GMT Rob Schluntz [eb0aedb] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) Minor code cleanup Fri, 05 Jan 2018 21:44:34 GMT Rob Schluntz [8587878e] * src/ResolvExpr/Resolver.cc (modified) Refactor findIntegralExpression and use it to resolve if/for/while ... Thu, 04 Jan 2018 21:38:10 GMT Rob Schluntz [6138d0f] * src/ResolvExpr/Resolver.cc (modified) Update assertion message in findSingleExpression Wed, 03 Jan 2018 15:40:02 GMT Rob Schluntz [4b97770] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Add error handling for C-style initialization of VLAs Fri, 22 Dec 2017 21:20:00 GMT Rob Schluntz [f64d9bc] * src/ResolvExpr/CurrentObject.cc (modified) Handle initialization of arrays with enumerator dimension and VLAs ... Fri, 22 Dec 2017 21:13:42 GMT Rob Schluntz [c1bf35f] * src/ResolvExpr/Resolver.h (modified) Add findSingleExpression overload to header file Mon, 18 Dec 2017 20:24:54 GMT Rob Schluntz [ce7ed2c] * src/ResolvExpr/FindOpenVars.cc (modified) Convert FindOpenVars to PassVisitor Mon, 18 Dec 2017 20:24:40 GMT Rob Schluntz [a180ded] * src/ResolvExpr/PolyCost.cc (modified) Convert PolyCost to PassVisitor Mon, 18 Dec 2017 20:18:41 GMT Rob Schluntz [103b264] * src/ResolvExpr/Occurs.cc (modified) Convert Occurs to PassVisitor Mon, 18 Dec 2017 19:55:52 GMT Rob Schluntz [ecd4923] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) Remove unnecessary attribute unused Mon, 18 Dec 2017 19:27:58 GMT Rob Schluntz [fb57626] * src/CodeGen/FixMain.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/libcfa/fstream (modified) * src/libcfa/fstream.c (modified) * src/tests/.expect/declarationSpecifier.x64.txt (modified) * src/tests/.expect/declarationSpecifier.x86.txt (modified) * src/tests/.expect/gccExtensions.x64.txt (modified) * src/tests/.expect/gccExtensions.x86.txt (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/concurrent/examples/boundedBuffer.c (modified) * src/tests/concurrent/examples/quickSort.c (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 18 Dec 2017 19:27:47 GMT Rob Schluntz [b8b075cd] * src/ResolvExpr/ConversionCost.cc (modified) Apply different costs to conversion of pointers with different types ... Thu, 14 Dec 2017 15:52:51 GMT Rob Schluntz [74cdfb1] * src/ResolvExpr/CommonType.cc (modified) Fix common type for references when both types are references Thu, 14 Dec 2017 15:50:11 GMT Rob Schluntz [6e027d6] * src/ResolvExpr/ConversionCost.cc (modified) Fix costs for conversion between compatible reference types Mon, 11 Dec 2017 21:42:11 GMT Aaron Moss [7faab5e] * src/ResolvExpr/AlternativeFinder.cc (modified) [fixes #71] Mon, 04 Dec 2017 20:37:28 GMT Rob Schluntz [0a60c04] * src/ResolvExpr/Resolver.cc (modified) Introduce a temporary for with expressions that may contain side- ... Mon, 04 Dec 2017 20:35:51 GMT Rob Schluntz [6d2f993] * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/typeops.h (modified) Move referenceToRvalueConversion declaration Fri, 01 Dec 2017 22:12:03 GMT Rob Schluntz [a40d503] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add base expression to Indexer MangleTable and implement WithStmt ... Fri, 01 Dec 2017 19:55:41 GMT Rob Schluntz [3ca540f] * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/align.h (moved) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/debug.c (moved) * src/libcfa/bits/debug.h (added) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (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/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr.h (deleted) * src/libcfa/libhdr/libdebug.h (deleted) * src/libcfa/libhdr/libtools.h (deleted) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/except-mac.h (modified) Merge branch 'master' into with-statement Fri, 01 Dec 2017 19:54:30 GMT Rob Schluntz [882ad37] * src/ResolvExpr/Resolver.cc (modified) Resolve WithStmt exprs Fri, 01 Dec 2017 19:53:04 GMT Rob Schluntz [1e8bbac9] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) Refactor printAlts into AlternativeFinder.h Thu, 30 Nov 2017 17:41:59 GMT Thierry Delisle [35bae526] * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/annex/local.bib (modified) * doc/proposals/concurrency/figures/ext_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (deleted) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (added) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 29 Nov 2017 19:50:33 GMT Thierry Delisle [36982fc] * src/ControlStruct/ExceptTranslate.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (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/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr/libdebug.c (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/except-mac.h (modified) Renamed internal stuff to __cfaabi_... Wed, 29 Nov 2017 18:56:03 GMT Rob Schluntz [8a62d04] * src/ResolvExpr/AlternativeFinder.cc (modified) Add function cost to UntypedExpr resolution cost Thu, 23 Nov 2017 22:12:22 GMT Rob Schluntz [178e4ec] * src/Makefile.in (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ExplodedActual.cc (added) * src/ResolvExpr/ExplodedActual.h (added) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 23 Nov 2017 21:24:48 GMT Aaron Moss [62194cb] * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/Tuples/Explode.h (modified) Reduce duplication of cost/env in ExplodedActual Wed, 22 Nov 2017 22:55:13 GMT Aaron Moss [a8b27c6] * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ExplodedActual.cc (added) * src/ResolvExpr/ExplodedActual.h (added) * src/ResolvExpr/module.mk (modified) Pre-explode arguments in AlternativeFinder Wed, 22 Nov 2017 22:06:06 GMT Rob Schluntz [1ba5803] * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/stdhdr/stddef.h (modified) * src/libcfa/stdlib (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/alloc-ERROR.txt (added) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (modified) * src/tests/completeTypeError.c (modified) * src/tests/dtor-early-exit.c (modified) * src/tests/init_once.c (modified) * src/tests/multiDimension.c (modified) * src/tests/tupleVariadic.c (modified) * src/tests/vector/vector_int.c (modified) Merge branch 'fix-bug-51' Wed, 22 Nov 2017 22:04:38 GMT Rob Schluntz [83882e9] * src/ResolvExpr/AlternativeFinder.cc (modified) Update debug prints in AlternativeFinder Wed, 22 Nov 2017 20:43:50 GMT Rob Schluntz [452747a] * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/tests/.expect/castError.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 22 Nov 2017 20:40:40 GMT Rob Schluntz [7e4c4f4] * src/ResolvExpr/AlternativeFinder.cc (modified) Update debug prints in AlternativeFinder Wed, 22 Nov 2017 20:35:22 GMT Rob Schluntz [98a249fb] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/Expression.cc (modified) Add operator<< for TypeEnvironment Wed, 22 Nov 2017 18:32:55 GMT Aaron Moss [bd4f2e9] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/Tuples/TupleAssignment.cc (modified) Switch AltList to std::vector from std::list Tue, 21 Nov 2017 20:34:11 GMT Aaron Moss [73a5cadb] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix segfault Mon, 20 Nov 2017 21:31:42 GMT Aaron Moss [0872c42] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix bug with ttype/vararg handling in resolver refactor Mon, 20 Nov 2017 21:03:55 GMT Rob Schluntz [4d5e57b] * src/ResolvExpr/PtrsAssignable.cc (modified) * src/tests/.expect/completeTypeError.txt (modified) * src/tests/completeTypeError.c (modified) Prevent implicit conversion of void * to other pointer type for ... Mon, 20 Nov 2017 19:20:10 GMT Aaron Moss [a94b829] * Jenkinsfile (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/local.bib (modified) * doc/proposals/concurrency/figures/int_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (added) * doc/proposals/concurrency/figures/monitor_structs.fig (added) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/Common/Debug.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/SymTab/Validate.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.c (deleted) * src/benchmark/csv-data.c (deleted) * src/main.cc (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 (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/literals.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 20 Nov 2017 19:07:19 GMT Aaron Moss [403b388] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) Tweaked resolver data structure to reduce dynamic allocation Thu, 16 Nov 2017 17:25:56 GMT Rob Schluntz [11094d9] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix duplicate anonymous member alternative generation Wed, 15 Nov 2017 19:01:08 GMT Rob Schluntz [490db327] * src/Concurrency/Keywords.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/compile/empty.c (added) * src/benchmark/creation/cfa_cor.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/containers.h (added) * src/libcfa/bits/defs.h (added) * src/libcfa/bits/locks.h (added) * src/libcfa/concurrency/alarm.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.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/prelude/builtins.c (modified) Merge branch 'master' into unique-variable-renaming Wed, 15 Nov 2017 18:59:51 GMT Rob Schluntz [c95b115] * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) Add reset counter to type variable renaming scheme to ensure ... Wed, 08 Nov 2017 22:43:33 GMT Aaron Moss [3f7e12cb] * .gitignore (modified) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/concurrency/.gitignore (modified) * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/figures/dependency.fig (added) * doc/proposals/concurrency/figures/ext_monitor.fig (modified) * doc/proposals/concurrency/figures/int_monitor.fig.bak (deleted) * doc/proposals/concurrency/figures/system.fig (added) * doc/proposals/concurrency/style/cfa-format.tex (modified) * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (added) * doc/proposals/concurrency/text/internals.tex (added) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (added) * doc/proposals/concurrency/text/together.tex (added) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/Indenter.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (deleted) * src/GenPoly/CopyParams.h (deleted) * src/GenPoly/DeclMutator.cc (deleted) * src/GenPoly/DeclMutator.h (deleted) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/PolyMutator.cc (deleted) * src/GenPoly/PolyMutator.h (deleted) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (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/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (deleted) * src/SynTree/AddStmtVisitor.h (deleted) * 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/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/ReferenceType.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.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/CorCtxSwitch.c (deleted) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/SchedInt.c (deleted) * src/benchmark/ThrdCtxSwitch.c (deleted) * src/benchmark/bench.h (modified) * src/benchmark/create_cfaCor.c (deleted) * src/benchmark/create_cfaThrd.c (deleted) * src/benchmark/create_pthrd.c (deleted) * src/benchmark/create_uCor.cpp (deleted) * src/benchmark/create_uTask.cpp (deleted) * src/benchmark/creation/cfa_cor.c (added) * src/benchmark/creation/cfa_thrd.c (added) * src/benchmark/creation/pthreads.c (added) * src/benchmark/creation/upp_cor.cc (added) * src/benchmark/creation/upp_thrd.cc (added) * src/benchmark/csv-data.c (modified) * src/benchmark/ctxswitch/cfa_cor.c (added) * src/benchmark/ctxswitch/cfa_thrd.c (added) * src/benchmark/ctxswitch/pthreads.c (added) * src/benchmark/ctxswitch/upp_cor.cc (added) * src/benchmark/ctxswitch/upp_thrd.cc (added) * src/benchmark/mutex/cfa1.c (added) * src/benchmark/mutex/cfa2.c (added) * src/benchmark/mutex/cfa4.c (added) * src/benchmark/mutex/function.c (added) * src/benchmark/mutex/pthreads.c (added) * src/benchmark/mutex/upp.cc (added) * src/benchmark/schedext/cfa1.c (added) * src/benchmark/schedext/cfa2.c (added) * src/benchmark/schedext/cfa4.c (added) * src/benchmark/schedext/upp.cc (added) * src/benchmark/schedint/cfa1.c (added) * src/benchmark/schedint/cfa2.c (added) * src/benchmark/schedint/cfa4.c (added) * src/benchmark/schedint/upp.cc (added) * src/driver/cfa.cc (modified) * src/examples/sum.c (deleted) * src/include/cassert (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/algorithms.h (added) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr/libdebug.c (modified) * src/libcfa/libhdr/libdebug.h (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/extras.c (modified) * src/prelude/extras.regx (modified) * 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/literals.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/literals.txt (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/concurrent/boundedBuffer.txt (added) * src/tests/.expect/concurrent/datingService.txt (added) * src/tests/.expect/concurrent/fmtLines.txt (moved) * src/tests/.expect/concurrent/matrixSum.txt (added) * src/tests/.expect/concurrent/pingpong.txt (moved) * src/tests/.expect/concurrent/prodcons.txt (moved) * src/tests/.expect/concurrent/sched-ext-barge.txt (added) * src/tests/.expect/concurrent/sched-ext-dtor.txt (added) * src/tests/.expect/concurrent/sched-ext-else.txt (added) * src/tests/.expect/concurrent/sched-ext-recurse.txt (added) * src/tests/.expect/concurrent/sched-ext-statment.txt (added) * src/tests/.expect/concurrent/sched-ext-when.txt (added) * src/tests/.expect/ctor-autogen-ERR1.txt (added) * src/tests/.expect/ctor-autogen.txt (added) * src/tests/.expect/polymorphism.txt (added) * src/tests/.expect/references.txt (added) * src/tests/.expect/scopeErrors.txt (modified) * src/tests/.expect/sum.txt (added) * src/tests/.expect/typedefRedef-ERR1.txt (added) * src/tests/.expect/typedefRedef.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/boundedBuffer.c (added) * src/tests/coroutine.c (modified) * src/tests/ctor-autogen.c (added) * src/tests/datingService.c (added) * src/tests/fmtLines.c (modified) * src/tests/gmp.c (modified) * src/tests/literals.c (modified) * src/tests/matrixSum.c (added) * src/tests/polymorphism.c (added) * src/tests/prodcons.c (modified) * src/tests/random.c (modified) * src/tests/rational.c (modified) * src/tests/references.c (added) * src/tests/sched-ext-barge.c (added) * src/tests/sched-ext-dtor.c (added) * src/tests/sched-ext-else.c (added) * src/tests/sched-ext-parse.c (modified) * src/tests/sched-ext-recurse.c (added) * src/tests/sched-ext-statment.c (added) * src/tests/sched-ext-when.c (added) * src/tests/sched-ext.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/sum.c (added) * src/tests/thread.c (modified) * src/tests/typedefRedef.c (added) * tools/Makefile.am (added) * tools/Makefile.in (added) * tools/catchsig.c (added) * tools/repeat.c (added) * tools/repeat.old (moved) * tools/stat.py (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 08 Nov 2017 20:37:29 GMT Aaron Moss [fae6f21] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix bugs in resolver refactor with tuples/varargs Wed, 08 Nov 2017 18:52:54 GMT Rob Schluntz [c6747a1] * src/ResolvExpr/CurrentObject.cc (modified) Update debug print in CurrentObject Wed, 08 Nov 2017 15:49:46 GMT Rob Schluntz [d06c808] * src/ResolvExpr/AlternativeFinder.cc (modified) Update debug print in AlternativeFinder Thu, 02 Nov 2017 18:29:22 GMT Rob Schluntz [000178a] * src/ResolvExpr/CommonType.cc (modified) Refactor reference CommonType code Wed, 01 Nov 2017 21:40:05 GMT Rob Schluntz [f0ecf9b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Remove TypeDecl::Any, as it is subsumed by Dtype+sized Mon, 30 Oct 2017 18:02:21 GMT Rob Schluntz [b0837e4] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) Minor cleanup in conversion code Wed, 25 Oct 2017 21:28:34 GMT Rob Schluntz [b226721] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) Carry forward environment from function to function call Wed, 25 Oct 2017 20:25:20 GMT Rob Schluntz [bb666f64] * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Fix polymorphic-to-monomorphic function specialization for casts and ... Tue, 24 Oct 2017 21:00:29 GMT Aaron Moss [76a395a] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix use-after-free in resolver refactor Tue, 24 Oct 2017 17:15:56 GMT Rob Schluntz [b45d4b2] * src/ResolvExpr/AlternativeFinder.cc (modified) Infer assertions for cast expressions Tue, 24 Oct 2017 17:09:33 GMT Rob Schluntz [df626eb] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Move inferred parameters to Exception base class Mon, 23 Oct 2017 21:39:11 GMT Rob Schluntz [954ef5b] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) Fix array-to-pointer decay to only decay one level Mon, 23 Oct 2017 21:32:48 GMT Rob Schluntz [aeef2bd] * src/ResolvExpr/Unify.cc (modified) Fix unification of VLAs Fri, 20 Oct 2017 20:48:05 GMT Aaron Moss [d551d0a] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix one use-after-free in resolver refactor Fri, 20 Oct 2017 17:37:11 GMT Aaron Moss [1fdfc23] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix cost bug in resolver refactor Fri, 20 Oct 2017 15:45:53 GMT Aaron Moss [4b6ef70] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Fix one tuple bug in resolver refactor Thu, 19 Oct 2017 15:15:35 GMT Rob Schluntz [150ec33] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) Fix bug in computing union conversion costs Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz [6137fbb] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) Print EnumInstType body flag and other minor cleanup Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz [0a22cda] * src/ResolvExpr/Resolver.cc (modified) Remove unnecessary resolver-generated initialization casts Thu, 12 Oct 2017 17:32:39 GMT Aaron Moss [b5a8ef7] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix double-free in iterative resolver Tue, 10 Oct 2017 19:17:45 GMT Rob Schluntz [08da53d] * src/Concurrency/Waitfor.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) Refactor findSingleExpr and remove unnecessary resolver-generated casts Tue, 10 Oct 2017 18:51:26 GMT Rob Schluntz [228099e] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix ownership bug in initialization resolution Thu, 05 Oct 2017 19:55:26 GMT Aaron Moss [c43c171] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) Add tuple handling to iterative resolver rewrite Thu, 05 Oct 2017 17:36:59 GMT Aaron Moss [a585396] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) Fix missing environment/open vars update in iterative resolver Wed, 04 Oct 2017 15:30:57 GMT Rob Schluntz [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 19:34:51 GMT Aaron Moss [e472d54] * src/ResolvExpr/AlternativeFinder.h (modified) * src/prelude/builtins.c (modified) Remove broken polymorphic exponentiation from prelude Tue, 03 Oct 2017 18:55:17 GMT Rob Schluntz [7821d6c] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/tests/.expect/boundedBuffer.txt (added) * src/tests/boundedBuffer.c (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 03 Oct 2017 18:27:21 GMT Thierry Delisle [3c398b6] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) Fixed visit children to properly work with the indexer Mon, 02 Oct 2017 22:02:25 GMT Rob Schluntz [3096ec1] * src/ResolvExpr/Unify.cc (modified) Convert TtypeExpander to PassVisitor Mon, 02 Oct 2017 21:52:43 GMT Rob Schluntz [9d79f93] * src/ResolvExpr/ResolveTypeof.cc (modified) Convert ResolveTypeof to PassVisitor Mon, 02 Oct 2017 21:43:58 GMT Rob Schluntz [93fe7141] * src/ResolvExpr/AdjustExprType.cc (modified) Convert AdjustExprType to PassVisitor Mon, 02 Oct 2017 20:58:51 GMT Rob Schluntz [d29fa5f] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/Tuples/TupleAssignment.cc (modified) Remove has_result Mon, 02 Oct 2017 20:53:32 GMT Rob Schluntz [bf4b4cf] * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Remove argName from Expression. If named arguments are ever ... Mon, 02 Oct 2017 20:39:42 GMT Rob Schluntz [50377a4] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Indenter.h (modified) * src/Common/utility.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.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/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (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/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/ReferenceType.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/VoidType.cc (modified) * src/SynTree/ZeroOneType.cc (modified) * src/tests/.expect/castError.txt (modified) * src/tests/.expect/scopeErrors.txt (modified) Refactor tree print code to use Indenter Mon, 02 Oct 2017 19:02:21 GMT Aaron Moss [aeb75b1] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) First draft of iterative bottom-up resolver [BROKEN] Wed, 27 Sep 2017 20:25:27 GMT Rob Schluntz [4e66a18] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) Add maybeFind to AlternativeFinder to prevent excess exceptions when ... Wed, 27 Sep 2017 03:27:38 GMT Peter A. Buhr [d67cdb7] * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (added) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/together.tex (added) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (deleted) * src/GenPoly/DeclMutator.h (deleted) * src/GenPoly/PolyMutator.cc (deleted) * src/GenPoly/PolyMutator.h (deleted) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parserutility.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.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/AddStmtVisitor.cc (deleted) * src/SynTree/AddStmtVisitor.h (deleted) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/CompoundStmt.cc (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/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/PthrdCtxSwitch.c (added) * src/benchmark/bench.h (modified) * src/benchmark/create_cfaThrd.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/sched-ext-parse.txt (added) * src/tests/.expect/64/sched-ext-parse.txt (added) * src/tests/.expect/concurrent/sched-ext-barge.txt (added) * src/tests/.expect/concurrent/sched-ext-statment.txt (added) * src/tests/.expect/sched-ext-else.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/sched-ext-barge.c (added) * src/tests/sched-ext-else.c (added) * src/tests/sched-ext-parse.c (modified) * src/tests/sched-ext-statment.c (added) * src/tests/sched-ext.c (modified) merge Wed, 27 Sep 2017 03:22:08 GMT Peter A. Buhr [201aeb9] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/driver/cfa.cc (modified) * src/prelude/extras.c (modified) * src/prelude/extras.regx (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/64/literals.txt (modified) * src/tests/literals.c (modified) first attempt at new basic-type int128, and length suffix with ... Sat, 16 Sep 2017 12:52:23 GMT Rob Schluntz [33a25f9] * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Remove visitor feature from Indexer Fri, 15 Sep 2017 17:52:35 GMT Rob Schluntz [a4ca48c] * src/ResolvExpr/Resolver.cc (modified) Convert Resolver to PassVisitor Thu, 14 Sep 2017 17:57:20 GMT Rob Schluntz [bff09c8] * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/main.cc (modified) Convert AlternativePrinter to PassVisitor Wed, 13 Sep 2017 18:44:01 GMT Thierry Delisle [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 [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 14:45:01 GMT Rob Schluntz [108f3cdb] * src/Common/utility.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Autogen.cc (modified) Fix generation of assignment and autogenerate constructors and ...