verus_state_machines_macros
v0.0.0-2026-05-31-0205crates.io· RustVerus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
4.1K downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.0.0-2026-05-31-0205this month
- 0.0.0-2026-05-24-0157this month
- 0.0.0-2026-05-10-0145this month
- 0.0.0-2026-05-06-1803this month
- 0.0.0-2026-04-20-17481 month ago
- 0.0.0-2026-04-19-01211 month ago
- 0.0.0-2026-04-05-01141 month ago
- 0.0.0-2026-03-15-01113 months ago