kani-verifier
A bit-precise model checker for Rust.
Activity
- Latest release
- 1mo ago
- Total releases
- 70
- Cadence
- ~15 days
- Last 12 months
- 3
Reach
- Downloads
- 590.8k
Details
- License
- MIT OR Apache-2.0
- First release
- Jan 19, 2022
Releases
| Version | Released | |
|---|---|---|
0.68.0
minor
| ||
0.67.0
unknown
| ||
0.66.0
unknown
| ||
0.65.0
unknown
| ||
0.64.0
unknown
| ||
0.63.0
unknown
| ||
0.62.0
unknown
| ||
0.61.0
unknown
| ||
0.60.0
unknown
| ||
0.59.0
unknown
| ||
0.58.0
unknown
| ||
0.57.0
unknown
| ||
0.56.0
unknown
| ||
0.55.0
unknown
| ||
0.54.0
unknown
| ||
0.53.0
unknown
| ||
0.52.0
unknown
| ||
0.51.0
unknown
| ||
0.50.0
unknown
| ||
0.49.0
unknown
| ||
0.48.0
unknown
| ||
0.47.0
unknown
| ||
0.46.0
unknown
| ||
0.45.0
unknown
| ||
0.44.0
unknown
| ||
0.43.0
unknown
| ||
0.42.0
unknown
| ||
0.41.0
unknown
| ||
0.40.0
unknown
| ||
0.39.0
unknown
| ||
0.38.0
unknown
| ||
0.37.0
unknown
| ||
0.36.0
unknown
| ||
0.35.0
unknown
| ||
0.34.0
unknown
| ||
0.33.0
unknown
| ||
0.32.0
unknown
| ||
0.31.0
unknown
| ||
0.30.0
unknown
| ||
0.29.0
unknown
| ||
0.28.0
unknown
| ||
0.27.0
unknown
| ||
0.26.0
unknown
| ||
0.25.0
unknown
| ||
0.24.0
unknown
| ||
0.23.0
unknown
| ||
0.22.0
unknown
| ||
0.21.0
unknown
| ||
0.20.0
unknown
| ||
0.19.0
unknown
|
1–50 of 70