verus_state_machines_macros v0.0.0-2026-10-11-0230 — Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines

Sign in to join the discussion — your thebay.events account works here.