mit-plv/fiat-crypto v0.1.2

Fiat Cryptography v0.1.2

on GitHub

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

What's Changed

• Adapt to coq/coq#18590 by @proux01 in #1821
• adapt to coq/coq#18730 by @andres-erbsen in #1826
• bump rupicola (requires Coq >= 8.18) by @samuelgruetter in #1818
• Bump rupicola from e047275 to 7259f52 by @dependabot in #1835
• Bump rewriter from 3342e29 to 21b82e9 by @dependabot in #1819

Full Changelog: v0.1.1...v0.1.2