Timeline



Jun 5, 2025:

10:48 PM Changeset [a405983] by Peter A. Buhr <pabuhr@…>
temporarily remove checking for keyword exception in math.h
10:48 PM Changeset [8236f00] by Peter A. Buhr <pabuhr@…>
remove lexing ARM vector floating-point type names
10:47 PM Changeset [f858ca5] by Peter A. Buhr <pabuhr@…>
make printing ARM vector floating-point types conditional on …

Jun 4, 2025:

1:43 PM Changeset [e0350e0] by Michael Brooks <mlbrooks@…>
Recent rework of string benchmarks

May 29, 2025:

6:09 AM Changeset [c8bdbaf] by Peter A. Buhr <pabuhr@…>
add Hertz05.pdf paper, and rename Ahlander05.pdf

May 28, 2025:

11:59 AM Changeset [b7f8cadb] by Peter A. Buhr <pabuhr@…>
add directory for non-CFA test programs

May 27, 2025:

3:44 PM Changeset [7592f42] by Peter A. Buhr <pabuhr@…>
update text formatting macros
3:43 PM Changeset [b66a298] by Peter A. Buhr <pabuhr@…>
add citation for dependent types
3:43 PM Changeset [8d049ad] by Peter A. Buhr <pabuhr@…>
remove unnecessary formatting files
3:35 PM Changeset [cecb260] by Peter A. Buhr <pabuhr@…>
proofread array chapter

May 21, 2025:

10:05 PM Changeset [1a40870] by Peter A. Buhr <pabuhr@…>
formatting
1:38 PM Changeset [99fc978] by Peter A. Buhr <pabuhr@…>
fix parsing problem with array bound and assertion list, set up …

May 20, 2025:

2:40 PM Changeset [d92bc97] by Peter A. Buhr <pabuhr@…>
add Scala overloading test-program
10:26 AM Changeset [a7b78c3] by Peter A. Buhr <pabuhr@…>
remove unnecessary PAB markers
7:09 AM Changeset [4791307] by Peter A. Buhr <pabuhr@…>
remove unnecessary PAB markers, and proofread added text on code …
12:22 AM Changeset [00ad2a0] by Fangren Yu <f37yu@…>
add a paragraph to explain an optimization for resolving unbound assertions

May 19, 2025:

3:01 PM Changeset [206f4cf] by Fangren Yu <f37yu@…>
proofreading fixes
11:23 AM Changeset [8b3109b] by Peter A. Buhr <pabuhr@…>
proofread background chapter
11:21 AM Changeset [4d542db] by Peter A. Buhr <pabuhr@…>
fix citation error

May 18, 2025:

8:52 PM Changeset [e25b30b] by Fangren Yu <f37yu@…>
acknowledgement page
11:24 AM Changeset [1e28e05] by Peter A. Buhr <pabuhr@…>
update enumerator input test
8:26 AM Changeset [0528d79] by Peter A. Buhr <pabuhr@…>
fix bugs reading enumerators

May 13, 2025:

1:17 PM Changeset [bd72f517] by Mike Brooks <mlbrooks@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
1:17 PM Changeset [7d02d35] by Mike Brooks <mlbrooks@…>
Include benchmark changes for data production in string-plot data WIP. …
12:54 PM Changeset [2410424] by Michael Brooks <mlbrooks@…>
Pushing work in progress on data for string plots. All in-thesis …

May 12, 2025:

8:59 PM Changeset [edd11bd] by Peter A. Buhr <pabuhr@…>
add identification information
8:33 PM Changeset [8fe7a85] by Fangren Yu <f37yu@…>
proofreading changes from Gregor
4:15 PM Changeset [98c77b2] by Peter A. Buhr <pabuhr@…>
fixed paragraph in intro

May 11, 2025:

10:19 PM Changeset [1e7e6f38] by Peter A. Buhr <pabuhr@…>
proofread intro chapter
10:18 PM Changeset [9a1aec6] by Peter A. Buhr <pabuhr@…>
add citations for operator and function overloading
10:17 PM Changeset [fa29dfc] by Peter A. Buhr <pabuhr@…>
add citation for M4

May 8, 2025:

6:39 PM Changeset [ed0a7e5] by Michael Leslie Brooks <mlbrooks@…>
Update figure with visual emphasis on which wedges touch the shaded band

May 7, 2025:

9:48 PM Changeset [579427b] by Peter A. Buhr <pabuhr@…>
half way through proofreading array chapter
9:47 PM Changeset [2c065ed] by Peter A. Buhr <pabuhr@…>
add valgrind citation
9:46 PM Changeset [b22b28e] by Peter A. Buhr <pabuhr@…>
new checking for empty optional parameters in latex macros
Note: See TracTimeline for information about the timeline view.