Commits

History for

Commits on Apr 12, 2024

Add the document for AE (#470)
marshtompsxd
authored
6f1c62c
Print the LoC and time results as tables (#469)
marshtompsxd
authored
d3d80f9

Commits on Apr 11, 2024

Add the script for reproducing verification results (#467)
marshtompsxd
authored
a4afd40

Commits on Dec 19, 2023

Counting scripts, unit tests and cargo updates from uiuc repo (#443)

marshtompsxd
and
ZichengMa
authored
79aafe7

Commits on Nov 22, 2023

More scripts for counting lines and times (#428)
marshtompsxd
authored
318bdaa

Commits on Nov 19, 2023

Count unit tests (#422)

ZichengMa
and
euclidgame
authored
55f6e0d

Commits on Nov 18, 2023

Update line counting tool (#423)
marshtompsxd
authored
5e00457

Commits on Nov 12, 2023

Count code for wrappers and invariants (#411)
marshtompsxd
authored
c6bcef4

Commits on Oct 30, 2023

Move counting tools to `tools/` (#398)
marshtompsxd
authored
b2d1a34

Loading