Sign in Sign up
cargo

cargo-hax

A Rust verification tool

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
15
Cadence
~2 months
Last 12 months
6

Reach

Downloads
6.9k
Stars
479

Details

License
Apache-2.0
First release
May 24, 2023
Releases
Version Released
0.4.0 minor
0.4.0-rc.2 pre
0.4.0-rc.1 pre
0.3.7 unknown
0.3.6 unknown
0.3.5 unknown
0.3.4 unknown
0.3.3 unknown
0.3.1 unknown
0.3.0 unknown
0.2.0 unknown
0.1.0 unknown
0.1.0-rc.1 unknown
0.1.0-alpha.1 unknown
0.0.0 unknown yanked