mit-plv/fiat-crypto v0.0.17

Fiat Cryptography v0.0.17

on GitHub

Compatible with Coq 8.15 and 8.16, requires OCaml >= 4.08

What's Changed

• Update ensure_stack_limit.sh to be POSIX-compliant and not always unconditionally invoke ulimit by @JasonGross in #1438
• Add some rewrite rules about Z bool comparisons by @JasonGross in #1436
• Use Hint Cut rather than Hint Immediate by @JasonGross in #1439

New Contributors

• @github-actions made their first contribution in #1435

Full Changelog: v0.0.16...v0.0.17