verus_state_machines_macros
Verified Rust for low-level systems code
View on Github
Activity
- Latest release
- 1w ago
- Total releases
- 23
- Cadence
- ~11 days
- Last 12 months
- 22
Reach
- Downloads
- 232.9k
- Stars
- 3.0k
Details
- License
- MIT
- First release
- Aug 22, 2025
Releases
| Version | Released | |
|---|---|---|
0.0.0-2026-09-06-0133
pre
| ||
0.0.0-2026-08-02-0125
pre
| ||
0.0.0-2026-07-27-0206
pre
| ||
0.0.0-2026-06-14-0213
pre
| ||
0.0.0-2026-05-31-0205
pre
| ||
0.0.0-2026-05-24-0157
pre
| ||
0.0.0-2026-05-10-0145
pre
| ||
0.0.0-2026-05-06-1803
pre
| ||
0.0.0-2026-04-20-1748
pre
| ||
0.0.0-2026-04-19-0121
pre
| ||
0.0.0-2026-04-05-0114
pre
| ||
0.0.0-2026-03-15-0111
pre
| ||
0.0.0-2026-03-01-0109
pre
| ||
0.0.0-2026-02-24-1505
pre
| ||
0.0.0-2026-02-15-0106
pre
| ||
0.0.0-2026-02-08-0120
pre
| ||
0.0.0-2026-01-25-0057
pre
| ||
0.0.0-2025-11-23-0053
pre
| ||
0.0.0-2025-11-16-0050
pre
| ||
0.0.0-2025-11-10-1957
pre
| ||
0.0.0-2025-11-09-0048
pre
| ||
0.0.0-2025-11-05-1950
pre
| ||
0.0.0-2025-08-12-1837
pre
|