Sign in Sign up
cargo

hax-frontend-exporter

A Rust verification tool

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
17
Cadence
~41 days
Last 12 months
6

Reach

Downloads
11.1k
Stars
479

Details

License
Apache-2.0
First release
Oct 23, 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.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