Commits

History for

Commits on Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

Commits on Jul 7, 2026

remove rlimit 50 (#815)
Catoverflow
authored
0babe9d

Commits on Jul 5, 2026

update line counting script (#812)
Catoverflow
authored
2e25e80

Commits on Apr 2, 2026

add conformance LOC (#779)
Catoverflow
authored
44d64c9
Add Verification Timing Script (#778)

Catoverflow
and
NikhilSDate
authored
83f4259

Commits on Apr 1, 2026

Prove RabbitMQ ESR (#776)
Catoverflow
authored
46f7c9d

Commits on Mar 31, 2026

Update code structure and add metric script (#775)
Catoverflow
authored
c7a68c4
Migrate RMQ controller to new cluster model (#771)

Catoverflow
and
NikhilSDate
authored
e1698c3

Commits on Mar 27, 2026

add composition class (#773)
Catoverflow
authored
bb6e303

Commits on Mar 24, 2026

Update evaluation scripts (#768)
Catoverflow
authored
924769d

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