# # ChangeLog for src/ResolvExpr/AlternativeFinder.cc # # Generated by Trac 1.2.1 # Nov 1, 2024, 1:38:00 PM Tue, 13 Aug 2019 18:36:06 GMT Thierry Delisle [1118b8b] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TupleExpr.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Aug 2019 17:47:37 GMT Andrew Beach [7d01cf44] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) lvalue is now read through the expression. Mon, 12 Aug 2019 15:05:36 GMT Thierry Delisle [b3976bf] * Jenkinsfile (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/baselines/calc.py (added) * benchmark/baselines/x64/compile.csv (added) * benchmark/baselines/x64/ctxswitch.csv (added) * benchmark/baselines/x64/mutex.csv (added) * benchmark/baselines/x64/signal.csv (added) * benchmark/baselines/x86/compile.csv (added) * benchmark/baselines/x86/ctxswitch.csv (added) * benchmark/baselines/x86/mutex.csv (added) * benchmark/baselines/x86/signal.csv (added) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * longrun_tests/Makefile.in (modified) * src/BasicTypes-gen.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/Type.cc (modified) * src/SynTree/module.mk (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/Makefile.in (modified) * tests/gccExtensions.cfa (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/baseline.py (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 12 Aug 2019 15:05:15 GMT Thierry Delisle [cc4218f] * src/ResolvExpr/AlternativeFinder.cc (modified) Added assertion as documentation Thu, 08 Aug 2019 15:29:53 GMT Andrew Beach [2d80111] * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Lvalue is checked through Expression::get_lvalue. Only three other ... Fri, 26 Jul 2019 10:39:42 GMT Peter A. Buhr [033ff37] * examples/Attributes.c (deleted) * src/AST/Convert.cpp (modified) * src/AST/porting.md (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) remove attribute expression '@'name mechanism Fri, 12 Jul 2019 20:34:56 GMT Thierry Delisle [6f096d2] * src/AST/Expr.hpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/Visitor.h (modified) Resolver now uses constant interface Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss [c1ed2ee] * src/AST/Stmt.hpp (modified) * src/Common/utility.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Continued resolver porting * mostly initialization and validation ... Mon, 17 Jun 2019 23:14:58 GMT Aaron Moss [9d5089e] * src/AST/TypeEnvironment.hpp (modified) * src/AST/porting.md (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/typeops.h (modified) Port CandidateFinder::makeFunctionCandidates() and deps Tue, 11 Jun 2019 21:52:50 GMT Aaron Moss [432ce7a] * src/AST/Print.hpp (modified) * src/AST/porting.md (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/ExplodedActual.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/ExplodedArg.cpp (added) * src/ResolvExpr/ExplodedArg.hpp (added) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/Tuples.h (modified) Port CandidateFinder::postvisit for UntypedExpr, stub dependencies Tue, 11 Jun 2019 19:42:10 GMT Aaron Moss [4b7cce6] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) Fill in CandidateFinder boilerplate in resolver port Mon, 10 Jun 2019 22:02:36 GMT Aaron Moss [396037d] * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/SatisfyAssertions.cpp (added) * src/ResolvExpr/SatisfyAssertions.hpp (added) * src/ResolvExpr/module.mk (modified) Start stubbing CandidateFinder in Wed, 05 Jun 2019 21:58:38 GMT Aaron Moss [99d4584] * src/AST/Print.hpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/porting.md (modified) * src/Common/Indenter.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Candidate.cpp (added) * src/ResolvExpr/Candidate.hpp (added) * src/ResolvExpr/CandidateFinder.cpp (added) * src/ResolvExpr/CandidateFinder.hpp (added) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) Further stubs for resolver port * also switched order of ... Thu, 30 May 2019 20:10:24 GMT Aaron Moss [d76c588] * src/AST/Convert.cpp (modified) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/SymbolTable.cpp (added) * src/AST/SymbolTable.hpp (added) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (added) * src/AST/TypeEnvironment.hpp (added) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Stubs for new resolver, implementation of new indexer, type environment Tue, 09 Apr 2019 17:50:13 GMT Aaron Moss [4d2d45f9] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) Improve assertion error messages Fri, 18 Jan 2019 16:48:58 GMT Aaron Moss [da6032af] * src/ResolvExpr/AlternativeFinder.cc (modified) Remove assertion cost from cost model Thu, 17 Jan 2019 18:34:42 GMT Aaron Moss [bd78797] * src/ResolvExpr/AlternativeFinder.cc (modified) closes #118 Fri, 11 Jan 2019 19:16:53 GMT Aaron Moss [d97c3a4] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) Fix new cost model by boosting precedence of safe costs Thu, 10 Jan 2019 20:50:34 GMT Aaron Moss [e99e43f] * INSTALL (modified) * Jenkins/TestRegen (modified) * Jenkinsfile (added) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/Monitor.c (modified) * benchmark/c.c (added) * benchmark/cxx.cpp (added) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/proposals/flags.md (modified) * doc/proposals/vtable.md (added) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/theses/lynn_tran_SE499/Bibliography.bib (added) * doc/theses/lynn_tran_SE499/Chapters/CFA.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Conclusion.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Demangler.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Extensions.tex (added) * doc/theses/lynn_tran_SE499/Chapters/GDB.tex (added) * doc/theses/lynn_tran_SE499/Chapters/Introduction.tex (added) * doc/theses/lynn_tran_SE499/Chapters/uCPP.tex (added) * doc/theses/lynn_tran_SE499/LICENSE (added) * doc/theses/lynn_tran_SE499/SE499-master.zip (added) * doc/theses/lynn_tran_SE499/SE499-master/.gdbinit (added) * doc/theses/lynn_tran_SE499/SE499-master/README.md (added) * doc/theses/lynn_tran_SE499/SE499-master/test.cc (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.gdb (added) * doc/theses/lynn_tran_SE499/SE499-master/utils-gdb.py (added) * doc/theses/lynn_tran_SE499/SE499-master/utils.cpp (added) * doc/theses/lynn_tran_SE499/Thesis.cls (added) * doc/theses/lynn_tran_SE499/lstpatch.sty (added) * doc/theses/lynn_tran_SE499/se499-report.tex (added) * doc/theses/lynn_tran_SE499/uContext_stack.png (added) * doc/theses/lynn_tran_SE499/vector.sty (added) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * doc/working/exception/impl/nopic.s (added) * doc/working/exception/impl/pic.s (added) * doc/working/exception/impl/test.c (added) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/as.cc (modified) * driver/cfa.cc (modified) * examples/ArrayN.c (modified) * examples/gc_no_raii/src/internal/collector.c (modified) * examples/gc_no_raii/src/internal/state.h (modified) * examples/gc_no_raii/src/tools/print.h (modified) * examples/multicore.c (modified) * examples/prolog.c (modified) * examples/quad.c (modified) * examples/square.c (modified) * examples/twice.c (modified) * examples/wrapper/src/main.c (modified) * examples/wrapper/src/pointer.h (modified) * examples/zero_one.c (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (modified) * libcfa/automake/libtool.m4 (added) * libcfa/automake/ltmain.sh (added) * libcfa/automake/ltoptions.m4 (added) * libcfa/automake/ltsugar.m4 (added) * libcfa/automake/ltversion.m4 (added) * libcfa/automake/lt~obsolete.m4 (added) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/iterator.cfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.cfa (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/Makefile.am (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/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeofType.cc (modified) * src/cfa.make (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/declarationErrors.txt (modified) * tests/.expect/heap.txt (deleted) * tests/.expect/loopctrl.txt (moved) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/quotedKeyword.txt (moved) * tests/.expect/scopeErrors.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/.expect/user_literals.txt (deleted) * tests/.expect/with-statement.txt (deleted) * tests/KRfunctions.cfa (moved) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/abs.cfa (moved) * tests/alloc.cfa (moved) * tests/array.cfa (moved) * tests/ato.cfa (moved) * tests/attributes.cfa (moved) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/cast.cfa (moved) * tests/castError.cfa (moved) * tests/commentMisc.cfa (moved) * tests/completeTypeError.cfa (moved) * tests/complex.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/context.cfa (moved) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/counter.cfa (moved) * tests/declarationErrors.cfa (moved) * tests/declarationSpecifier.cfa (moved) * tests/designations.cfa (moved) * tests/div.cfa (moved) * tests/enum.cfa (moved) * tests/except-0.cfa (moved) * tests/except-1.cfa (moved) * tests/except-2.cfa (moved) * tests/except-3.cfa (moved) * tests/except-mac.hfa (moved) * tests/expression.cfa (moved) * tests/extension.cfa (moved) * tests/fallthrough.c (deleted) * tests/fallthrough.cfa (added) * tests/forall.cfa (moved) * tests/forctrl.c (deleted) * tests/fstream_test.cfa (moved) * tests/function-operator.cfa (moved) * tests/functions.cfa (moved) * tests/gccExtensions.cfa (moved) * tests/genericUnion.c (deleted) * tests/genericUnion.cfa (added) * tests/gmp.cfa (moved) * tests/heap.cfa (moved) * tests/hello.c (deleted) * tests/hello.cfa (added) * tests/identFuncDeclarator.cfa (moved) * tests/identParamDeclarator.cfa (moved) * tests/identity.c (deleted) * tests/identity.cfa (added) * tests/ifwhileCtl.cfa (moved) * tests/io1.c (deleted) * tests/io1.cfa (added) * tests/io2.c (deleted) * tests/io2.cfa (added) * tests/labelledExit.cfa (moved) * tests/limits.cfa (moved) * tests/literals.cfa (moved) * tests/long_tests.hfa (moved) * tests/loopctrl.cfa (added) * tests/math1.cfa (moved) * tests/math2.c (deleted) * tests/math2.cfa (added) * tests/math3.cfa (moved) * tests/math4.cfa (moved) * tests/maybe.cfa (moved) * tests/minmax.cfa (moved) * tests/namedParmArg.cfa (moved) * tests/nested-types.cfa (moved) * tests/numericConstants.cfa (moved) * tests/occursError.cfa (moved) * tests/operators.cfa (moved) * tests/polymorphism.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/preempt_longrun/create.c (modified) * tests/preempt_longrun/enter3.c (modified) * tests/preempt_longrun/processor.c (modified) * tests/preempt_longrun/yield.c (modified) * tests/pybin/tools.py (modified) * tests/quotedKeyword.cfa (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/random.cfa (moved) * tests/rational.cfa (moved) * tests/references.c (deleted) * tests/references.cfa (added) * tests/result.cfa (moved) * tests/scope.cfa (moved) * tests/scopeErrors.cfa (moved) * tests/searchsort.cfa (moved) * tests/shortCircuit.c (deleted) * tests/shortCircuit.cfa (added) * tests/simpleGenericTriple.cfa (moved) * tests/stdincludes.cfa (moved) * tests/structMember.cfa (moved) * tests/subrange.cfa (moved) * tests/sum.cfa (moved) * tests/swap.cfa (moved) * tests/switch.cfa (moved) * tests/test.py (modified) * tests/time.c (deleted) * tests/time.cfa (added) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/typeGenerator.cfa (moved) * tests/typedef.cfa (moved) * tests/typedefDeclarator.cfa (moved) * tests/typedefRedef.cfa (moved) * tests/typeof.cfa (moved) * tests/userLiterals.cfa (moved) * tests/variableDeclarator.cfa (moved) * tests/vector.cfa (moved) * tests/virtualCast.cfa (moved) * tests/voidPtr.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tests/with-statement.c (deleted) * tests/withStatement.cfa (added) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Merge remote-tracking branch 'plg/master' into deferred_resn Thu, 20 Dec 2018 16:17:21 GMT Aaron Moss [73ac10e] * src/ResolvExpr/AlternativeFinder.cc (modified) * tests/searchsort.c (modified) Fixed error in searchsort test Mon, 19 Nov 2018 22:05:12 GMT Aaron Moss [0b00df0] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) First draft of deferred expression resolution; DOES NOT BUILD Fri, 02 Nov 2018 11:44:59 GMT Peter A. Buhr [30ee9efc] * src/ResolvExpr/AlternativeFinder.cc (modified) print error for indexed access to struct fields Thu, 18 Oct 2018 20:26:11 GMT Aaron Moss [fbecee5] * src/Common/utility.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/typeops.h (modified) rational.cfa passes deferred resolution pass now Wed, 17 Oct 2018 20:16:18 GMT Aaron Moss [2c187378] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/Tuples/TupleAssignment.cc (modified) Fix memory bugs in deferred resolution Fri, 12 Oct 2018 19:19:35 GMT Aaron Moss [6d6e829] * src/Common/FilterCombos.h (added) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/ResolvMode.h (modified) * src/ResolvExpr/ResolveAssertions.cc (added) * src/ResolvExpr/ResolveAssertions.h (added) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/module.mk (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) First compiling draft of deferred assertions (build failure) Fri, 05 Oct 2018 14:30:21 GMT Aaron Moss [59cf83b] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/ResolvMode.h (added) * src/ResolvExpr/Resolver.cc (modified) Switch resolution flags to packed struct Wed, 03 Oct 2018 18:22:44 GMT Aaron Moss [1dd1bd2] * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/SpecCost.cc (added) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) Add var count and type specialization costs to resolver model Tue, 31 Jul 2018 18:43:04 GMT Rob Schluntz [3bbd012] * .autom4te.cfg (added) * .gitignore (modified) * Jenkinsfile (modified) * Makefile.in (modified) * aclocal.m4 (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/Common/Eval.cc (added) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (added) * src/CompilationState.h (added) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (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/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/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/config.h.in (moved) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/heap.c (added) * src/libcfa/startup.c (added) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/bfdlink.h (modified) * src/libcfa/stdhdr/hwloc.h (modified) * src/libcfa/stdhdr/krb5.h (modified) * src/libcfa/stdhdr/malloc.h (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/alloc-ERROR.txt (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/attributes.x86.txt (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.in/io.data (moved) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/config.py.in (added) * src/tests/io2.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/pybin/settings.py (modified) * src/tests/pybin/test_run.py (modified) * src/tests/pybin/tools.py (modified) * src/tests/structMember.c (modified) * src/tests/test.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into demangler Tue, 24 Jul 2018 14:45:59 GMT Rob Schluntz [d1e0979] * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Demangle.cc (added) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (added) * src/SymTab/demangler.cc (added) * src/SymTab/module.mk (modified) * src/main.cc (modified) Add a basic demangler that works for basic types, pointers, tuples, ... Fri, 13 Jul 2018 15:35:03 GMT Rob Schluntz [04cccaf] * src/ResolvExpr/AlternativeFinder.cc (modified) Terminate assertion resolution early if alternative has infinite cost Tue, 26 Jun 2018 21:16:19 GMT Aaron Moss [d286cf68] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ExplodedActual.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/WidenMode.h (added) Fix TypeEnvironment bind algorithms Thu, 07 Jun 2018 13:55:28 GMT Rob Schluntz [0f79853] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Remove conversion cost for default arguments Wed, 06 Jun 2018 20:54:59 GMT Rob Schluntz [2a6c115] * src/ResolvExpr/AlternativeFinder.cc (modified) Simplify tuple index resolution Wed, 06 Jun 2018 20:54:18 GMT Rob Schluntz [630bcb5] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.h (modified) Fix pruneAlternatives so that deleted expressions are no longer ambiguous Fri, 01 Jun 2018 18:54:55 GMT Aaron Moss [00ac42e] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Occurs.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/benchmark/Makefile.in (modified) stop eagerly copying EqvClass on lookup Thu, 31 May 2018 19:51:00 GMT Rob Schluntz [5de1e2c] * src/ResolvExpr/AlternativeFinder.cc (modified) Fix memory error from caused by vector::push_back [fixes #90] Thu, 31 May 2018 14:41:38 GMT Rob Schluntz [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 Fri, 25 May 2018 21:01:37 GMT Rob Schluntz [d807ca28] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.h (modified) Add AST support for _Generic, along with C codegen Tue, 22 May 2018 20:13:14 GMT Rob Schluntz [a8706fc] * src/ResolvExpr/AlternativeFinder.cc (modified) Extract open variables from cast expression arguments Tue, 22 May 2018 19:19:18 GMT Rob Schluntz [3d2ae8d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor cleanup Fri, 18 May 2018 21:42:34 GMT Rob Schluntz [95642c9] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor cleanup Wed, 02 May 2018 15:32:58 GMT Rob Schluntz [43bd69d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor cleanup Tue, 17 Apr 2018 20:24:05 GMT Rob Schluntz [c0bf94e] * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Add isGenerated flag to CastExpr to differentiate casts in source ... Wed, 28 Feb 2018 21:48:22 GMT Thierry Delisle [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 21:52:10 GMT Rob Schluntz [54043f4] * src/ResolvExpr/AlternativeFinder.cc (modified) Add with expression cost into conversion cost Wed, 21 Feb 2018 21:07:10 GMT Rob Schluntz [a181494] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Adding cost for reference-to-rvalue conversions Sat, 17 Feb 2018 17:09:02 GMT Peter A. Buhr [93401f8] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) add space in error message Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz [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 21:14:29 GMT Rob Schluntz [c71b256] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Add resolver error when a deleted identifier is in the final lowest ... Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle [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 Wed, 14 Feb 2018 18:54:14 GMT Rob Schluntz [490ff5c3] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/Tuples/Explode.h (modified) Minor code cleanup Thu, 01 Feb 2018 21:33:17 GMT Rob Schluntz [624b722d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor code cleanup 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 ... 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 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, 11 Dec 2017 21:42:11 GMT Aaron Moss [7faab5e] * src/ResolvExpr/AlternativeFinder.cc (modified) [fixes #71] 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:53:04 GMT Rob Schluntz [1e8bbac9] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) Refactor printAlts into AlternativeFinder.h 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: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 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 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, 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 15:49:46 GMT Rob Schluntz [d06c808] * src/ResolvExpr/AlternativeFinder.cc (modified) Update debug print in AlternativeFinder 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 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: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, 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 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 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 ... Tue, 19 Sep 2017 18:14:39 GMT Thierry Delisle [695e00d] * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/local.bib (modified) * doc/proposals/concurrency/figures/int_monitor.fig (added) * doc/proposals/concurrency/figures/int_monitor.fig.bak (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/version (modified) * src/Common/PassVisitor.impl.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/iostream.c (modified) * src/main.cc (modified) * src/tests/.expect/fmtLines.txt (added) * src/tests/.in/fmtLines.txt (added) * src/tests/fmtLines.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Thu, 14 Sep 2017 19:42:14 GMT Thierry Delisle [1dcd9554] * src/CodeGen/CodeGenerator.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/libcfa/concurrency/monitor (modified) First "working" implementation of waitfor 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 Fri, 01 Sep 2017 22:59:48 GMT Rob Schluntz [5809461] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/tests/dtor-early-exit.c (modified) Fix handling of GCC label address and computed goto