mit-plv/fiat-crypto v0.0.11

Fiat Cryptography v0.0.11

on GitHub

What's Changed

• concretize and implement sctestbit + partial proof by @andres-erbsen in #1078
• Autogenerate fiat-rust/src/lib.rs and expose poly1305 in Rust by @JasonGross in #1091

Full Changelog: v0.0.10...v0.0.11