Compatible with Coq 8.17, 8.18; requires OCaml >= 4.08
We now generate single unified fiat_crypto binaries which can synthesize according to all the various implementation strategies.
What's Changed
- Rust Crate Version Bump by @github-actions in #1731
- Single Binaries by @JasonGross in #1730
Full Changelog: v0.0.26...v0.1.0