mit-plv/fiat-crypto v0.1.4

Fiat Cryptography v0.1.4

on GitHub

Compatible with Coq 8.18, 8.19; requires OCaml >= 4.08.

What's Changed

• Releases now distribute universal (x86_64+arm64) binaries for MacOS
  • Build universal (x86_64+arm64) binaries for MacOS by @JasonGross in #1891
• Misc
  • Bump rewriter from b1e8367 to 9dd74a9 by @dependabot in #1904
  • Disable implicit suffix rules in submakefiles by @JasonGross in #1902

Full Changelog: v0.1.3...v0.1.4