Fiat Cryptography v0.0.13
Pre-release
Pre-release
What's Changed
- General
- Add support for
SKIP_COQSCRIPTS_INCLUDE=1
- Add support for
- Experimental Assembly Equivalence Checker:
- Add reveal_at_least, a more clever form of reveal by @JasonGross in #1167
- Mem extention by @dderjoel in #1134
- Rework equivalence checker proofs to be based on remove by @JasonGross in #1173
Full Changelog: v0.0.12...v0.0.13
Contributors
JasonGross and dderjoel