mit-plv/fiat-crypto SP2019+V8.15

Fiat Crypto Legacy for Coq 8.15

on GitHub

This is the last version of Fiat Crypto Legacy (the S&P 2019 paper version) compatible with Coq 8.15. This version supports Coq versions 8.14 -- 8.18.

What's Changed

• [sp2019latest] Drop Coq < 8.14 in preparation for bbv bump by @JasonGross in #1540
• Bump bbv from 18c77da to 6144e21 by @dependabot in #1539
• Bump coqprime from 762c7f5 to 203ce86 by @dependabot in #1544
• Bump coqprime from 203ce86 to 0f9f20f by @dependabot in #1547
• Adapt w.r.t. coq/coq#16910. by @ppedrot in #1554
• Bump coqprime from 0f9f20f to 431d7a6 by @dependabot in #1567
• Adapt to coq/coq#16960 (less evar sensitive unification behaviour) by @SkySkimmer in #1574
• Adapt fiat-crypto-legacy to coq/coq#16920 by @olaure01 in #1589
• Adapt w.r.t. coq/coq#17564. by @ppedrot in #1602
• Bump etc/coq-scripts from efae533 to 8ce1d5d by @dependabot in #1614
• Qualifying expr.expr and cie coming from Uncurried and EdDSA.sign from Spec by @herbelin in #1628
• Bump actions/checkout from 3 to 4 by @dependabot in #1650
• Bump coqprime from 431d7a6 to ae85b57 by @dependabot in #1658
• Bump etc/coq-scripts from 8ce1d5d to 8b66ebe by @dependabot in #1660
• Bump coqprime from ae85b57 to f611fa4 by @dependabot in #1664
• Bump etc/coq-scripts from 8b66ebe to 2df5dbe by @dependabot in #1685
• Bump coqprime from f611fa4 to d5935ca by @dependabot in #1688

Full Changelog: SP2019+V8.13...sp2019latest+2023.10