Commits

History for

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

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 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 16, 2026

Use the most recent version of Verus in CI (#789)
Catoverflow
authored
4fbff88

Commits on Apr 13, 2026

Cleanup RMQ controller (#785)
Catoverflow
authored
6ce6f71

Commits on Apr 8, 2026

Clean Up VDeployment controller (#782)
Catoverflow
authored
505feb0

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 12, 2026

Add Rabbitmq e2e tests (#758)
Catoverflow
authored
30e6870

Commits on Mar 4, 2026

Add prefix to VRS rely conditions (#754)
NikhilSDate
authored
3c9f351

Commits on Feb 26, 2026

RMQ + VSTS Composition (#750)
NikhilSDate
authored
0bc828e

Commits on Feb 10, 2026

Add Rely Conditions for RMQ Controller (#749)
NikhilSDate
authored
2d46eac

Commits on Feb 3, 2026

Port RabbitMQ termination proof (#745)
NikhilSDate
authored
bc14e5e

Commits on Jan 31, 2026

Port RabbitMQ exec code and conformance proofs to CAnvil (#744)
NikhilSDate
authored
20738b2

Commits on Jan 30, 2026

Port RabbitMQ controller model to CAnvil (#743)
NikhilSDate
authored
981300f

Commits on Dec 18, 2025

Init Vstatefulset Proof Framework (#717)
Catoverflow
authored
31592ab

Commits on Dec 10, 2025

Bump Verus Release to 0.2025.11.30.840fa61 (#712)
Catoverflow
authored
a65d68c

Commits on Dec 6, 2025

Prove VDeployment Controller's ESR composition (#711)
Catoverflow
authored
0814560

Commits on Jul 8, 2025

Update Verus version to Release/0.2025.07.05.8bd7c32 (#664)
Catoverflow
authored
bc9d621

Commits on Jun 23, 2025

Remove V2 (#650)
Catoverflow
authored
a27a595

Loading