creusot-std
Standard library of Creusot: provides specification macros, contracts for Rust standard library and logic helpers
Activity
- Latest release
- 2w ago
- Total releases
- 6
- Cadence
- ~2 months
- Last 12 months
- 6
Details
- License
- unknown
- First release
- Jan 10, 2026
Releases
| Version | Released | |
|---|---|---|
0.14.0
minor
| ||
0.13.0
unknown
| ||
0.12.0
unknown
| ||
0.11.0
unknown
| ||
0.10.0
unknown
| ||
0.9.0
unknown
|