mit-plv/fiat-crypto v0.0.25

Fiat Cryptography v0.0.25

on GitHub

Compatible with Coq 8.16, 8.17, 8.18 requires OCaml >= 4.08

Last release compatible with Coq 8.16.

What's Changed

• Optimize & fix Edwards XYZT operations by @bMacSwigg in #1693
• Adapt to coq/coq#17576 by @proux01 in #1698
• Bump rupicola from e6daa5e to 0e001bb by @dependabot in #1705
• Bump etc/coq-scripts from 2df5dbe to d3dc888 by @dependabot in #1701
• Bump rewriter from 2f9a755 to 5b13cd7 by @dependabot in #1697
• Bump rewriter from 5b13cd7 to 5e74224 by @dependabot in #1702
• Bump rewriter from 5e74224 to 5d274d2 by @dependabot in #1704

Full Changelog: v0.0.24...v0.0.25