# # ChangeLog for src/ResolvExpr # # Generated by Trac 1.2.1 # Apr 28, 2024, 4:47:09 AM Fri, 29 Jun 2018 19:02:51 GMT Thierry Delisle [c5283ba] * src/ResolvExpr/Resolver.cc (modified) Fixed #94, properly list the number of expected mutex parameter 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 Mon, 04 Jun 2018 15:55:02 GMT Rob Schluntz [b429026] * doc/theses/thierry_delisle/.gitignore (modified) * doc/theses/thierry_delisle/Makefile (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) * 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.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/ctxswitch/cfa_thrd2.c (added) * src/benchmark/ctxswitch/kos_fibre.cpp (added) * src/benchmark/ctxswitch/kos_fibre2.cpp (added) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/libcfa/rational (modified) * src/libcfa/rational.c (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/tests/.expect/ifcond.txt (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/ifcond.c (modified) * src/tests/preempt_longrun/processor.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 04 Jun 2018 14:11:02 GMT Rob Schluntz [2a08c25] * src/ResolvExpr/Resolver.cc (modified) Modify resolver to push code location to generate cast 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 19:46:59 GMT Rob Schluntz [4e7cc5ce] * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SynTree/ReferenceToType.cc (modified) Minor cleanup 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 Tue, 29 May 2018 19:26:31 GMT Rob Schluntz [054514d] * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * README (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/related_papers/Buhr94.pdf (added) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Heap.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/TypeData.cc (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/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (modified) * src/prelude/sync-builtins.cf (added) * src/tests/.expect/io1.txt (added) * src/tests/.expect/io2.txt (moved) * src/tests/.expect/math1.x64.txt (modified) * src/tests/.expect/math1.x86.txt (modified) * src/tests/.expect/math2.x64.txt (modified) * src/tests/.expect/math2.x86.txt (modified) * src/tests/.expect/math3.x64.txt (modified) * src/tests/.expect/math3.x86.txt (modified) * src/tests/.expect/math4.x64.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/builtins/.expect/sync.txt (added) * src/tests/builtins/sync.c (added) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/examples/datingService.c (modified) * src/tests/concurrent/examples/matrixSum.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/io1.c (added) * src/tests/io2.c (moved) * src/tests/math1.c (modified) * src/tests/math2.c (modified) * src/tests/math3.c (modified) * src/tests/math4.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 29 May 2018 14:50:03 GMT Rob Schluntz [4ee3b0c1] * src/Parser/TypeData.cc (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) Push __float80/__float128 through the system 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 22:45:18 GMT Rob Schluntz [cdb990a] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) Strip redundant casts after every resolution Fri, 18 May 2018 21:42:34 GMT Rob Schluntz [95642c9] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor cleanup Wed, 16 May 2018 17:49:31 GMT Rob Schluntz [0873d22e] * src/ResolvExpr/Unify.cc (modified) Update documentation Tue, 15 May 2018 20:19:11 GMT Rob Schluntz [bd6e226] * src/ResolvExpr/TypeEnvironment.h (modified) Update documentation for AssertCompare Wed, 02 May 2018 15:44:47 GMT Rob Schluntz [6f326b1] * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) Add type variables from function alternative to the type environment ... Wed, 02 May 2018 15:32:58 GMT Rob Schluntz [43bd69d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor cleanup Mon, 30 Apr 2018 18:31:14 GMT Thierry Delisle [5248789] * src/ResolvExpr/Resolver.cc (modified) Waitfor resolution error now prints enviroment Fri, 27 Apr 2018 18:35:11 GMT Thierry Delisle [5527759] * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/tests/references.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 27 Apr 2018 18:35:00 GMT Thierry Delisle [b9f383f] * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Statement.cc (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) named threads in thread tests fixed bounded buffer expect added ... Mon, 23 Apr 2018 16:57:46 GMT Rob Schluntz [da7fe39] * doc/LaTeXmacros/lstlang.sty (modified) * doc/papers/AMA/AMA-stix.zip (moved) * doc/papers/AMA/AMA-stix/Documents/.log (moved) * doc/papers/AMA/AMA-stix/Documents/README.txt (moved) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.pdf (added) * doc/papers/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-BoldItalic.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Italic.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/STIXGeneral-Regular.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/Windows-Stix-fontinstaller.exe (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/a_axxd65.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stix.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixbb.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixfrak.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixscr.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls1stixsf.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stix.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixcal.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixex.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ls2stixtt.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ly1sti.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-italic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot1stix.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-italic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ot2stix.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra1.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra1.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra2.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra2.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra3.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-extra3.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbb.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathbbit.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathcal.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathex.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathfrak.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathit.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathrm.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathscr.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsf.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathsfit.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt.pfb (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-mathtt.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ot1.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ot2.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-t1.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix-ts1.enc (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.dtx (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.fdd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.map (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/stix.sty (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bolditalic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-italic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneral.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.vf (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/t1stix.fd (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bold.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-italic.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral.tfm (moved) * doc/papers/AMA/AMA-stix/Stix-fonts/ts1stix.fd (moved) * doc/papers/AMA/AMA-stix/ama/NJDnatbib.sty (moved) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst (moved) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst.orig (moved) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (moved) * doc/papers/AMA/AMA-stix/ama/empty.eps (moved) * doc/papers/AMA/AMA-stix/ama/empty.pdf (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (moved) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.bib (moved) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.pdf (added) * doc/papers/AMA/AMA-stix/ama/wileyNJD-AMA.tex (moved) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/AMA/AMA-stix.zip (deleted) * doc/papers/general/AMA/AMA-stix/Documents/.log (deleted) * doc/papers/general/AMA/AMA-stix/Documents/README.txt (deleted) * doc/papers/general/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-BoldItalic.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Italic.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Regular.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/Windows-Stix-fontinstaller.exe (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/a_axxd65.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixbb.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixfrak.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixscr.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixsf.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixcal.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixex.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixtt.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ly1sti.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-italic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-italic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.pfb (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot1.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot2.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-t1.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ts1.enc (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.dtx (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.fdd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.map (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.sty (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bolditalic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-italic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.vf (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bold.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-italic.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral.tfm (deleted) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1stix.fd (deleted) * doc/papers/general/AMA/AMA-stix/ama/NJDnatbib.sty (deleted) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-v2.cls (deleted) * doc/papers/general/AMA/AMA-stix/ama/empty.eps (deleted) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (deleted) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bib (deleted) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.tex (deleted) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/refrat/keywords.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/Common/Debug.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclReplacer.cc (added) * src/SynTree/DeclReplacer.h (moved) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.cc (deleted) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/benchmark/bench.h (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/bits/cfatime.h (deleted) * src/libcfa/bits/locks.h (modified) * src/libcfa/clock (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.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/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/iostream (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/time (modified) * src/libcfa/time.c (added) * src/libcfa/time_t.h (added) * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/attributes.x86.txt (modified) * src/tests/.expect/extension.x64.txt (modified) * src/tests/.expect/extension.x86.txt (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/time.x64.txt (added) * src/tests/.expect/time.x86.txt (added) * src/tests/concurrent/.expect/preempt.txt (modified) * src/tests/concurrent/examples/.expect/boundedBuffer.txt (deleted) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (added) * src/tests/concurrent/examples/.expect/boundedBufferINT.txt (added) * src/tests/concurrent/examples/boundedBuffer.c (deleted) * src/tests/concurrent/examples/boundedBufferEXT.c (added) * src/tests/concurrent/examples/boundedBufferINT.c (added) * src/tests/concurrent/examples/datingService.c (modified) * src/tests/concurrent/preempt.c (modified) * src/tests/concurrent/signal/barge.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/concurrent/waitfor/simple.c (modified) * src/tests/minmax.c (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/preempt.c (added) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/time.c (added) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (deleted) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/test.y (modified) Merge branch 'master' into references 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 ... Tue, 10 Apr 2018 23:17:08 GMT Rob Schluntz [98278b3a] * src/ResolvExpr/ConversionCost.cc (modified) Remove conversion from pointer type to zero_t Tue, 10 Apr 2018 23:11:06 GMT Rob Schluntz [43c6fe77] * src/ResolvExpr/CommonType.cc (modified) Remove debug print Tue, 10 Apr 2018 19:53:53 GMT Rob Schluntz [33f5b57] * src/ResolvExpr/ConversionCost.cc (modified) Remove conversion from basic type to zero_t/one_t Tue, 10 Apr 2018 19:16:55 GMT Rob Schluntz [ba89e9b7] * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CommonType.cc (modified) Temporarily enable more debug information Thu, 05 Apr 2018 15:58:01 GMT Rob Schluntz [9d1e3f7] * src/Common/ErrorObjects.h (modified) * src/ResolvExpr/CommonType.cc (modified) Minor updates Tue, 03 Apr 2018 15:14:07 GMT Rob Schluntz [bd87b138] * src/ResolvExpr/Resolver.cc (modified) Resolve _Static_assert condition Fri, 02 Mar 2018 22:34:52 GMT Rob Schluntz [09c72d5] * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/SynTree/TypeSubstitution.h (modified) Add function to add bindings from TypeSubstitution to TypeEnvironment Fri, 02 Mar 2018 22:34:51 GMT Rob Schluntz [dd05e12] * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/Resolver.cc (modified) Minor code cleanup 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 Mon, 26 Feb 2018 20:58:47 GMT Rob Schluntz [eddb399] * src/ResolvExpr/ConversionCost.cc (modified) Add debug print to convertToReferenceCost 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 ... Fri, 16 Feb 2018 20:57:44 GMT Rob Schluntz [4a161be] * src/ResolvExpr/Alternative.h (modified) Add operator<< for Alternative 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 Fri, 09 Feb 2018 16:59:35 GMT Rob Schluntz [1dcd52a3] * src/ResolvExpr/Unify.cc (modified) * src/tests/tuple/tupleVariadic.c (modified) Disregard outermost const, volatile, _Atomic qualifiers on parameters ... Fri, 09 Feb 2018 16:41:02 GMT Rob Schluntz [538334a] * src/ResolvExpr/Unify.cc (modified) Minor cleanup Fri, 02 Feb 2018 20:46:29 GMT Rob Schluntz [c20b0fea] * src/GenPoly/InstantiateGeneric.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/typeops.h (modified) Perform pointer decay on instantiated generic member expressions ... Fri, 02 Feb 2018 16:27:20 GMT Rob Schluntz [a33fdbe] * src/ResolvExpr/Resolver.cc (modified) Fix build failure Thu, 01 Feb 2018 21:33:17 GMT Rob Schluntz [624b722d] * src/ResolvExpr/AlternativeFinder.cc (modified) Minor code cleanup Wed, 31 Jan 2018 21:58:04 GMT Rob Schluntz [60914351] * src/ResolvExpr/Resolver.cc (modified) Add support for resolving function with clause [fixes #80] Wed, 31 Jan 2018 21:53:23 GMT Rob Schluntz [c28a038d] * src/ResolvExpr/Resolver.cc (modified) Refactor resolveWith 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