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

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

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

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 (#762)
Catoverflow
authored
e2d19fd

Commits on Mar 17, 2026

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

Commits on Mar 4, 2026

Add prefix to VRS rely conditions (#754)
NikhilSDate
authored
3c9f351
Support "transactional" Get-then-UpdateStatus (#753)
Catoverflow
authored
a25769b

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 17, 2025

Implement vstatefulset_controller (#706)
NikhilSDate
authored
460f53b

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

Remove pub_mod (#710)
Catoverflow
authored
806c9aa

Commits on Nov 11, 2025

Add Composition Framework Implementation for VRS and VD controllers (#709)
Catoverflow
authored
32e33d6

Commits on Oct 22, 2025

fix: replace map_values_to_set_eq_to_set_mk_map_values with lemma_to_set_map_commutes (#699)
NikhilSDate
authored
1d657a7

Commits on Oct 18, 2025

Complete WF reasoning for VD controller (#695)

Catoverflow
and
codyjrivera
authored
3d209ff

Commits on Aug 16, 2025

Simplify `ResourceView` implementation using `implement_resource_view_trait` macro (#692)
marshtompsxd
authored
9992545

Commits on Aug 15, 2025

Move `implement_resource_wrapper_trait` into `implement_field_wrapper_type` macro (#691)
marshtompsxd
authored
65bae41

Commits on Aug 11, 2025

Commits on Aug 9, 2025

Retire `option_vec_view` (#681)
marshtompsxd
authored
baf62ce