Timeline



Jun 10, 2025:

5:22 PM Changeset [2214e81]stuck-waitfor-destruct by Peter A. Buhr <pabuhr@…>
move word test programs under tests directory
5:19 PM Changeset [a17f496]stuck-waitfor-destruct by Peter A. Buhr <pabuhr@…>
proofread Section 5.4.4

Jun 6, 2025:

6:38 AM Changeset [9c1880b]stuck-waitfor-destruct by Peter A. Buhr <pabuhr@…>
remove temporary ARM fix from stdhdr/math.h

Jun 5, 2025:

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

Jun 4, 2025:

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

May 29, 2025:

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

May 28, 2025:

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

May 27, 2025:

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

May 21, 2025:

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

May 20, 2025:

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

May 19, 2025:

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

May 18, 2025:

8:52 PM Changeset [e25b30b]stuck-waitfor-destruct by Fangren Yu <f37yu@…>
acknowledgement page
11:24 AM Changeset [1e28e05]stuck-waitfor-destruct by Peter A. Buhr <pabuhr@…>
update enumerator input test
8:26 AM Changeset [0528d79]stuck-waitfor-destruct by Peter A. Buhr <pabuhr@…>
fix bugs reading enumerators
Note: See TracTimeline for information about the timeline view.