Timeline
Jun 5, 2025:
- 10:48 PM Changeset [a405983]stuck-waitfor-destruct by
- temporarily remove checking for keyword exception in math.h
- 10:48 PM Changeset [8236f00]stuck-waitfor-destruct by
- remove lexing ARM vector floating-point type names
- 10:47 PM Changeset [f858ca5]stuck-waitfor-destruct by
- make printing ARM vector floating-point types conditional on …
Jun 4, 2025:
- 1:43 PM Changeset [e0350e0]stuck-waitfor-destruct by
- Recent rework of string benchmarks
May 29, 2025:
- 6:09 AM Changeset [c8bdbaf]stuck-waitfor-destruct by
- add Hertz05.pdf paper, and rename Ahlander05.pdf
May 28, 2025:
- 11:59 AM Changeset [b7f8cadb]stuck-waitfor-destruct by
- add directory for non-CFA test programs
May 27, 2025:
- 3:44 PM Changeset [7592f42]stuck-waitfor-destruct by
- update text formatting macros
- 3:43 PM Changeset [b66a298]stuck-waitfor-destruct by
- add citation for dependent types
- 3:43 PM Changeset [8d049ad]stuck-waitfor-destruct by
- remove unnecessary formatting files
- 3:35 PM Changeset [cecb260]stuck-waitfor-destruct by
- proofread array chapter
May 21, 2025:
- 10:05 PM Changeset [1a40870]stuck-waitfor-destruct by
- formatting
- 1:38 PM Changeset [99fc978]stuck-waitfor-destruct by
- fix parsing problem with array bound and assertion list, set up …
May 20, 2025:
- 2:40 PM Changeset [d92bc97]stuck-waitfor-destruct by
- add Scala overloading test-program
- 10:26 AM Changeset [a7b78c3]stuck-waitfor-destruct by
- remove unnecessary PAB markers
- 7:09 AM Changeset [4791307]stuck-waitfor-destruct by
- remove unnecessary PAB markers, and proofread added text on code …
- 12:22 AM Changeset [00ad2a0]stuck-waitfor-destruct by
- add a paragraph to explain an optimization for resolving unbound assertions
May 19, 2025:
- 3:01 PM Changeset [206f4cf]stuck-waitfor-destruct by
- proofreading fixes
- 11:23 AM Changeset [8b3109b]stuck-waitfor-destruct by
- proofread background chapter
- 11:21 AM Changeset [4d542db]stuck-waitfor-destruct by
- fix citation error
May 18, 2025:
- 8:52 PM Changeset [e25b30b]stuck-waitfor-destruct by
- acknowledgement page
- 11:24 AM Changeset [1e28e05]stuck-waitfor-destruct by
- update enumerator input test
- 8:26 AM Changeset [0528d79]stuck-waitfor-destruct by
- fix bugs reading enumerators
May 13, 2025:
- 1:17 PM Changeset [bd72f517]stuck-waitfor-destruct by
- Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
- 1:17 PM Changeset [7d02d35]stuck-waitfor-destruct by
- Include benchmark changes for data production in string-plot data WIP. …
- 12:54 PM Changeset [2410424]stuck-waitfor-destruct by
- Pushing work in progress on data for string plots. All in-thesis …
May 12, 2025:
- 8:59 PM Changeset [edd11bd]stuck-waitfor-destruct by
- add identification information
- 8:33 PM Changeset [8fe7a85]stuck-waitfor-destruct by
- proofreading changes from Gregor
- 4:15 PM Changeset [98c77b2]stuck-waitfor-destruct by
- fixed paragraph in intro
May 11, 2025:
- 10:19 PM Changeset [1e7e6f38]stuck-waitfor-destruct by
- proofread intro chapter
- 10:18 PM Changeset [9a1aec6]stuck-waitfor-destruct by
- add citations for operator and function overloading
- 10:17 PM Changeset [fa29dfc]stuck-waitfor-destruct by
- add citation for M4
May 8, 2025:
- 6:39 PM Changeset [ed0a7e5]stuck-waitfor-destruct by
- Update figure with visual emphasis on which wedges touch the shaded band
May 7, 2025:
- 9:48 PM Changeset [579427b]stuck-waitfor-destruct by
- half way through proofreading array chapter
- 9:47 PM Changeset [2c065ed]stuck-waitfor-destruct by
- add valgrind citation
- 9:46 PM Changeset [b22b28e]stuck-waitfor-destruct by
- new checking for empty optional parameters in latex macros
Note:
See TracTimeline
for information about the timeline view.
