# # ChangeLog for / # # Generated by Trac 1.2.1 # Apr 19, 2024, 5:24:40 PM Tue, 17 Jul 2018 21:13:51 GMT Rob Schluntz [8a3ecb9] * src/SymTab/Validate.cc (modified) Pass type qualifiers from qualified type to actual type Mon, 16 Jul 2018 18:59:32 GMT Peter A. Buhr [6da49249] * src/tests/.expect/forall.txt (added) * src/tests/forall.c (modified) add new forall test Fri, 13 Jul 2018 22:36:34 GMT Peter A. Buhr [0a73148] * src/Common/SemanticError.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/containers/result (modified) * src/libcfa/interpose.c (modified) fix conflict Fri, 13 Jul 2018 22:35:06 GMT Peter A. Buhr [6b8b767] * src/libcfa/math (modified) add math routines lerp, step, smoothstep Fri, 13 Jul 2018 22:34:11 GMT Peter A. Buhr [dffaeac] * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) fix -x flag and handle CFA suffixes Fri, 13 Jul 2018 22:33:05 GMT Peter A. Buhr [26ef3b2] * src/Parser/TypedefTable.cc (modified) * src/Parser/parser.yy (modified) fix bug or-ing flags for typedef/typegen Fri, 13 Jul 2018 21:53:31 GMT Thierry Delisle [ae144af] * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/containers/result (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 13 Jul 2018 21:53:21 GMT Thierry Delisle [ad64520] * src/libcfa/interpose.c (modified) Now loading libgcc_s at startup to help avoid problems on abort Fri, 13 Jul 2018 21:27:08 GMT Thierry Delisle [b1672e1] * src/libcfa/bits/defs.h (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/containers/result (modified) Changed plan-9 syntax to new inline syntax Fri, 13 Jul 2018 18:33:18 GMT Rob Schluntz [2e02851] * src/Common/SemanticError.h (modified) * src/Parser/DeclarationNode.cc (modified) Add temporary warning for deprecated anonymous member declarations Fri, 13 Jul 2018 15:36:05 GMT Rob Schluntz [610194e] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 13 Jul 2018 15:35:59 GMT Rob Schluntz [825170d] * src/ResolvExpr/CommonType.cc (modified) Fix commonType for pointers to place qualifiers on base type [fixes #100] 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 Thu, 12 Jul 2018 19:23:28 GMT Thierry Delisle [79caea8] * src/Parser/TypedefTable.cc (modified) Fixed warning Thu, 12 Jul 2018 19:01:50 GMT Peter A. Buhr [8f91c9ae] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) add inline qualifier to aggregate fields to separate plan 9 and ... Thu, 12 Jul 2018 16:01:31 GMT Rob Schluntz [d53772d] * src/SymTab/FixFunction.cc (modified) Transfer location from function to object in FixFunction [fixes #98] Thu, 12 Jul 2018 15:38:06 GMT Rob Schluntz [3007c0b] * src/Parser/parser.yy (modified) Add error checks in the parser for generic parameters that are ... Thu, 12 Jul 2018 13:14:07 GMT Peter A. Buhr [0fc52b6] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/common (added) * src/libcfa/common.c (added) * src/libcfa/math (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) first attmept to refactor common routines between stdlib and math Wed, 11 Jul 2018 15:55:59 GMT Peter A. Buhr [777ed2b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) * src/prelude/prelude.old.cf (modified) * src/tests/.expect/attributes.x86.txt (modified) * src/tests/.expect/nested-types-ERR1.txt (added) * src/tests/.expect/nested-types-ERR2.txt (added) * src/tests/.expect/nested-types.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/nested-types.c (added) fix conflicts Wed, 11 Jul 2018 15:53:09 GMT Peter A. Buhr [fc20514] * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) fix distribution to put type names at correct scopes Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz [7de22b28] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) Call TypedefTable::makeTypedef with leaf type for nested aggregate ... Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz [d804830] * src/tests/nested-types.c (modified) Remove outdated comment from nested-types test Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz [e82ef13] * src/SymTab/Validate.cc (modified) Transfer location from typedef instance to actual type [fixes #97] Tue, 10 Jul 2018 19:39:37 GMT Thierry Delisle [2dc6621] * src/SynTree/Type.h (modified) Removed warning in Type.h Tue, 10 Jul 2018 15:10:08 GMT Rob Schluntz [5cacf74] * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) Re-add dtor-early-exit and init_once to quick_tests Tue, 10 Jul 2018 15:09:19 GMT Rob Schluntz [3d7e53b] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/tests/nested-types.c (modified) Add anon flag to TypeData and remove anonymous members for named ... Tue, 10 Jul 2018 12:20:50 GMT Rob Schluntz [aeec6b7] * Jenkins/FullBuild (modified) * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/.gitignore (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/Common/ScopedMap.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/prelude-gen.cc (modified) * src/tests/.expect/attributes.x86.txt (modified) * src/tests/Makefile.am (modified) * src/tests/attributes.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 10 Jul 2018 01:41:36 GMT Peter A. Buhr [97be800] * src/tests/.expect/attributes.x86.txt (modified) update 32-bit test results Tue, 10 Jul 2018 01:38:25 GMT Peter A. Buhr [132d276] * src/tests/attributes.c (modified) update syntax Mon, 09 Jul 2018 22:35:09 GMT Peter A. Buhr [846a147] * Jenkins/FullBuild (modified) * src/Common/ScopedMap.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/tests/Makefile.am (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Mon, 09 Jul 2018 22:32:08 GMT Peter A. Buhr [a74503ff] * doc/user/user.tex (modified) harmonize content with paper Mon, 09 Jul 2018 22:30:49 GMT Peter A. Buhr [2260ab6c] * doc/papers/general/Paper.tex (modified) small updates Mon, 09 Jul 2018 22:29:33 GMT Peter A. Buhr [0fd0c16] * doc/papers/general/.gitignore (modified) remove Paper.tex.plain Mon, 09 Jul 2018 22:28:38 GMT Peter A. Buhr [84c87ff] * doc/LaTeXmacros/common.tex (modified) add macro LstBasicStyle Mon, 09 Jul 2018 20:49:01 GMT Aaron Moss [046959b] * Jenkins/FullBuild (modified) * src/tests/Makefile.am (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 09 Jul 2018 20:48:58 GMT Aaron Moss [4612bb0] * src/Common/ScopedMap.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) Add push operations for ScopedMap notes Mon, 09 Jul 2018 19:33:20 GMT Thierry Delisle [242f705] * src/Common/ScopedMap.h (modified) * src/Parser/TypedefTable.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 09 Jul 2018 19:33:12 GMT Thierry Delisle [6fd8b0f] * Jenkins/FullBuild (modified) * src/tests/Makefile.am (modified) Remove old and non-existing tests from quick test list. No longer ... Mon, 09 Jul 2018 19:10:13 GMT Aaron Moss [c3e44e6] * src/Parser/lex.ll (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 09 Jul 2018 19:10:05 GMT Aaron Moss [6253fc3] * src/Common/ScopedMap.h (modified) * src/Parser/TypedefTable.h (modified) Add annotation field to ScopedMap, annotate TypedefTable with int Mon, 09 Jul 2018 17:39:17 GMT Thierry Delisle [a8615fd1] * src/Parser/lex.ll (modified) Fixed error in lexer where errors where no printed in STDERR Mon, 09 Jul 2018 15:22:58 GMT Thierry Delisle [1319235] * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/attributes.x86.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 09 Jul 2018 15:22:49 GMT Thierry Delisle [250e29a] * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) Added missing compilation flags for prelude Mon, 09 Jul 2018 15:05:45 GMT Rob Schluntz [036dd5f] * src/main.cc (modified) Temporarily fill locations just after parsing Mon, 09 Jul 2018 14:31:54 GMT Rob Schluntz [0bcc2b7] * src/SymTab/Validate.cc (modified) Fix handling of traits and TypeDecls in ReplaceTypedef Mon, 09 Jul 2018 14:31:04 GMT Rob Schluntz [062e8df] * src/SymTab/Validate.cc (modified) Add error checks for nested types Mon, 09 Jul 2018 14:29:03 GMT Rob Schluntz [49e1275] * src/tests/.expect/nested-types-ERR1.txt (added) * src/tests/.expect/nested-types-ERR2.txt (added) * src/tests/.expect/nested-types.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/nested-types.c (added) Add test cases for nested types Mon, 09 Jul 2018 14:02:20 GMT Rob Schluntz [46e480a5] * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/attributes.x86.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Sat, 07 Jul 2018 03:04:02 GMT Peter A. Buhr [c0cc5da] * src/tests/.expect/attributes.x64.txt (modified) update 64-bit test Fri, 06 Jul 2018 23:08:33 GMT Peter A. Buhr [6382128] * .gitignore (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/prelude-gen.cc (added) * src/prelude/prelude.old.cf (moved) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 06 Jul 2018 23:08:23 GMT Peter A. Buhr [a1cfa0c] * src/tests/.expect/attributes.x86.txt (modified) fix 32-bit test Fri, 06 Jul 2018 19:47:41 GMT Thierry Delisle [1629965] * src/prelude/prelude-gen.cc (modified) Some refatoring in prelude gen Fri, 06 Jul 2018 18:18:34 GMT Rob Schluntz [638ac26] * .gitignore (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/mail (added) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/fig.tex (added) * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) * src/libcfa/stdlib (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/prelude-gen.cc (added) * src/prelude/prelude.old.cf (moved) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 06 Jul 2018 14:53:26 GMT Thierry Delisle [1d386a7] * .gitignore (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/prelude-gen.cc (added) Prelude is now generated Fri, 06 Jul 2018 14:52:20 GMT Thierry Delisle [ac4ebc1] * src/prelude/prelude.old.cf (moved) Renamed old prelude Fri, 06 Jul 2018 13:45:43 GMT Peter A. Buhr [284da8c] * src/Parser/DeclarationNode.cc (modified) * src/Parser/parser.yy (modified) cleanup, fix distribution order, add generic ... Thu, 05 Jul 2018 12:28:03 GMT Peter A. Buhr [57fc7d8] * src/libcfa/stdlib (modified) use more distribution of qualifiers Thu, 05 Jul 2018 01:24:15 GMT Peter A. Buhr [5bdeb35] * src/Parser/parser.yy (modified) allow distribution into nested extern "C" block Wed, 04 Jul 2018 16:43:18 GMT Peter A. Buhr [6c0c52f] * doc/papers/concurrency/mail (added) add file Wed, 04 Jul 2018 16:35:13 GMT Peter A. Buhr [9459c01] * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/fig.tex (added) final production copy Tue, 03 Jul 2018 19:25:56 GMT Rob Schluntz [e3b2474] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/ext_monitor.fig (modified) * doc/papers/concurrency/notes/cor-thread-traits.c (deleted) * doc/papers/concurrency/notes/lit-review.md (deleted) * doc/papers/concurrency/notes/notes.md (deleted) * src/Parser/LinkageSpec.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/libcfa/clock (modified) * src/libcfa/iostream (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/time (modified) * src/tests/literals.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 03 Jul 2018 13:07:31 GMT Peter A. Buhr [bbe1a87] * src/libcfa/clock (modified) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/time (modified) use distribution for SC qualifiers, and inline routines Tue, 03 Jul 2018 13:04:45 GMT Peter A. Buhr [4c3ee8d] * src/Parser/parser.yy (modified) create helper distQual, fix error for SC qualifiers Tue, 03 Jul 2018 13:03:05 GMT Peter A. Buhr [41e8217] * src/Parser/LinkageSpec.h (modified) formatting Sun, 01 Jul 2018 20:45:38 GMT Peter A. Buhr [9428d52] * src/libcfa/iostream (modified) * src/tests/literals.c (modified) more fixes for 32-bit build problem Sun, 01 Jul 2018 15:37:56 GMT Peter A. Buhr [7c919446] * src/libcfa/iostream (modified) fix 32-bit build problem with rational Sun, 01 Jul 2018 13:00:30 GMT Peter A. Buhr [fe3cd36] * doc/papers/concurrency/Paper.tex (modified) submitted version Sat, 30 Jun 2018 22:47:55 GMT Peter A. Buhr [22cf65e] * src/libcfa/clock (modified) add getResNsec, make getTimeNsec use more accurate clock, temporary ... Sat, 30 Jun 2018 19:56:54 GMT Peter A. Buhr [73de175] * doc/papers/concurrency/Paper.tex (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Sat, 30 Jun 2018 19:56:46 GMT Peter A. Buhr [2ebcb28] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/notes/cor-thread-traits.c (deleted) * doc/papers/concurrency/notes/lit-review.md (deleted) * doc/papers/concurrency/notes/notes.md (deleted) more updates Sat, 30 Jun 2018 19:17:47 GMT Thierry Delisle [35a9e41] * doc/papers/concurrency/Paper.tex (modified) Updated performance numbers Sat, 30 Jun 2018 12:35:13 GMT Peter A. Buhr [adb60242] * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/ext_monitor.fig (modified) final corrections Fri, 29 Jun 2018 19:02:57 GMT Thierry Delisle [1f133dc] * src/Parser/parser.yy (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Fri, 29 Jun 2018 16:16:34 GMT Peter A. Buhr [713926ca] * src/Parser/parser.yy (modified) generalize waitfor routine, and error for no conditional on else ... Fri, 29 Jun 2018 03:53:25 GMT Peter A. Buhr [9f66811] * doc/papers/concurrency/Paper.tex (modified) more updates Thu, 28 Jun 2018 20:04:11 GMT Rob Schluntz [c653b37] * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/figures/RunTimeStructure.fig (added) * doc/papers/concurrency/figures/ext_monitor.fig (modified) * doc/papers/concurrency/figures/monitor.fig (modified) * doc/papers/concurrency/style/cfa-format.tex (deleted) * doc/papers/concurrency/style/style.tex (deleted) * doc/papers/general/Makefile (modified) * doc/proposals/ctordtor/Makefile (modified) * doc/proposals/ctordtor/ctor.tex (modified) * doc/proposals/tuples/Makefile (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/user/Makefile (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * 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) * src/SynTree/Type.cc (modified) * src/tests/.gitignore (modified) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/long_tests.h (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/update-type (added) * src/tests/preempt_longrun/yield.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 28 Jun 2018 19:29:37 GMT Rob Schluntz [a12c81f3] * src/SymTab/Validate.cc (modified) Replace qualified types with the actual type Thu, 28 Jun 2018 19:27:34 GMT Rob Schluntz [69918cea] * src/SymTab/Validate.cc (modified) Add new EliminateTypedef pass that just removes typedefs from AST Thu, 28 Jun 2018 19:27:02 GMT Rob Schluntz [afcb0a3] * src/SymTab/Validate.cc (modified) Ignore QualifiedType children in LinkReferenceToTypes Thu, 28 Jun 2018 19:10:22 GMT Rob Schluntz [48ed81c] * src/SymTab/Validate.cc (modified) Rename EliminateTypedef to ReplaceTypedef and add TypedefDecls for ... Thu, 28 Jun 2018 19:06:48 GMT Rob Schluntz [d419d8e] * src/SymTab/Validate.cc (modified) Rename nested types when hoisting Thu, 28 Jun 2018 18:42:17 GMT Peter A. Buhr [944ce47] * doc/papers/concurrency/figures/RunTimeStructure.fig (added) add missing file Thu, 28 Jun 2018 18:39:21 GMT Rob Schluntz [15f5c5e] * src/SymTab/Validate.cc (modified) Rename LinkNestedTypes to HoistTypeDecls Thu, 28 Jun 2018 17:33:48 GMT Peter A. Buhr [287da46] * doc/papers/concurrency/Paper.tex (modified) more updates Thu, 28 Jun 2018 16:39:08 GMT Rob Schluntz [e73becf] * src/SymTab/Mangler.cc (modified) Mangle qualified type names Thu, 28 Jun 2018 15:37:37 GMT Rob Schluntz [450805a] * src/CodeGen/GenType.cc (modified) Add codegen for variable with qualified type Thu, 28 Jun 2018 02:46:07 GMT Peter A. Buhr [64188cc] * doc/papers/concurrency/Paper.tex (modified) more updates Wed, 27 Jun 2018 22:37:55 GMT Peter A. Buhr [6d6cf5a] * 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) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 27 Jun 2018 22:37:47 GMT Peter A. Buhr [b199e54] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/annex/local.bib (modified) * doc/papers/concurrency/style/cfa-format.tex (deleted) * doc/papers/concurrency/style/style.tex (deleted) first complete draft Tue, 26 Jun 2018 21:16:23 GMT Aaron Moss [63238a4] * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/ext_monitor.fig (modified) * doc/papers/concurrency/figures/monitor.fig (modified) * doc/papers/general/Makefile (modified) * doc/proposals/ctordtor/Makefile (modified) * doc/proposals/ctordtor/ctor.tex (modified) * doc/proposals/tuples/Makefile (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/user/Makefile (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/SynTree/Type.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Tue, 26 Jun 2018 20:26:09 GMT Rob Schluntz [b16923d] * src/SymTab/Validate.cc (modified) Fix type linking for empty SUEs Tue, 26 Jun 2018 17:48:42 GMT Rob Schluntz [3fd8b0e] * src/Parser/parser.yy (modified) Build typedefs inside aggregates Tue, 26 Jun 2018 17:18:07 GMT Rob Schluntz [88d955f] * src/Concurrency/Keywords.cc (modified) Update concurrency keywords to ignore forward declarations Tue, 26 Jun 2018 17:17:11 GMT Rob Schluntz [ed34540] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Update Indexer handling for typedefs Sun, 24 Jun 2018 16:04:00 GMT Peter A. Buhr [203c667] * src/Parser/parser.yy (modified) clean up Fri, 22 Jun 2018 19:43:19 GMT Rob Schluntz [0b3b2ae] * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Minor code cleanup Fri, 22 Jun 2018 18:58:30 GMT Peter A. Buhr [3d56d15b] * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) add push/pop up/down, semantic check for CV in distribution, initial ... Fri, 22 Jun 2018 17:51:56 GMT Peter A. Buhr [6d43cc57] * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/figures/ext_monitor.fig (modified) * doc/papers/concurrency/figures/monitor.fig (modified) more updates