Commits

History for

Commits on Sep 29, 2026

Simplify vd rolling update proofs (#829)

Catoverflow
and
claude
authored
6a63fe3

Commits on Sep 22, 2026

Give rabbitmq resource_match not-found lemma an rlimit budget (#828)

Catoverflow
and
claude
authored
8398ca3

Commits on Sep 7, 2026

Use index-form quantifiers instead of Seq::contains (#827)

Catoverflow
and
claude
authored
df60d76

Commits on Sep 6, 2026

Add a generic vec_filter and drop the hand-written filter loops (#826)

Catoverflow
and
claude
authored
5a94665
Improve proofs stability and performance (#825)

Catoverflow
and
claude
authored
66aa9c6

Commits on Sep 5, 2026

Bump Rust toolchain version to `1.98.0` and fix rlimit errors (#824)

Catoverflow
and
claude
authored
2edac69

Commits on Aug 24, 2026

Verify VSTS get ordinal (#822)

Catoverflow
and
claude
authored
f874062

Commits on Aug 3, 2026

Proof stabilization needed for the upgrade to Z3 4.16.0 (#820)

authored
febab3b

Commits on Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

Commits on Jul 25, 2026

add rlimit (#818)
Catoverflow
authored
9f3ef2c

Commits on Jul 7, 2026

Speed up proofs (#813)

Catoverflow
and
claude
authored
114fda0

Commits on Jul 2, 2026

Use verus tla (#809)
Catoverflow
authored
f9cc8c0

Commits on Jun 30, 2026

Migrate to `cargo verus` (#800)
Catoverflow
authored
0cd9f9f

Commits on Jun 10, 2026

Adapt to finite map (#802)
Catoverflow
authored
aa72ead

Commits on May 8, 2026

Update proof approach of RMQ controller (#798)
Catoverflow
authored
cc8ab6a

Commits on Apr 26, 2026

Weaken gc lemma preconditions (#797)
Catoverflow
authored
dd27242

Commits on Apr 23, 2026

Clean up CORE (#796)
Catoverflow
authored
6ab6ff6

Commits on Apr 17, 2026

Refactor composition (#791)
NikhilSDate
authored
dac86c6

Commits on Apr 16, 2026

Fix performance regression (#790)
Catoverflow
authored
825d1f8
Use the most recent version of Verus in CI (#789)
Catoverflow
authored
4fbff88
Simplify composition (#787)
NikhilSDate
authored
9a08e12

Commits on Apr 14, 2026

Add rlimit and spinoff_prover attribute (#788)
Catoverflow
authored
221249b

Commits on Apr 13, 2026

Cleanup VSTS controller proofs (#786)
Catoverflow
authored
c8688d1
Cleanup RMQ controller (#785)
Catoverflow
authored
6ce6f71

Commits on Apr 12, 2026

Remove unused GC lemmas in VSTS proofs (#784)
Catoverflow
authored
837054e

Commits on Apr 8, 2026

update_storage (#783)
NikhilSDate
authored
b16b70b
Clean Up VDeployment controller (#782)
Catoverflow
authored
505feb0

Commits on Apr 6, 2026

Cleanup proofs in VSTS controller (#781)
Catoverflow
authored
97a82d0

Commits on Apr 4, 2026

Fix VSTS GC lemma (#780)
Catoverflow
authored
3fc0c6e

Commits on Apr 2, 2026

Vsts composition (#777)

Catoverflow
and
NikhilSDate
authored
9eddfbf

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

Fix broken proofs (#772)
Catoverflow
authored
cde37c6

Commits on Mar 24, 2026

Prove/compose new VSTS invariants (#769)
NikhilSDate
authored
09ed10c