8000 Commits · anvil-verifier/anvil · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on May 13, 2025

Remove admission controller verification from CI
marshtompsxd
committed

Commits on May 11, 2025

Reduce boilerplate code using macro (#623)
marshtompsxd
authored

Commits on May 10, 2025

Commits on May 9, 2025

Build and verify VStatefulSet admission controller (#617)

authored

Commits on May 6, 2025

Make docker builder optional, and simplify local test step (#619)
Catoverflow
authored

Commits on May 3, 2025

Specify guarantee-condition for VReplicaSet controller (#616)
codyjrivera
authored

Commits on May 1, 2025

Commits on Apr 25, 2025

Modularize Rely-Condition for VRS (#612)
codyjrivera
authored

Commits on Apr 23, 2025

Rename `set_x`/`unset_x` spec functions to `with_x`/`without_x` (#609)
Catoverflow
authored

Commits on Apr 22, 2025

Specification of Rely-Condition for VReplicaSet (#607)
codyjrivera
authored

Commits on Apr 21, 2025

Delete deprecated VRS controller (#608)
marshtompsxd
authored

Commits on Apr 17, 2025

Commits on Apr 12, 2025

Commits on Apr 9, 2025

Refactor the VRS admission controller to use verified admission logic (#600)

authored

Commits on Mar 31, 2025

Split admission controller code for verification (#598)

agrama64
and
fredred375
authored

Commits on Mar 16, 2025

ci: add build-vreplicaset-admission-controller to controller build workflow (#597)
fredred375
authored

Commits on Mar 14, 2025

Support finishing reconcile if vrs.metadata.deletion_timestamp is detected (#596)
Catoverflow
authored

Commits on Mar 13, 2025

Add proofs for delete-related invariants (#595)
codyjrivera
authored

Commits on Mar 11, 2025

Add admission logic to v_replica_set_controller (#593)

fredred375
and
agrama64
authored

Commits on Mar 7, 2025

Commits on Feb 27, 2025

Prove `lemma_filtered_pods_set_equals_matching_pods` (#587)

Catoverflow
and
codyjrivera
authored

Commits on Feb 25, 2025

Simplify the proof of `lemma_always_each_object_in_etcd_has_at_most_one_controller_owner` and `lemma_always_etcd_is_finite` (#591)
Catoverflow
authored

Commits on Feb 21, 2025

lemma_always_each_object_in_etcd_has_at_most_one_controller_owner proved (#589)
Catoverflow
authored

Commits on Feb 15, 2025

Add new lemma stating all reconciles will eventually satisfy a set of requirements (#580)
codyjrivera
authored

Commits on Feb 11, 2025

Update to newest verus version (#588)
ahuoguo
authored

Commits on Feb 5, 2025

Proved `seq_map_value_lemma` (#585)
Catoverflow
authored

Commits on Feb 3, 2025

Prove some basic lemmas about reconcile_id (#586)
codyjrivera
authored

Commits on Jan 31, 2025

0