Fiat Cryptography v0.0.25

Pre-release

Pre-release

JasonGross released this 08 Nov 23:41

· 225 commits to master since this release

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

Contributors

bMacSwigg, proux01, and dependabot

Assets 2