# # ChangeLog for doc/theses/jiada_liang_MMath # # Generated by Trac 1.6 # Apr 13, 2026, 11:10:53 AM Thu, 19 Sep 2024 11:42:04 GMT Peter A. Buhr [b9b8643] * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) fix two spelling issues Wed, 18 Sep 2024 20:06:28 GMT JiadaL [c329bca] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) Add a sentence about linkonce Sun, 15 Sep 2024 23:53:45 GMT JiadaL [0bda8d7] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) Small updates Sun, 15 Sep 2024 22:38:33 GMT JiadaL [175a750e] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) change the superset row as we now conclude adt form a superset Sun, 15 Sep 2024 18:36:14 GMT Peter A. Buhr [4fa7096] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) small changes Sun, 15 Sep 2024 18:35:13 GMT Peter A. Buhr [68a7028] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/test.ml (modified) small changes Sun, 15 Sep 2024 16:25:59 GMT JiadaL [0c88135] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Update on thesis Sun, 15 Sep 2024 14:13:30 GMT Peter A. Buhr [17fdf6f] * doc/theses/jiada_liang_MMath/conclusion.tex (modified) missed proofreading in conclusion Sat, 14 Sep 2024 21:07:55 GMT Peter A. Buhr [dcfcf368] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.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/test.go (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.bib (modified) final proofread of thesis Wed, 11 Sep 2024 17:21:03 GMT JiadaL [a35e342] * doc/theses/jiada_liang_MMath/intro.tex (modified) update the discussion of unit type Tue, 10 Sep 2024 06:31:22 GMT JiadaL [aa14aafe] * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) Update thesis Mon, 09 Sep 2024 22:15:53 GMT JiadaL [d93b813] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) Add separate compilation discussion Mon, 09 Sep 2024 10:29:59 GMT JiadaL [29c8675] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update thesis Wed, 04 Sep 2024 21:35:55 GMT Peter A. Buhr [508cff0] * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) fix quotations from C++ reference manual Sat, 17 Aug 2024 19:15:21 GMT Peter A. Buhr [3ac5fd8] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/user/user.tex (modified) * libcfa/src/collections/string_res.cfa (modified) * libcfa/src/enum.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/parseconfig.cfa (modified) * tests/.expect/copyfile.txt (modified) * tests/.in/copyfile.txt (modified) * tests/concurrency/examples/quickSort.cfa (modified) * tests/copyfile.cfa (modified) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (modified) * tests/coroutine/devicedriver.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/enum_tests/input.cfa (modified) * tests/generator/.expect/fmtLines.txt (modified) * tests/generator/.in/fmtLines.txt (modified) * tests/generator/fmtLines.cfa (modified) first attempt changing end-of-file to an exception Fri, 09 Aug 2024 12:28:43 GMT Peter A. Buhr [5ca5263] * doc/theses/jiada_liang_MMath/test1.cfa (modified) update test file covering problem cases Fri, 09 Aug 2024 12:27:59 GMT Peter A. Buhr [f125e96] * doc/theses/jiada_liang_MMath/test2.cc (deleted) * doc/theses/jiada_liang_MMath/test20.cfa (deleted) * doc/theses/jiada_liang_MMath/test3.cfa (deleted) remove spurious test files Fri, 09 Aug 2024 03:19:51 GMT JiadaL [acab1bd] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) rephrase enum initialization Fri, 09 Aug 2024 02:39:40 GMT JiadaL [7568e5c] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/test.adb (modified) * doc/theses/jiada_liang_MMath/test.cc (modified) * doc/theses/jiada_liang_MMath/test.go (modified) * doc/theses/jiada_liang_MMath/test.pas (modified) * doc/theses/jiada_liang_MMath/test.py (modified) * doc/theses/jiada_liang_MMath/test.swift (modified) * doc/theses/jiada_liang_MMath/test1.java (modified) Minor update on the thesis (add auto initialization and update future ... Fri, 09 Aug 2024 02:02:34 GMT Peter A. Buhr [c1c0efdb] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.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) last proofread of thesis Thu, 08 Aug 2024 22:12:21 GMT JiadaL [11cced6] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) grammar update and section moved Thu, 08 Aug 2024 21:25:41 GMT JiadaL [c4aca65] * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) Move partial scope to future work Thu, 08 Aug 2024 19:51:52 GMT JiadaL [ab11ab1] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) (Software) grammar check Thu, 08 Aug 2024 19:21:04 GMT JiadaL [5b4c8df] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update comparison table Thu, 08 Aug 2024 17:06:43 GMT JiadaL [a8f44c83] * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Update on comparison table (some checkmark still need to be fixed Wed, 07 Aug 2024 23:07:30 GMT JiadaL [b0069a30] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.tex (moved) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/benchmarks.tex (deleted) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) * doc/theses/jiada_liang_MMath/glossary.tex (deleted) * doc/theses/jiada_liang_MMath/performance.tex (deleted) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 07 Aug 2024 23:07:24 GMT JiadaL [92a0ee8] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) Small thesis unpdate Wed, 07 Aug 2024 22:17:52 GMT Peter A. Buhr [9d3a4cc] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/Cenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) fix PDF warnings about special characters in titles Wed, 07 Aug 2024 22:16:00 GMT Peter A. Buhr [90e7a2f] * doc/theses/jiada_liang_MMath/benchmarks.tex (deleted) * doc/theses/jiada_liang_MMath/glossary.tex (deleted) * doc/theses/jiada_liang_MMath/performance.tex (deleted) remove unused files from repository Wed, 07 Aug 2024 21:43:59 GMT Peter A. Buhr [b9f6a7cd] * doc/theses/jiada_liang_MMath/Cenum.tex (moved) rename file CEnum.tex to Cenum.tex to match CFAenum.tex Wed, 07 Aug 2024 21:36:31 GMT Peter A. Buhr [4c63025] * doc/theses/jiada_liang_MMath/trait.tex (modified) fix duplicate labelling of figures Wed, 07 Aug 2024 21:34:24 GMT Peter A. Buhr [7cb14c9] * doc/theses/jiada_liang_MMath/conclusion.tex (modified) proofread conclusion chapter Wed, 07 Aug 2024 21:33:48 GMT Peter A. Buhr [fd0a9bf9] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) formatting Wed, 07 Aug 2024 13:12:14 GMT Peter A. Buhr [3b10778] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) small proofreading updates Wed, 07 Aug 2024 04:56:31 GMT JiadaL [1d8a349] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) change wording Wed, 07 Aug 2024 04:53:27 GMT JiadaL [f3abce9] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) update subset section Wed, 07 Aug 2024 04:02:49 GMT JiadaL [59fb462] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Add code comment along the example Wed, 07 Aug 2024 03:20:03 GMT JiadaL [43ab5fb] * doc/theses/jiada_liang_MMath/trait.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 07 Aug 2024 03:19:56 GMT JiadaL [63d5b9c8] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * src/Validate/ImplementEnumFunc.cpp (modified) Merge changes Wed, 07 Aug 2024 03:18:33 GMT Peter A. Buhr [5fdaeab1] * doc/theses/jiada_liang_MMath/trait.tex (modified) third attempt proofread trait chapter Wed, 07 Aug 2024 03:16:38 GMT Peter A. Buhr [d7cb0f7] * doc/theses/jiada_liang_MMath/trait.tex (modified) second attempt proofread trait chapter Wed, 07 Aug 2024 03:09:05 GMT Peter A. Buhr [8cb2ff6] * doc/theses/jiada_liang_MMath/trait.tex (modified) proofread trait chapter Tue, 06 Aug 2024 20:13:13 GMT JiadaL [bd686f0] * doc/theses/jiada_liang_MMath/offsetAlgorithm.cc (modified) CFAEnum to CFAEnum conversion algorithm (the previous was enumerator ... Tue, 06 Aug 2024 19:21:21 GMT JiadaL [11f8ff7] * doc/theses/jiada_liang_MMath/user_define_enum.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 06 Aug 2024 19:21:07 GMT JiadaL [d6c5faa2] * doc/theses/jiada_liang_MMath/offsetAlgorithm.cc (added) A demo of offset algorithm used in enum containment inheritance Tue, 06 Aug 2024 18:28:00 GMT Peter A. Buhr [ee2f11f] * doc/theses/jiada_liang_MMath/user_define_enum.cfa (modified) fix user_define_enum.cfa Tue, 06 Aug 2024 17:57:58 GMT JiadaL [efd055c] * doc/theses/jiada_liang_MMath/user_define_enum.cfa (added) user define enum example Tue, 06 Aug 2024 13:49:56 GMT Peter A. Buhr [0c51c8b4] * doc/theses/jiada_liang_MMath/CEnum.tex (modified) * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) formatting, add section of enumeration subset Tue, 06 Aug 2024 08:05:44 GMT JiadaL [af5baae] * doc/theses/jiada_liang_MMath/intro.tex (modified) Wording changes Tue, 06 Aug 2024 08:01:50 GMT JiadaL [96de72b] * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/rangeLoops.cfa (added) * doc/theses/jiada_liang_MMath/trait.tex (modified) 1. Update contribution; 2. update loop subsection; 3. rangeLoops.cfa ... Mon, 05 Aug 2024 13:31:02 GMT Peter A. Buhr [c588acb] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) proofread CFA enumeration chapter Mon, 05 Aug 2024 13:30:13 GMT Peter A. Buhr [94643698] * doc/theses/jiada_liang_MMath/CEnum.tex (modified) add discussion about partially implemented individual scoping mechanism Mon, 05 Aug 2024 13:27:42 GMT Peter A. Buhr [2514d3d7] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) formatting Sun, 04 Aug 2024 16:23:00 GMT Peter A. Buhr [748877f] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/planet.cfa (modified) * tests/errors/.expect/completeType.arm64.txt (modified) * tests/errors/.expect/completeType.x86.txt (modified) * tests/meta/.expect/arch.arm64.txt (modified) * tests/meta/.expect/arch.x86.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sun, 04 Aug 2024 16:22:51 GMT Peter A. Buhr [a57ad8a] * doc/theses/jiada_liang_MMath/CEnum.tex (modified) proofread C Enum chapter Sun, 04 Aug 2024 16:22:17 GMT Peter A. Buhr [503c350] * doc/theses/jiada_liang_MMath/background.tex (modified) move overload material into background chapter Sun, 04 Aug 2024 15:47:20 GMT JiadaL [1697c40] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/planet.cfa (modified) merge local changes Sun, 04 Aug 2024 12:45:45 GMT Peter A. Buhr [d39d8a4] * doc/theses/jiada_liang_MMath/background.tex (modified) proofread background chapter Sun, 04 Aug 2024 12:44:46 GMT Peter A. Buhr [e15293b] * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) display subsubsection numbering and insert into the table of contents Sat, 03 Aug 2024 13:40:56 GMT Peter A. Buhr [433e2c3] * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) proofread thesis frontpgs and intro Fri, 02 Aug 2024 04:32:18 GMT JiadaL [c141c09] * doc/theses/jiada_liang_MMath/CEnum.tex (modified) * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Update Wed, 31 Jul 2024 23:41:21 GMT JiadaL [6740533e] * doc/theses/jiada_liang_MMath/trait.tex (modified) Add a discussion on Static Type information Wed, 31 Jul 2024 03:44:16 GMT JiadaL [21f4dff] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/trait.tex (modified) Add motivation for trait Tue, 30 Jul 2024 22:04:24 GMT JiadaL [9476549] * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) Add abstract and acknoledgement Tue, 30 Jul 2024 20:07:54 GMT JiadaL [fcf3493] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/conclusion.tex (modified) update on thesis Mon, 29 Jul 2024 20:57:03 GMT JiadaL [dd78dbc] * doc/theses/jiada_liang_MMath/CEnum.tex (added) Add CEnum.tex Mon, 29 Jul 2024 20:55:50 GMT JiadaL [09bdf2d] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Add CEnum.tex Mon, 29 Jul 2024 17:37:11 GMT JiadaL [f3d2a4f] * doc/theses/jiada_liang_MMath/trait.tex (moved) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) Rename implementation to trait Mon, 29 Jul 2024 17:32:10 GMT JiadaL [38e20a80] * 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/uw-ethesis.tex (modified) update thesis Wed, 24 Jul 2024 23:11:56 GMT JiadaL [5aeb1a9] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * tests/enum_tests/.expect/input.txt (modified) * tests/enum_tests/input.cfa (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 24 Jul 2024 23:11:32 GMT JiadaL [a03ed29] * doc/LaTeXmacros/lstlang.sty (modified) * doc/proposals/iterators.md (modified) * doc/theses/fangren_yu_MMath/content1.tex (modified) * doc/theses/fangren_yu_MMath/content2.tex (modified) * doc/theses/fangren_yu_MMath/performance.tex (modified) * 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) * src/ControlStruct/HoistControlDecls.cpp (modified) * src/ControlStruct/HoistControlDecls.hpp (modified) * src/main.cpp (modified) * tests/.expect/labelledExit.txt (deleted) * tests/Makefile.am (modified) * tests/ctrl-flow/.expect/fallthrough.txt (moved) * tests/ctrl-flow/.expect/goto.txt (added) * tests/ctrl-flow/.expect/labelledExit.txt (added) * tests/ctrl-flow/fallthrough.cfa (moved) * tests/ctrl-flow/goto.cfa (added) * tests/ctrl-flow/labelledExit.cfa (moved) * tools/prettyprinter/Makefile.am (modified) conclude merge Wed, 24 Jul 2024 22:55:30 GMT Peter A. Buhr [6f47834] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) add section on enumeration I/O Wed, 24 Jul 2024 17:49:16 GMT JiadaL [e561551] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) Save current progress for pull Wed, 24 Jul 2024 15:25:16 GMT Peter A. Buhr [d1276f8] * doc/theses/jiada_liang_MMath/implementation.tex (modified) move enumeration trait material into implementation chapter Wed, 24 Jul 2024 15:24:08 GMT Peter A. Buhr [10a99d87] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) proofread last push of CFA enumerations Wed, 24 Jul 2024 15:21:10 GMT Peter A. Buhr [46651fb] * doc/theses/jiada_liang_MMath/intro.tex (modified) small wording change to enumeration introduction Mon, 15 Jul 2024 17:57:15 GMT JiadaL [09dd830] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) grammar fixed by a dsoftware Mon, 15 Jul 2024 17:33:18 GMT JiadaL [dc1c430] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) update CFAenum.tex Tue, 02 Jul 2024 18:33:25 GMT Peter A. Buhr [c40a982] * doc/theses/jiada_liang_MMath/test1.cfa (modified) change enumeration posE to posn Tue, 02 Jul 2024 18:32:22 GMT Peter A. Buhr [7f8c232] * doc/theses/jiada_liang_MMath/test2.cfa (modified) formatting Fri, 28 Jun 2024 22:12:51 GMT Peter A. Buhr [62a38e7] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/test2.cfa (modified) remove calls to label() from planet program Tue, 25 Jun 2024 17:21:58 GMT Peter A. Buhr [d96d4f0] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) corrections to Pascal discussion Tue, 25 Jun 2024 16:09:24 GMT Peter A. Buhr [f3b67b6] * doc/theses/jiada_liang_MMath/test.ml (modified) * doc/theses/jiada_liang_MMath/test.pas (added) * doc/theses/jiada_liang_MMath/test2.cfa (modified) update test programs for different program languages Tue, 25 Jun 2024 16:05:53 GMT Peter A. Buhr [41f4e2d] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update Pascal enumeration Tue, 25 Jun 2024 16:04:59 GMT Peter A. Buhr [29092213] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) update planet example program Wed, 19 Jun 2024 19:20:39 GMT JiadaL [525f7ad] * doc/theses/jiada_liang_MMath/planet.cfa (added) * libcfa/src/enum.cfa (modified) * libcfa/src/enum.hfa (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (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/ControlStruct/module.mk (modified) * src/Parser/StatementNode.cpp (modified) * src/Parser/StatementNode.hpp (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/main.cpp (modified) 1. Add __count_e__( enum_name ), a pseudo function that return the ... Thu, 13 Jun 2024 19:24:35 GMT Peter A. Buhr [1725989] * doc/theses/jiada_liang_MMath/test.adb (added) * doc/theses/jiada_liang_MMath/test.c (added) * doc/theses/jiada_liang_MMath/test.cc (added) * doc/theses/jiada_liang_MMath/test.cfa (added) * doc/theses/jiada_liang_MMath/test.go (added) * doc/theses/jiada_liang_MMath/test.hs (added) * doc/theses/jiada_liang_MMath/test.java (added) * doc/theses/jiada_liang_MMath/test.ml (added) * doc/theses/jiada_liang_MMath/test.py (added) * doc/theses/jiada_liang_MMath/test.rs (added) * doc/theses/jiada_liang_MMath/test.swift (added) * doc/theses/jiada_liang_MMath/test1.c (added) * doc/theses/jiada_liang_MMath/test1.cc (added) * doc/theses/jiada_liang_MMath/test1.cfa (added) * doc/theses/jiada_liang_MMath/test1.hs (added) * doc/theses/jiada_liang_MMath/test1.java (added) * doc/theses/jiada_liang_MMath/test1.ml (added) * doc/theses/jiada_liang_MMath/test1.rs (added) * doc/theses/jiada_liang_MMath/test2.cc (added) * doc/theses/jiada_liang_MMath/test2.cfa (added) * doc/theses/jiada_liang_MMath/test2.rs (added) * doc/theses/jiada_liang_MMath/test20.cfa (added) * doc/theses/jiada_liang_MMath/test3.cfa (added) * doc/theses/jiada_liang_MMath/testP1.java (added) * doc/theses/jiada_liang_MMath/testP2.java (added) * doc/theses/jiada_liang_MMath/testP3.java (added) add enumeration test programs for different programming languages Wed, 12 Jun 2024 13:21:05 GMT Peter A. Buhr [bc17be98] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) small proofreading changes to Cforall numeration chapter Wed, 12 Jun 2024 13:19:14 GMT Peter A. Buhr [c033405] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) first complete proofread of related-work chapter, still needs ... Wed, 12 Jun 2024 13:16:50 GMT Peter A. Buhr [736a38d] * doc/theses/jiada_liang_MMath/background.tex (modified) more proofreading of C background chapter Wed, 12 Jun 2024 13:14:47 GMT Peter A. Buhr [4c8f29ff] * doc/theses/jiada_liang_MMath/intro.tex (modified) address Gregor's comment about quantity and a unit in examples, add ... Wed, 12 Jun 2024 13:09:12 GMT Peter A. Buhr [3eb5f993] * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) add missing keywords match and case to Python lstnewenvironment Mon, 20 May 2024 00:07:22 GMT JiadaL [e6f1a4b] * doc/proposals/autogen.md (added) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 14 May 2024 22:17:44 GMT Peter A. Buhr [41c4b5e] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) updates related to introduction chapter changes Tue, 14 May 2024 22:14:11 GMT Peter A. Buhr [ccfbfd9] * doc/theses/jiada_liang_MMath/intro.tex (modified) more proofreading with respect to Gregor's comments Mon, 13 May 2024 14:26:59 GMT JiadaL [31f4837] * 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/mike_brooks_MMath/background.tex (modified) * driver/cfa.cc (modified) * libcfa/src/enum.hfa (modified) * src/AST/Decl.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Label.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/LinkageSpec.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Util.cpp (modified) * src/BasicTypes-gen.cpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/CodeGen/FixMain.cpp (moved) * src/CodeGen/FixMain.hpp (moved) * src/CodeGen/FixNames.cpp (moved) * src/CodeGen/FixNames.hpp (moved) * src/CodeGen/GenType.cpp (moved) * src/CodeGen/GenType.hpp (moved) * src/CodeGen/Generate.cpp (moved) * src/CodeGen/Generate.hpp (moved) * src/CodeGen/LinkOnce.cpp (moved) * src/CodeGen/LinkOnce.hpp (moved) * src/CodeGen/OperatorTable.cpp (moved) * src/CodeGen/OperatorTable.hpp (moved) * src/CodeGen/Options.hpp (moved) * src/CodeGen/module.mk (modified) * src/Common/Assert.cpp (moved) * src/Common/CodeLocation.hpp (moved) * src/Common/CodeLocationTools.cpp (modified) * src/Common/DebugMalloc.cpp (moved) * src/Common/DeclStats.cpp (modified) * src/Common/ErrorObjects.hpp (moved) * src/Common/Eval.cpp (moved) * src/Common/Eval.hpp (moved) * src/Common/Examine.cpp (moved) * src/Common/Examine.hpp (moved) * src/Common/FilterCombos.hpp (moved) * src/Common/Indenter.cpp (moved) * src/Common/Indenter.hpp (moved) * src/Common/PersistentMap.hpp (moved) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ScopedMap.hpp (moved) * src/Common/SemanticError.cpp (moved) * src/Common/SemanticError.hpp (moved) * src/Common/Stats.hpp (moved) * src/Common/Stats/Base.hpp (moved) * src/Common/Stats/Counter.cpp (moved) * src/Common/Stats/Counter.hpp (moved) * src/Common/Stats/Heap.cpp (moved) * src/Common/Stats/Heap.hpp (moved) * src/Common/Stats/ResolveTime.cpp (moved) * src/Common/Stats/ResolveTime.hpp (moved) * src/Common/Stats/Stats.cpp (moved) * src/Common/Stats/Time.cpp (moved) * src/Common/Stats/Time.hpp (moved) * src/Common/UniqueName.cpp (moved) * src/Common/UniqueName.hpp (moved) * src/Common/Utility.hpp (moved) * src/Common/VectorMap.hpp (moved) * src/Common/module.mk (modified) * src/CompilationState.cpp (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/Concurrency/Keywords.hpp (moved) * src/Concurrency/Waitfor.cpp (modified) * src/Concurrency/Waitfor.hpp (moved) * src/Concurrency/Waituntil.cpp (modified) * src/Concurrency/Waituntil.hpp (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cpp (modified) * src/ControlStruct/ExceptDecl.hpp (moved) * src/ControlStruct/ExceptTranslate.cpp (modified) * src/ControlStruct/ExceptTranslate.hpp (moved) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cpp (modified) * src/GenPoly/Box.hpp (moved) * src/GenPoly/ErasableScopedMap.hpp (moved) * src/GenPoly/FindFunction.cpp (moved) * src/GenPoly/FindFunction.hpp (moved) * src/GenPoly/GenPoly.cpp (moved) * src/GenPoly/GenPoly.hpp (moved) * src/GenPoly/InstantiateGeneric.cpp (modified) * src/GenPoly/InstantiateGeneric.hpp (moved) * src/GenPoly/Lvalue.cpp (modified) * src/GenPoly/Lvalue.hpp (moved) * src/GenPoly/Lvalue2.cpp (moved) * src/GenPoly/ScopedSet.hpp (moved) * src/GenPoly/ScrubTypeVars.cpp (modified) * src/GenPoly/ScrubTypeVars.hpp (modified) * src/GenPoly/Specialize.cpp (modified) * src/GenPoly/Specialize.hpp (moved) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cpp (moved) * src/InitTweak/FixGlobalInit.hpp (moved) * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/FixInit.hpp (moved) * src/InitTweak/GenInit.cpp (moved) * src/InitTweak/GenInit.hpp (moved) * src/InitTweak/InitTweak.cpp (moved) * src/InitTweak/InitTweak.hpp (moved) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cpp (modified) * src/Makefile.am (modified) * src/Parser/DeclarationNode.cpp (moved) * src/Parser/DeclarationNode.hpp (moved) * src/Parser/ExpressionNode.cpp (moved) * src/Parser/ExpressionNode.hpp (moved) * src/Parser/InitializerNode.cpp (moved) * src/Parser/InitializerNode.hpp (moved) * src/Parser/ParseNode.cpp (moved) * src/Parser/ParseNode.hpp (moved) * src/Parser/ParserTypes.hpp (moved) * src/Parser/ParserUtility.hpp (moved) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cpp (moved) * src/Parser/StatementNode.hpp (moved) * src/Parser/TypeData.cpp (moved) * src/Parser/TypeData.hpp (moved) * src/Parser/TypedefTable.cpp (moved) * src/Parser/TypedefTable.hpp (moved) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cpp (moved) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/CastCost.cpp (moved) * src/ResolvExpr/CastCost.hpp (modified) * src/ResolvExpr/CommonType.cpp (moved) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cpp (moved) * src/ResolvExpr/ConversionCost.hpp (moved) * src/ResolvExpr/Cost.hpp (moved) * src/ResolvExpr/CurrentObject.cpp (moved) * src/ResolvExpr/CurrentObject.hpp (moved) * src/ResolvExpr/ExplodedArg.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/ResolvExpr/FindOpenVars.cpp (moved) * src/ResolvExpr/FindOpenVars.hpp (moved) * src/ResolvExpr/PolyCost.cpp (moved) * src/ResolvExpr/PtrsAssignable.cpp (moved) * src/ResolvExpr/PtrsCastable.cpp (moved) * src/ResolvExpr/RenameVars.cpp (moved) * src/ResolvExpr/RenameVars.hpp (moved) * src/ResolvExpr/ResolveTypeof.cpp (moved) * src/ResolvExpr/ResolveTypeof.hpp (moved) * src/ResolvExpr/Resolver.cpp (moved) * src/ResolvExpr/Resolver.hpp (moved) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cpp (moved) * src/ResolvExpr/Typeops.hpp (moved) * src/ResolvExpr/Unify.cpp (moved) * src/ResolvExpr/Unify.hpp (moved) * src/ResolvExpr/WidenMode.hpp (moved) * src/ResolvExpr/module.mk (modified) * src/SymTab/Demangle.cpp (moved) * src/SymTab/Demangle.hpp (moved) * src/SymTab/FixFunction.cpp (moved) * src/SymTab/FixFunction.hpp (moved) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/SymTab/Mangler.cpp (moved) * src/SymTab/Mangler.hpp (moved) * src/SymTab/ManglerCommon.cpp (moved) * src/SymTab/demangler.cpp (moved) * src/SymTab/module.mk (modified) * src/Tuples/Explode.cpp (moved) * src/Tuples/Explode.hpp (moved) * src/Tuples/TupleAssignment.cpp (moved) * src/Tuples/TupleExpansion.cpp (modified) * src/Tuples/Tuples.cpp (moved) * src/Tuples/Tuples.hpp (moved) * src/Tuples/module.mk (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/CompoundLiteral.cpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/FindSpecialDecls.cpp (modified) * src/Validate/FindSpecialDecls.hpp (moved) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) * src/Validate/ReplacePseudoFunc.hpp (deleted) * src/Validate/ReplaceTypedef.cpp (modified) * src/Validate/VerifyCtorDtorAssign.cpp (modified) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cpp (moved) * src/Virtual/ExpandCasts.hpp (moved) * src/Virtual/Tables.cpp (moved) * src/Virtual/Tables.hpp (moved) * src/Virtual/module.mk (modified) * src/include/cassert (modified) * src/include/optional (modified) * src/main.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 13 May 2024 14:26:52 GMT JiadaL [acb33f15] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Validate/ImplementEnumFunc.cpp (modified) Change enum conversion steps Mon, 13 May 2024 00:42:31 GMT Peter A. Buhr [ec20ab9] * 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) small updates, and more proofreading of the related-works chapter 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