Commits

History for

Commits on Sep 29, 2026

Simplify vd rolling update proofs (#829)

Catoverflow
and
claude
authored
6a63fe3

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

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

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 Mar 31, 2026

Update code structure and add metric script (#775)
Catoverflow
authored
c7a68c4

Commits on Mar 27, 2026

Fix broken proofs (#772)
Catoverflow
authored
cde37c6

Commits on Mar 23, 2026

Fix top level composition proofs (#767)
Catoverflow
authored
6f416fc

Commits on Mar 18, 2026

Fix broken proofs (#764)
Catoverflow
authored
eeb2672
Fix broken proofs (#762)
Catoverflow
authored
e2d19fd

Commits on Mar 17, 2026

Add rolling update to VD controller (#760)
Catoverflow
authored
2d6b20b

Commits on Mar 4, 2026

Support "transactional" Get-then-UpdateStatus (#753)
Catoverflow
authored
a25769b

Commits on Jan 27, 2026

WF proofs for VSTS controller (#740)
Catoverflow
authored
dadfa5d

Commits on Jan 26, 2026

Invariant composition for VSTS (#739)
NikhilSDate
authored
c7c44cb

Commits on Jan 5, 2026

Prove VSTS non-interference lemma (#729)
Catoverflow
authored
0380b77

Commits on Dec 26, 2025

Add Rely-Guarantee & ESR conditions for VStatefulSet controller (#721)
Catoverflow
authored
79aac80

Commits on Dec 18, 2025

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

Commits on Dec 16, 2025

Fix Broken Proofs (#716)
Catoverflow
authored
43760cb

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 Nov 11, 2025

Commits on Nov 2, 2025

Reduce Verus Warning (#707)
Catoverflow
authored
fdfdc9f