# # ChangeLog for doc # # Generated by Trac 1.2.1 # Jun 3, 2024, 10:42:19 AM Wed, 10 Apr 2024 17:10:14 GMT Peter A. Buhr [c4024b46] * doc/theses/mike_brooks_MMath/background.tex (modified) more work on background chapter Wed, 10 Apr 2024 02:11:29 GMT Peter A. Buhr [0554c1a] * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (modified) finish current proofreading of background chapter Tue, 09 Apr 2024 01:13:57 GMT Peter A. Buhr [dd37afa] * doc/theses/mike_brooks_MMath/background.tex (modified) more work on Figure 2.1 and surrounding text Mon, 08 Apr 2024 15:56:19 GMT Peter A. Buhr [d3a49864] * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) work on Figure 2.1 Wed, 03 Apr 2024 16:24:23 GMT Michael Brooks [2d82999] * doc/theses/mike_brooks_MMath/background.tex (modified) clear out draft content and link syntactic reference figures Wed, 27 Mar 2024 14:08:54 GMT Peter A. Buhr [b5bfb16] * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) start proofreading of Section 2.1 Wed, 27 Mar 2024 14:06:40 GMT Peter A. Buhr [b8cb388] * doc/theses/mike_brooks_MMath/intro.tex (modified) fix CFA citation Wed, 27 Mar 2024 14:05:53 GMT Peter A. Buhr [baad96e] * doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) add sorting key to web-site citations Wed, 27 Mar 2024 14:04:44 GMT Peter A. Buhr [544b799] * doc/bibliography/pl.bib (modified) update and add ISO C citations and update clang citation Tue, 26 Mar 2024 17:06:38 GMT JiadaL [84886499] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Small update Tue, 26 Mar 2024 08:47:29 GMT JiadaL [d734fa1] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Comment on relatedwork work Mon, 25 Mar 2024 13:02:48 GMT Peter A. Buhr [051aec4] * doc/theses/mike_brooks_MMath/intro.tex (modified) word smithing Mon, 25 Mar 2024 13:02:18 GMT Peter A. Buhr [41fb996] * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) word smithing and poking at rust enumerations Mon, 25 Mar 2024 03:08:46 GMT Peter A. Buhr [6a8c773] * doc/theses/mike_brooks_MMath/intro.tex (modified) more work on introduction Mon, 25 Mar 2024 01:52:45 GMT Peter A. Buhr [82e5670] * doc/theses/mike_brooks_MMath/array.tex (modified) add material from background Mon, 25 Mar 2024 01:51:57 GMT Peter A. Buhr [f5fbcad] * doc/theses/mike_brooks_MMath/background.tex (modified) move material from background to intro Mon, 25 Mar 2024 01:49:06 GMT Peter A. Buhr [bdc8591] * doc/theses/mike_brooks_MMath/intro.tex (modified) start introduction Mon, 25 Mar 2024 01:48:30 GMT Peter A. Buhr [f5212ca] * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) interchange chapters list and array Sun, 24 Mar 2024 13:12:11 GMT Peter A. Buhr [48b76d03] * doc/theses/jiada_liang_MMath/intro.tex (modified) fine tune justification for enumerations Sat, 23 Mar 2024 23:02:11 GMT Peter A. Buhr [caf2cba] * doc/theses/jiada_liang_MMath/intro.tex (modified) justification for enumerations Sat, 23 Mar 2024 23:01:05 GMT Peter A. Buhr [e00b10d] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) added Gregor and Andrew emails Sat, 23 Mar 2024 13:04:31 GMT Peter A. Buhr [4094d05a] * doc/bibliography/pl.bib (modified) fix citations in bibliography/pl.bib Fri, 22 Mar 2024 12:03:47 GMT Peter A. Buhr [6394ac6] * doc/papers/general/SPE_CforallModernFeatures.pdf (added) add SPE PDF for paper Cforall: Adding Modern Programming Language ... Fri, 22 Mar 2024 01:34:28 GMT Peter A. Buhr [7d9a805b] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading for enumerations Wed, 13 Mar 2024 15:52:35 GMT Peter A. Buhr [223b631] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) add comparison table for related work Wed, 13 Mar 2024 15:31:29 GMT Peter A. Buhr [6337916] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) fold in Gregor's comments on OCaml Tue, 12 Mar 2024 22:08:15 GMT Peter A. Buhr [56a8eb8] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more updates on OCaml Tue, 12 Mar 2024 22:07:32 GMT Peter A. Buhr [8bdc9705] * doc/LaTeXmacros/lstlang.sty (modified) added lstlang entry for OCaml Tue, 12 Mar 2024 19:14:47 GMT Peter A. Buhr [423c0cd] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more updates on OCaml Tue, 12 Mar 2024 17:57:50 GMT Peter A. Buhr [9a32903] * doc/bibliography/pl.bib (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update OCaml text and add OCaml citation Tue, 12 Mar 2024 02:47:13 GMT Peter A. Buhr [75d789c] * doc/LaTeXmacros/lstlang.sty (modified) update lstlang for CFA Tue, 12 Mar 2024 02:45:46 GMT Peter A. Buhr [16c795c] * doc/papers/llheap/Paper.tex (modified) update llheap paper Tue, 12 Mar 2024 02:44:50 GMT Peter A. Buhr [a885357] * doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c (modified) update compile commands Tue, 12 Mar 2024 02:41:33 GMT Peter A. Buhr [282061a] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) update OCaml text Mon, 11 Mar 2024 18:22:19 GMT JiadaL [6c8b76b] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Fix ocaml code Mon, 11 Mar 2024 09:09:25 GMT JiadaL [9398177] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Add OCamal section to related work Sun, 10 Mar 2024 15:21:18 GMT Peter A. Buhr [5546f50b] * doc/theses/mike_brooks_MMath/programs/array-boundcheck-removal-matmul.cfa (modified) * doc/theses/mike_brooks_MMath/programs/array-boundcheck-removal-stdvec.cpp (modified) * doc/theses/mike_brooks_MMath/programs/array-boundcheck-removal.cfa (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-array.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-issues-attach-reduction.hpp (modified) * doc/theses/mike_brooks_MMath/programs/lst-issues-intrusive.run.c (modified) * doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c (modified) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-byref.run.cpp (modified) * doc/theses/mike_brooks_MMath/programs/lst-issues-wrapped-emplaced.run.cpp (modified) * doc/theses/mike_brooks_MMath/programs/sharectx-demo.cfa (modified) * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (modified) more switch to tabs Sun, 10 Mar 2024 15:19:32 GMT Peter A. Buhr [b64d0f4] * doc/theses/mike_brooks_MMath/Makefile (modified) * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/conclusion.tex (modified) * doc/theses/mike_brooks_MMath/list.tex (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) second attempt changing program-input style Sat, 09 Mar 2024 22:40:09 GMT Peter A. Buhr [266732e] * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (modified) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (modified) * doc/theses/mike_brooks_MMath/programs/sedcmd (added) * doc/theses/mike_brooks_MMath/string.tex (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) switch to tabs, first attempt changing program-input style Wed, 06 Mar 2024 18:56:11 GMT Michael Brooks [e72fc60] * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (modified) Fix thesis demo program build isssue: handle substring API switch to ... Wed, 06 Mar 2024 13:26:49 GMT Peter A. Buhr [7a29392f] * doc/papers/llheap/Makefile (modified) * doc/papers/llheap/Paper.tex (modified) * doc/papers/llheap/figures/AddressSpace.fig (modified) continue work on memory allocation paper Mon, 04 Mar 2024 23:09:26 GMT Peter A. Buhr [9262fe9] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading for enumeration related-work Fri, 01 Mar 2024 16:14:23 GMT Peter A. Buhr [1d5e5601] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on the enumeration related-work section Wed, 28 Feb 2024 16:59:34 GMT Peter A. Buhr [924534e] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on the enumeration related-work section Mon, 26 Feb 2024 13:14:55 GMT Peter A. Buhr [1bb76ad] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) fix problme wiht exclamation mark in comon.sty file Sun, 25 Feb 2024 23:13:37 GMT Peter A. Buhr [022bce0] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumeration thesis Fri, 23 Feb 2024 23:53:15 GMT Peter A. Buhr [3d5a8cb] * doc/LaTeXmacros/lstlang.sty (modified) update lst language for uC++ Thu, 22 Feb 2024 16:44:38 GMT Peter A. Buhr [7bb516f] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) more proofreading on enumeration thesis Fri, 16 Feb 2024 18:27:45 GMT Peter A. Buhr [38f5006] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update related work for Ada and Golang Fri, 16 Feb 2024 18:26:46 GMT Peter A. Buhr [f9da761] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) change text to use macros \eg amd \ie Tue, 13 Feb 2024 21:12:17 GMT Peter A. Buhr [c2a58cf] * doc/bibliography/pl.bib (modified) add citation for programming language 'Swift' Tue, 13 Feb 2024 21:10:20 GMT Peter A. Buhr [f936e23] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) add more text to related-work chapter Tue, 13 Feb 2024 21:09:20 GMT Peter A. Buhr [acde87a] * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) remove unnecessary latex macros Tue, 13 Feb 2024 21:07:02 GMT Peter A. Buhr [9b96e90d] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) small cleanup to latex 'common' macros Tue, 13 Feb 2024 21:03:15 GMT Peter A. Buhr [c0d8e62] * doc/LaTeXmacros/lstlang.sty (modified) remove 'swift' language reference because it is available in ... Mon, 12 Feb 2024 18:10:36 GMT Peter A. Buhr [e7b04a3] * doc/LaTeXmacros/lstlang.sty (modified) add swift language macros for formatting by lstlisting Mon, 12 Feb 2024 18:09:10 GMT Peter A. Buhr [c185ca9] * doc/user/user.tex (modified) more documentation on stream input Thu, 08 Feb 2024 15:48:41 GMT Peter A. Buhr [956299b] * doc/theses/jiada_liang_MMath/CFAenum.tex (added) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/content1.tex (deleted) * doc/theses/jiada_liang_MMath/content2.tex (deleted) * doc/theses/jiada_liang_MMath/implementation.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) copy enum proposal to enum thesis Wed, 07 Feb 2024 22:11:49 GMT Peter A. Buhr [d63746f] * doc/proposals/enum.tex (modified) more updates Mon, 05 Feb 2024 15:21:52 GMT Peter A. Buhr [e11cdc0] * doc/proposals/enum.tex (modified) add more material Fri, 02 Feb 2024 15:46:41 GMT Peter A. Buhr [bd67442] * doc/proposals/enum.tex (modified) more proofreading, related-work section still needs work Wed, 31 Jan 2024 17:14:17 GMT Peter A. Buhr [e71b09a] * doc/user/user.tex (modified) more word-smithing Wed, 31 Jan 2024 02:45:08 GMT Peter A. Buhr [538cc35] * doc/uC++toCFA/Makefile (modified) * doc/uC++toCFA/uC++toCFA.tex (modified) small updated to uC++toCFA document Wed, 31 Jan 2024 02:42:18 GMT Peter A. Buhr [2989d6f] * doc/proposals/enum.tex (modified) started some related work Sun, 28 Jan 2024 21:00:31 GMT Peter A. Buhr [65b851a] * doc/user/user.tex (modified) start updaing documentation for input changes Sun, 28 Jan 2024 04:27:34 GMT Peter A. Buhr [765ee42] * doc/papers/llheap/Paper.tex (modified) some updates on the llheap paper Sun, 28 Jan 2024 04:26:17 GMT Peter A. Buhr [dd1ebb1] * doc/proposals/enum.tex (modified) some updates on the enum proposal Sat, 27 Jan 2024 18:52:20 GMT Peter A. Buhr [d1551a5] * doc/user/user.tex (modified) formatting, a little more string stuff Sat, 27 Jan 2024 18:49:22 GMT Peter A. Buhr [01fb70a] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) increase lstlisting comment start from 2.75in to 3in Wed, 24 Jan 2024 13:19:18 GMT Peter A. Buhr [221c542e] * doc/proposals/enum.tex (modified) * src/AST/Decl.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 22 Jan 2024 23:02:49 GMT Peter A. Buhr [bad9c8f] * doc/bibliography/pl.bib (modified) change from href to url in bibtex citations Mon, 22 Jan 2024 08:23:12 GMT JiadaL [367725d] * doc/proposals/enum.tex (modified) * src/Validate/ReplacePseudoFunc.cpp (modified) Update enum.tex Mon, 15 Jan 2024 01:51:10 GMT Peter A. Buhr [739495a] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) change shape of latex minus sign, change lstlisting escapechar from $ ... Sun, 14 Jan 2024 22:40:05 GMT Peter A. Buhr [5ecaeca] * doc/user/user.tex (modified) first documentation for string API Sat, 16 Dec 2023 06:01:44 GMT JiadaL [5546eee4] * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/intro.tex (modified) * doc/theses/mike_brooks_MMath/list.tex (modified) * doc/theses/mike_brooks_MMath/papers/Blanche19.pdf (added) * doc/theses/mike_brooks_MMath/papers/Grothoff14.pdf (added) * doc/theses/mike_brooks_MMath/papers/Oorschot22.pdf (added) * doc/theses/mike_brooks_MMath/papers/Ruef19.pdf (added) * doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa (added) * doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-array.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa (modified) * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (modified) * doc/theses/mike_brooks_MMath/string.tex (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) * libcfa/src/exception.c (modified) * src/AST/Decl.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/ErrorObjects.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/ControlStruct/FixLabels.cpp (modified) * src/ControlStruct/MultiLevelExit.cpp (modified) * src/GenPoly/Box.cpp (modified) * src/InitTweak/FixInit.cpp (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ReplaceTypedef.cpp (modified) * src/Virtual/ExpandCasts.cc (modified) * tests/.expect/nested-types-ERR1.txt (modified) * tests/.expect/nested-types-ERR2.txt (modified) * tests/.expect/typedefRedef-ERR1.txt (modified) * tests/concurrency/.expect/ctor-check.txt (modified) * tests/exceptions/.expect/try-ctrl-flow.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 16 Dec 2023 06:01:32 GMT JiadaL [0fa0201d] * doc/proposals/enum.tex (modified) Update enumeration data structure Fri, 15 Dec 2023 14:30:23 GMT Peter A. Buhr [19a2890] * doc/theses/mike_brooks_MMath/intro.tex (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) small proofreading changes Wed, 13 Dec 2023 23:27:31 GMT JiadaL [dc80280] * doc/proposals/enum.tex (modified) Started the storage section (inling and weak reference) Wed, 13 Dec 2023 19:47:16 GMT JiadaL [21ce2c7] * doc/proposals/enum.tex (modified) Change the unification scheme Wed, 13 Dec 2023 02:12:57 GMT Peter A. Buhr [96b0e49] * doc/theses/mike_brooks_MMath/papers/Blanche19.pdf (added) * doc/theses/mike_brooks_MMath/papers/Grothoff14.pdf (added) * doc/theses/mike_brooks_MMath/papers/Oorschot22.pdf (added) * doc/theses/mike_brooks_MMath/papers/Ruef19.pdf (added) add papers directory and start populating it Tue, 12 Dec 2023 19:35:39 GMT Peter A. Buhr [f277ab6c] * doc/theses/mike_brooks_MMath/background.tex (modified) comment back in lstinputlisting files after missing files pushed Tue, 12 Dec 2023 18:55:15 GMT Michael Brooks [7972603] * doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c (added) * doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa (added) Missing files from last thesis push Tue, 12 Dec 2023 16:29:06 GMT Peter A. Buhr [ed79428] * doc/theses/mike_brooks_MMath/background.tex (modified) comment out missing lstinputlisting files, fix missing @'s for ... Tue, 12 Dec 2023 16:27:05 GMT Peter A. Buhr [cd79053] * doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (modified) comment out assert( s1_mid == fc ) bug Tue, 12 Dec 2023 16:26:12 GMT Peter A. Buhr [77d46c7] * doc/theses/mike_brooks_MMath/programs/lst-features-intro.run.cfa (modified) * doc/theses/mike_brooks_MMath/programs/lst-features-multidir.run.cfa (modified) change containers/list.hfa to collections/list.hfa in thesis test files Mon, 11 Dec 2023 18:48:43 GMT Michael Brooks [40ab446] * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/mike_brooks_MMath/background.tex (modified) * doc/theses/mike_brooks_MMath/list.tex (modified) * doc/theses/mike_brooks_MMath/uw-ethesis.tex (modified) Recent thesis writing Mon, 11 Dec 2023 18:46:50 GMT Michael Brooks [dab9fb93] * doc/theses/mike_brooks_MMath/array.tex (modified) * doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-array.cfa (modified) * doc/theses/mike_brooks_MMath/programs/hello-md.cfa (modified) * doc/theses/mike_brooks_MMath/string.tex (modified) Accept Peter's proofreading and adjustment of examples to current syntax Mon, 11 Dec 2023 09:17:57 GMT JiadaL [5ddb8bf] * doc/proposals/enum.tex (modified) (Not really readable right now. Will clean up today and probably ... Mon, 27 Nov 2023 18:06:19 GMT JiadaL [2d373440] * doc/proposals/enum.tex (modified) Update enum.tex Mon, 20 Nov 2023 15:34:26 GMT Peter A. Buhr [66d92e3] * doc/proposals/enum.tex (modified) * driver/demangler.cc (moved) proofread enumeration proposal Mon, 13 Nov 2023 20:28:56 GMT Peter A. Buhr [6ea85b22] * doc/proposals/enum.md (deleted) remove old enum.md file Mon, 13 Nov 2023 15:03:02 GMT Peter A. Buhr [25f2798] * doc/proposals/enum.tex (modified) latex formatting changes Mon, 13 Nov 2023 08:43:43 GMT JiadaL [fc12f05] * doc/bibliography/pl.bib (modified) * driver/as.cc (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/bootloader.cfa (moved) * libcfa/prelude/prelude.old.cfa (moved) * libcfa/prelude/prototypes.awk (modified) * libcfa/prelude/sync-builtins.cfa (moved) * libcfa/src/Makefile.am (modified) * libcfa/src/collections/string.cfa (modified) * libcfa/src/collections/string_res.cfa (modified) * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/cofor.cfa (modified) * libcfa/src/concurrency/cofor.hfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/locks.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * src/AST/Convert.cpp (deleted) * src/AST/Convert.hpp (deleted) * src/AST/Decl.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/AST/module.mk (modified) * src/BasicTypes-gen.cc (modified) * src/CodeGen/CodeGenerator.cc (deleted) * src/CodeGen/CodeGenerator.h (deleted) * src/CodeGen/CodeGeneratorNew.cpp (added) * src/CodeGen/CodeGeneratorNew.hpp (added) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixMain2.cc (deleted) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.cc (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/LinkOnce.cc (modified) * src/CodeGen/LinkOnce.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeGen/module.mk (modified) * src/CodeTools/DeclStats.cc (deleted) * src/CodeTools/DeclStats.h (deleted) * src/CodeTools/ResolvProtoDump.cc (deleted) * src/CodeTools/ResolvProtoDump.h (deleted) * src/CodeTools/TrackLoc.cc (deleted) * src/CodeTools/TrackLoc.h (deleted) * src/CodeTools/module.mk (deleted) * src/Common/CodeLocationTools.cpp (modified) * src/Common/Eval.cc (modified) * src/Common/Eval.h (modified) * src/Common/Examine.cc (modified) * src/Common/Examine.h (modified) * src/Common/PassVisitor.cc (deleted) * src/Common/PassVisitor.h (deleted) * src/Common/PassVisitor.impl.h (deleted) * src/Common/PassVisitor.proto.h (deleted) * src/Common/UniqueName.cc (modified) * src/Common/UniqueName.h (modified) * src/Common/module.mk (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cc (deleted) * src/Concurrency/Waitfor.cc (deleted) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cc (deleted) * src/ControlStruct/ExceptTranslate.cc (deleted) * src/ControlStruct/ForExprMutator.cc (deleted) * src/ControlStruct/ForExprMutator.h (deleted) * src/ControlStruct/LabelFixer.cc (deleted) * src/ControlStruct/LabelFixer.h (deleted) * src/ControlStruct/LabelGenerator.cc (deleted) * src/ControlStruct/LabelGenerator.h (deleted) * src/ControlStruct/MLEMutator.cc (deleted) * src/ControlStruct/MLEMutator.h (deleted) * src/ControlStruct/Mutate.cc (deleted) * src/ControlStruct/Mutate.h (deleted) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (deleted) * src/GenPoly/BoxNew.cpp (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/Lvalue.cc (deleted) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (deleted) * src/GenPoly/SpecializeNew.cpp (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (deleted) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (deleted) * src/MakeLibCfa.h (modified) * src/Makefile.am (modified) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Alternative.cc (deleted) * src/ResolvExpr/Alternative.h (deleted) * src/ResolvExpr/AlternativeFinder.cc (deleted) * src/ResolvExpr/AlternativeFinder.h (deleted) * src/ResolvExpr/AlternativePrinter.cc (deleted) * src/ResolvExpr/AlternativePrinter.h (deleted) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/ExplodedActual.cc (deleted) * src/ResolvExpr/ExplodedActual.h (deleted) * src/ResolvExpr/FindOpenVars.cc (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/Occurs.cc (deleted) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveAssertions.cc (deleted) * src/ResolvExpr/ResolveAssertions.h (deleted) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (deleted) * src/ResolvExpr/TypeEnvironment.h (deleted) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (deleted) * src/SymTab/Autogen.h (deleted) * src/SymTab/Demangle.cc (modified) * src/SymTab/Demangle.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Indexer.cc (deleted) * src/SymTab/Indexer.h (deleted) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (deleted) * src/SymTab/Validate.h (deleted) * src/SymTab/ValidateType.cc (deleted) * src/SymTab/ValidateType.h (deleted) * src/SymTab/demangler.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (deleted) * src/SynTree/AggregateDecl.cc (deleted) * src/SynTree/ApplicationExpr.cc (deleted) * src/SynTree/ArrayType.cc (deleted) * src/SynTree/AttrType.cc (deleted) * src/SynTree/Attribute.cc (deleted) * src/SynTree/Attribute.h (deleted) * src/SynTree/BaseSyntaxNode.cc (deleted) * src/SynTree/BaseSyntaxNode.h (deleted) * src/SynTree/BasicType.cc (deleted) * src/SynTree/CommaExpr.cc (deleted) * src/SynTree/CompoundStmt.cc (deleted) * src/SynTree/Constant.cc (deleted) * src/SynTree/Constant.h (deleted) * src/SynTree/DeclReplacer.cc (deleted) * src/SynTree/DeclReplacer.h (deleted) * src/SynTree/DeclStmt.cc (deleted) * src/SynTree/Declaration.cc (deleted) * src/SynTree/Declaration.h (deleted) * src/SynTree/DeclarationWithType.cc (deleted) * src/SynTree/Expression.cc (deleted) * src/SynTree/Expression.h (deleted) * src/SynTree/FunctionDecl.cc (deleted) * src/SynTree/FunctionType.cc (deleted) * src/SynTree/Initializer.cc (deleted) * src/SynTree/Initializer.h (deleted) * src/SynTree/InlineMemberDecl.cc (deleted) * src/SynTree/Label.h (deleted) * src/SynTree/LinkageSpec.cc (deleted) * src/SynTree/LinkageSpec.h (deleted) * src/SynTree/Makefile (deleted) * src/SynTree/Mutator.h (deleted) * src/SynTree/NamedTypeDecl.cc (deleted) * src/SynTree/ObjectDecl.cc (deleted) * src/SynTree/PointerType.cc (deleted) * src/SynTree/ReferenceToType.cc (deleted) * src/SynTree/ReferenceType.cc (deleted) * src/SynTree/Statement.cc (deleted) * src/SynTree/Statement.h (deleted) * src/SynTree/SynTree.h (deleted) * src/SynTree/TupleExpr.cc (deleted) * src/SynTree/TupleType.cc (deleted) * src/SynTree/Type.cc (deleted) * src/SynTree/Type.h (deleted) * src/SynTree/TypeDecl.cc (deleted) * src/SynTree/TypeExpr.cc (deleted) * src/SynTree/TypeSubstitution.cc (deleted) * src/SynTree/TypeSubstitution.h (deleted) * src/SynTree/TypeofType.cc (deleted) * src/SynTree/VarArgsType.cc (deleted) * src/SynTree/Visitor.h (deleted) * src/SynTree/VoidType.cc (deleted) * src/SynTree/ZeroOneType.cc (deleted) * src/SynTree/module.mk (deleted) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/Tuples.h (modified) * src/Validate/FindSpecialDecls.cc (deleted) * src/Validate/FindSpecialDecls.h (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/HandleAttributes.cc (deleted) * src/Validate/HandleAttributes.h (deleted) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cc (modified) * src/Virtual/Tables.cc (modified) * src/Virtual/Tables.h (modified) * src/main.cc (modified) * tests/.expect/attr-priority.txt (added) * tests/attr-priority.cfa (added) * tests/collections/.expect/string-istream-manip.txt (modified) * tests/collections/string-istream-manip.cfa (modified) * tests/concurrency/actors/.expect/dynamic.txt (modified) * tests/concurrency/actors/.expect/static.txt (modified) * tests/concurrency/actors/dynamic.cfa (modified) * tests/concurrency/actors/static.cfa (modified) * tests/concurrency/cofor.cfa (modified) * tests/concurrency/waitfor/parse.cfa (modified) * tests/concurrency/waituntil/channel_close.cfa (modified) * tests/genericUnion.cfa (modified) * tests/in-demangle.txt (added) * tests/io/.expect/manipulatorsInput.arm64.txt (modified) * tests/io/.expect/manipulatorsInput.x64.txt (modified) * tests/io/.expect/manipulatorsInput.x86.txt (modified) * tests/io/.expect/manipulatorsOutput4.txt (modified) * tests/io/manipulatorsOutput4.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 13 Nov 2023 08:43:31 GMT JiadaL [0030b508] * doc/proposals/enum.tex (modified) some updates Sat, 11 Nov 2023 12:41:20 GMT Peter A. Buhr [27316b4] * doc/bibliography/pl.bib (modified) update bibliography entries Mon, 16 Oct 2023 17:39:07 GMT JiadaL [6bd9f9e] * doc/proposals/enum.tex (moved) Rename and move the file to proposal Mon, 16 Oct 2023 17:16:42 GMT JiadaL [c298079] * doc/uC++toCFA/uC++toCFA.tex (modified) * src/GenPoly/BoxNew.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 16 Oct 2023 17:16:26 GMT JiadaL [bab2917] * doc/theses/jiada_liang_MMath/main.tex (modified) Update the introduction Mon, 16 Oct 2023 12:09:51 GMT Peter A. Buhr [a97b9ed] * doc/theses/jiada_liang_MMath/main.tex (added) * libcfa/src/concurrency/channel.hfa (modified) * libcfa/src/concurrency/cofor.cfa (modified) * libcfa/src/concurrency/cofor.hfa (modified) * src/AST/Convert.cpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/Concurrency/Corun.cpp (added) * src/Concurrency/Corun.hpp (added) * src/Concurrency/module.mk (modified) * src/GenPoly/BoxNew.cpp (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/StatementNode.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/main.cc (modified) * tests/.expect/linkonce.txt (modified) * tests/concurrency/cofor.cfa (modified) * tests/link-once/main.cfa (modified) * tests/link-once/partner.cfa (modified) * tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 16 Oct 2023 12:09:41 GMT Peter A. Buhr [946a6e4] * doc/uC++toCFA/uC++toCFA.tex (modified) updates to the uC++toCFA cheat sheet