Commits

History for

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 Apr 23, 2026

Clean up CORE (#796)
Catoverflow
authored
6ab6ff6

Commits on Apr 17, 2026

Refactor composition (#791)
NikhilSDate
authored
dac86c6

Commits on Apr 16, 2026

Simplify composition (#787)
NikhilSDate
authored
9a08e12

Commits on Apr 13, 2026

Cleanup VSTS controller proofs (#786)
Catoverflow
authored
c8688d1
Cleanup RMQ controller (#785)
Catoverflow
authored
6ce6f71

Commits on Apr 2, 2026

Vsts composition (#777)

Catoverflow
and
NikhilSDate
authored
9eddfbf

Commits on Apr 1, 2026

Prove RabbitMQ ESR (#776)
Catoverflow
authored
46f7c9d

Commits on Mar 31, 2026

Update code structure and add metric script (#775)
Catoverflow
authored
c7a68c4
Migrate RMQ controller to new cluster model (#771)

Catoverflow
and
NikhilSDate
authored
e1698c3

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

Compose all 4 controllers (#755)
NikhilSDate
authored
92bbabc

Commits on Mar 4, 2026

Add prefix to VRS rely conditions (#754)
NikhilSDate
authored
3c9f351

Commits on Feb 26, 2026

Prove VSTS controller invariants (#751)
Catoverflow
authored
15d14bf
RMQ + VSTS Composition (#750)
NikhilSDate
authored
0bc828e

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

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

Loading