Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 24, 2024

• Merge branch 'anvil-verifier:main' into main

  tianyin

  authored
  bbae0b9

Commits on Oct 17, 2024

• Remove unused consumer and producer toy examples (anvil-verifier#568)

  Show description for de6da5b
  marshtompsxd

  authored
  de6da5b

Commits on Oct 16, 2024

• Fix links pointing to the old repo (anvil-verifier#567)

  Show description for 0138e00
  marshtompsxd

  authored
  0138e00

Commits on Oct 8, 2024

• Model errors of create with generate_name (anvil-verifier#566)

  Show description for 3cc30cf
  marshtompsxd

  authored
  3cc30cf

Commits on Oct 7, 2024

• Clean up unused imports (anvil-verifier#565)

  Show description for 3a52b7a
  marshtompsxd

  authored
  3a52b7a

• Remove the use of init_controller_state (anvil-verifier#564)

  Show description for d835c42
  marshtompsxd

  authored
  d835c42

Commits on Oct 5, 2024

• Connect Reconciler implementation to model to pose proof obligation (anvil-verifier#563)

  Show description for bdef5fc
  marshtompsxd

  authored
  bdef5fc

• Add VDeployment type (anvil-verifier#562)

  Show description for e35aaf4
  marshtompsxd

  authored
  e35aaf4

• Document design choices behind the API server model (anvil-verifier#561)

  Show description for 829b6a6
  marshtompsxd

  authored
  829b6a6

Commits on Oct 4, 2024

• Use option_vec_view (anvil-verifier#559)

  Show description for 7075b47
  marshtompsxd

  authored
  7075b47

• Port shim layer to v2 (anvil-verifier#558)

  Show description for 701a508
  marshtompsxd

  authored
  701a508

Commits on Oct 3, 2024

• Specify VRS state validation rules (anvil-verifier#557)

  Show description for 55aead4
  marshtompsxd

  authored
  55aead4

• Leave to-dos for VReplicaSet controller (anvil-verifier#556)

  Show description for 710a7e6
  marshtompsxd

  authored
  710a7e6

• Use option_view whenever needed (anvil-verifier#555)

  Show description for b12c762
  marshtompsxd

  authored
  b12c762

• Add helper function for installing reconcile model (anvil-verifier#554)

  Show description for 2bc7440
  marshtompsxd

  authored
  2bc7440

• Move the composition toy example to state machine v2 (anvil-verifier#553)

  Show description for 8c41419
  marshtompsxd

  authored
  8c41419

Commits on Oct 2, 2024

• Add delete precondition to V2 state machine for Verified ReplicaSet (anvil-verifier#552)

  Show description for f3fe6d9
  codyjrivera

  authored
  f3fe6d9

• Use regular comment style (anvil-verifier#550)

  Show description for b8f30ad
  marshtompsxd

  authored
  b8f30ad

• Prove key invariants for VReplicaSet possibly involving PodEvent (anvil-verifier#549)

  Show description for 19ab8fc
  codyjrivera

  authored
  19ab8fc

Commits on Sep 30, 2024

• Generalize invariant_n! to take only four parameters (anvil-verifier#548)

  Show description for 51332cf
  marshtompsxd

  authored
  51332cf

Commits on Sep 29, 2024

• Simplify the reconciler trait for v2 (anvil-verifier#547)

  Show description for 4888846
  marshtompsxd

  authored
  4888846

• Set up the ESR proof obligation for v2 VRS controller (anvil-verifier#546)

  Show description for 8a2fc11
  marshtompsxd

  authored
  8a2fc11

• Support preconditions for Delete request (anvil-verifier#545)

  Show description for 52e8753
  marshtompsxd

  authored
  52e8753

Commits on Sep 28, 2024

• Rename cluster_state_machine.rs to cluster.rs (anvil-verifier#543)

  Show description for 9f6a0ff
  marshtompsxd

  authored
  9f6a0ff

• Document unconditional update (anvil-verifier#544)

  Show description for bec4f3c
  marshtompsxd

  authored
  bec4f3c

• Add history variable to the cluster state machine (anvil-verifier#542)

  Show description for d1a2f77
  marshtompsxd

  authored
  d1a2f77

Commits on Sep 27, 2024

• Mirror replicaset controller in v2 (anvil-verifier#541)

  Show description for ae3e192
  marshtompsxd

  authored
  ae3e192

Commits on Sep 24, 2024

• Simplify marshal definitions (anvil-verifier#540)

  Show description for 0a81e05
  marshtompsxd

  authored
  0a81e05

• Simplify Unmarshal error as () (anvil-verifier#539)

  Show description for 23189fa
  marshtompsxd

  authored
  23189fa

• Install VReplicaSet controller into v2 state machine (anvil-verifier#538)

  Show description for ddd766b
  marshtompsxd

  authored
  ddd766b

Commits on Sep 21, 2024

• Port PodMonkey (anvil-verifier#537)

  Show description for 69f3b2b
  marshtompsxd

  authored
  69f3b2b

Commits on Sep 20, 2024

• Prove that there are no pending update or update status requests on pods (anvil-verifier#535)

  Show description for 5d65a02
  codyjrivera

  authored
  5d65a02

Commits on Sep 18, 2024

• Port lemmas on controller eventual safety (anvil-verifier#534)

  Show description for 0fc444e
  marshtompsxd

  authored
  0fc444e

• Port lemmas on transition_validation (anvil-verifier#533)

  Show description for 4dc7896
  marshtompsxd

  authored
  4dc7896

Commits on Sep 17, 2024

• Port lemmas on controller runtime safety (anvil-verifier#532)

  Show description for a26cbd6
  marshtompsxd

  authored
  a26cbd6

Pagination

PreviousNext