# # ChangeLog for doc/theses # # Generated by Trac 1.2.1 # Dec 18, 2024, 2:40:44 PM Fri, 03 May 2024 13:33:58 GMT Peter A. Buhr [d69f7114] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) proofread section Enumeration Trait, and a few other wording changes Wed, 01 May 2024 20:13:37 GMT JiadaL [d414664] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Update writing part for enum trait Wed, 01 May 2024 17:36:04 GMT JiadaL [35897fb] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) * src/Validate/HoistStruct.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 01 May 2024 17:35:48 GMT JiadaL [de3a579] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Add trait subsection Tue, 30 Apr 2024 16:08:24 GMT Peter A. Buhr [caaf424] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) remove glossary macros, switch back to newterm marco from Newterm, ... Sun, 28 Apr 2024 19:49:00 GMT Peter A. Buhr [f632117] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumeration chapters Thu, 25 Apr 2024 19:43:35 GMT Peter A. Buhr [314c9d8] * doc/theses/jiada_liang_MMath/intro.tex (modified) more proofreading on introduction chapter (discussion of ADT) Thu, 25 Apr 2024 19:42:09 GMT Peter A. Buhr [566cc33] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) move all lstnewenvironment macros to central location in uw- ethesis.tex Fri, 19 Apr 2024 02:23:34 GMT Peter A. Buhr [4da9142] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumerations Fri, 19 Apr 2024 02:20:30 GMT Peter A. Buhr [c148966] * doc/theses/jiada_liang_MMath/Makefile (modified) documentation Fri, 19 Apr 2024 02:19:38 GMT Peter A. Buhr [2a27998] * doc/theses/jiada_liang_MMath/uw-ethesis.bib (modified) add citation from OED for enumerate 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 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 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 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: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 ... 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 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 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: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 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 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 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, 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:26 GMT JiadaL [bab2917] * doc/theses/jiada_liang_MMath/main.tex (modified) Update the introduction Fri, 13 Oct 2023 23:13:00 GMT JiadaL [85034ed] * doc/theses/jiada_liang_MMath/main.tex (added) Initial commit Mon, 11 Sep 2023 16:56:35 GMT caparsons [c0035fc] * doc/theses/colby_parsons_MMAth/local.bib (modified) Added references when incorporating Trevor's comments Mon, 11 Sep 2023 16:55:43 GMT caparsons [9509d67a] * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) Incorporated changes in response to Trevor's comments. Thu, 07 Sep 2023 17:17:40 GMT caparsons [3ee8853] * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) made some small formatting changes Thu, 07 Sep 2023 14:36:06 GMT caparsons [0f8b1a7] * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) merged in Peter's edits with a few small changes Thu, 07 Sep 2023 14:05:20 GMT Peter A. Buhr [79b05224] * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) proofread chapters CFA_concurrency, intro, and conclusion Wed, 06 Sep 2023 15:48:16 GMT caparsons [1f10959] * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) expanded upon intro and conclusion Tue, 05 Sep 2023 21:48:31 GMT caparsons [aae9c17] * doc/theses/colby_parsons_MMAth/text/CFA_concurrency.tex (modified) * doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) edited thesis to incorporate Gregors comments Wed, 16 Aug 2023 03:22:20 GMT Peter A. Buhr [18ebc28] * doc/theses/jiada_liang_MMath/.gitignore (added) * doc/theses/jiada_liang_MMath/Makefile (added) * doc/theses/jiada_liang_MMath/background.tex (added) * doc/theses/jiada_liang_MMath/benchmarks.tex (added) * doc/theses/jiada_liang_MMath/conclusion.tex (added) * doc/theses/jiada_liang_MMath/content1.tex (added) * doc/theses/jiada_liang_MMath/content2.tex (added) * doc/theses/jiada_liang_MMath/glossary.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (added) * doc/theses/jiada_liang_MMath/performance.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis.bib (added) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (added) create MMath thesis macros for Jiada Wed, 16 Aug 2023 03:13:23 GMT Peter A. Buhr [082510e] * doc/theses/fangren_yu_MMath/glossary.tex (modified) * doc/theses/fangren_yu_MMath/intro.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (modified) create a glossary example Wed, 16 Aug 2023 03:11:33 GMT Peter A. Buhr [3fdf2b7] * doc/theses/fangren_yu_MMath/.gitignore (added) * doc/theses/fangren_yu_MMath/Makefile (added) add files Makefile and .gitignore Wed, 02 Aug 2023 03:00:05 GMT Peter A. Buhr [028c2c6] * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) fix line break in conclusion Wed, 02 Aug 2023 02:59:26 GMT Peter A. Buhr [a867622] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) fix figure 7.12 placement Wed, 02 Aug 2023 02:52:34 GMT Peter A. Buhr [d54ede6] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 02 Aug 2023 02:52:16 GMT Peter A. Buhr [d5f5eb7] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) fussed with Figure 7.3 Wed, 02 Aug 2023 02:40:11 GMT caparsons [2cb15b0] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) fixed bad page break and made figure location better Wed, 02 Aug 2023 02:26:10 GMT caparsons [210c737] * doc/theses/colby_parsons_MMAth/local.bib (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) * doc/theses/fangren_yu_MMath/background.tex (added) * doc/theses/fangren_yu_MMath/benchmarks.tex (added) * doc/theses/fangren_yu_MMath/conclusion.tex (added) * doc/theses/fangren_yu_MMath/content1.tex (added) * doc/theses/fangren_yu_MMath/content2.tex (added) * doc/theses/fangren_yu_MMath/glossary.tex (added) * doc/theses/fangren_yu_MMath/intro.tex (added) * doc/theses/fangren_yu_MMath/performance.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis.bib (added) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (added) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 02 Aug 2023 02:02:10 GMT Peter A. Buhr [afb3d68] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) final proofread of waituntil chapter Wed, 02 Aug 2023 02:01:32 GMT Peter A. Buhr [2e7a299] * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) change code listing to figure Wed, 02 Aug 2023 02:00:30 GMT Peter A. Buhr [9171456b] * doc/theses/colby_parsons_MMAth/text/frontpgs.tex (modified) fix bad line break Wed, 02 Aug 2023 01:59:20 GMT Peter A. Buhr [56eb7f8] * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) fix number of examples Wed, 02 Aug 2023 01:58:44 GMT Peter A. Buhr [5d8cc96] * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) move figure Wed, 02 Aug 2023 01:58:03 GMT Peter A. Buhr [b3ac8ce3] * doc/theses/colby_parsons_MMAth/local.bib (modified) fix month in citation Tue, 01 Aug 2023 01:59:56 GMT Peter A. Buhr [d987881] * doc/theses/fangren_yu_MMath/glossary.tex (added) * doc/theses/fangren_yu_MMath/performance.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (modified) update empty thesis directory for Fangren Mon, 31 Jul 2023 20:38:35 GMT Peter A. Buhr [c68f6e6] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/diagrams/uCpp_select_tree.tikz (added) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) * src/AST/Create.cpp (modified) * src/AST/Util.cpp (modified) * src/InitTweak/FixInitNew.cpp (modified) * src/InitTweak/InitTweak.cc (modified) * src/SymTab/GenImplicitCall.cpp (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/main.cc (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (modified) * tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (modified) * tests/array-container/dimexpr-match-c.cfa (modified) * tests/array-container/dimexpr-match-cfa.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 31 Jul 2023 20:38:27 GMT Peter A. Buhr [2e94f3e7] * doc/theses/fangren_yu_MMath/background.tex (added) * doc/theses/fangren_yu_MMath/benchmarks.tex (added) * doc/theses/fangren_yu_MMath/conclusion.tex (added) * doc/theses/fangren_yu_MMath/content1.tex (added) * doc/theses/fangren_yu_MMath/content2.tex (added) * doc/theses/fangren_yu_MMath/intro.tex (added) * doc/theses/fangren_yu_MMath/performance.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/fangren_yu_MMath/uw-ethesis.bib (added) * doc/theses/fangren_yu_MMath/uw-ethesis.tex (added) add empty thesis directory for Fangren Mon, 31 Jul 2023 20:18:49 GMT caparsons [000d68f] * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/channels.tex (modified) * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) * doc/theses/colby_parsons_MMAth/text/intro.tex (modified) * doc/theses/colby_parsons_MMAth/text/mutex_stmt.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) various small changes across entire thesis Mon, 31 Jul 2023 18:03:41 GMT caparsons [d3c3261] * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) fleshed out conclusion Mon, 31 Jul 2023 16:04:38 GMT caparsons [f496046] * doc/theses/colby_parsons_MMAth/Makefile (modified) * doc/theses/colby_parsons_MMAth/diagrams/uCpp_select_tree.tikz (added) * doc/theses/colby_parsons_MMAth/glossary.tex (modified) * doc/theses/colby_parsons_MMAth/text/actors.tex (modified) * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) incorporated actor and waituntil comments Sat, 22 Jul 2023 12:51:46 GMT Peter A. Buhr [a59e338] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) small wording changes Fri, 21 Jul 2023 15:58:18 GMT Peter A. Buhr [c1b6bc6] * doc/theses/colby_parsons_MMAth/text/conclusion.tex (modified) first proofread of conclusion chapter Fri, 21 Jul 2023 15:57:24 GMT Peter A. Buhr [1ae3f185] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) more proofreading of waituntil chapter Fri, 21 Jul 2023 02:46:41 GMT Peter A. Buhr [d4c1d1f] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) more proofreading of chapter waituntil Thu, 20 Jul 2023 20:47:06 GMT caparsons [47b7142] * doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) reworked 7.5.3 of thesis