Sign in Sign up
cargo

hax-frontend-exporter

A Rust verification tool

cargo View on Cargo github View on Github

Activity

Latest release
4w ago
Total releases
19
Cadence
~37 days
Last 12 months
7

Reach

Downloads
11.2k
Stars
484

Details

License
Apache-2.0
First release
Oct 23, 2023
Releases
Version Released
0.4.2 patch
0.4.1 patch
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.2 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.1.0-alpha unknown
0.1.0-pre.1 unknown yanked