mit-plv/fiat-crypto v0.0.13

Fiat Cryptography v0.0.13

on GitHub

What's Changed

• General
  • Add support for SKIP_COQSCRIPTS_INCLUDE=1
• 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