Commits

History for

Commits on Mar 12, 2024

Bump Verus version (#461)
marshtompsxd
authored
4d12d81

Commits on Nov 22, 2023

Make the format of proofs and specs consistent (#427)
euclidgame
authored
08d3bb0

Commits on Oct 26, 2023

Remove redundant tla lemmas (#394)
marshtompsxd
authored
4645952

Commits on Jun 30, 2023

Simplify reasoning about schedule_controller_reconcile (#159)
marshtompsxd
authored
8ee6086

Commits on Jun 26, 2023

Switch from vstd option, result and vec to std ones (#148)
marshtompsxd
authored
7f7fbd5

Commits on Apr 13, 2023

Migrate to Verus main_new (#92)
tchajed
authored
eb9ef16

Commits on Mar 2, 2023

Replace === with == (#69)
marshtompsxd
authored
b5d4565

Commits on Mar 1, 2023

Fix the broken tla example by moving MessageOps out of state_machine
marshtompsxd
committed
13228e0

Commits on Feb 28, 2023

Revise network model: at-most-once delivery and multiset for in-flight messages (#67)
marshtompsxd
authored
271c653

Commits on Jan 20, 2023

Restructure folder layout
marshtompsxd
committed
23aadba

Loading