Commits

History for

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 Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

Commits on Jul 23, 2026

Update vstd to 0.0.0-2026-07-12-0122 and pin Verus release in CI (#817)
Catoverflow
authored
3c95bbb

Commits on Jul 8, 2026

Merge parallel verification CI (#816)
Catoverflow
authored
468dc44

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 Jul 1, 2026

ci: cache vstd compilation across verification jobs (#807)

Catoverflow
and
claude
authored
a5ccead
update CI/doc for cargo verus (#806)

Catoverflow
and
claude
authored
b1d8635

Commits on Jun 30, 2026

Migrate to `cargo verus` (#800)
Catoverflow
authored
0cd9f9f

Commits on Apr 19, 2026

Use the most recent Verus release in controller build CI (#794)
Catoverflow
authored
52741e8

Commits on Apr 16, 2026

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

Commits on Mar 12, 2026

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

Commits on Mar 11, 2026

Add VSTS/RabbitMQ controller build config (#757)
Catoverflow
authored
4e2e64a

Commits on Jan 30, 2026

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

Commits on Jan 7, 2026

Add e2e test for VSTS controller (#734)
Catoverflow
authored
2d40a48

Commits on Dec 17, 2025

Implement vstatefulset_controller (#706)
NikhilSDate
authored
460f53b

Commits on Dec 11, 2025

Fix Controller Publish Scripts (#715)
Catoverflow
authored
cb2ffcf

Commits on Dec 10, 2025

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

Commits on Nov 11, 2025

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

Commits on Aug 11, 2025

Avoid verifying Anvil built-in lemmas repeatedly (#684)
marshtompsxd
authored
032085e

Commits on Jul 14, 2025

Fix wrong name of the CI workflow (#673)
marshtompsxd
authored
ed3d0b0

Commits on Jul 13, 2025

Add a demo for TLA liveness proof (#672)
marshtompsxd
authored
76b9df4

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

Commits on May 30, 2025

Update Verus Version to 3b6b805ac (#641)
Catoverflow
authored
102f313

Commits on May 17, 2025

Build and verify VDeployment admission controller (#618)

authored
555a54d

Commits on May 15, 2025

Implement (simplified) Deployment controller and its model (#611)

Catoverflow
and
codyjrivera
authored
eb373de

Commits on May 13, 2025

Remove admission controller verification from CI (#627)
marshtompsxd
authored
d6f78c7

Commits on May 10, 2025

Commits on May 9, 2025

Build and verify VStatefulSet admission controller (#617)

authored
a6a8b69

Commits on May 6, 2025

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

Commits on Apr 21, 2025

Delete deprecated VRS controller (#608)
marshtompsxd
authored
a5c0417

Commits on Apr 17, 2025

Add e2e tests for V2 VReplicaSet (#606)
codyjrivera
authored
45eb505
Move admission controller files to v2 (#605)
agrama64
authored
1399aa1