Update dependencies (Coq 8.18)

AU-COBRA / ConCert

A framework for smart contract verification in Coq

MIT License

112 stars 18 forks source link

Update dependencies (Coq 8.18) #238

Closed 4ever2 closed 8 months ago

4ever2 commented 8 months ago

Add compatibility for

Coq 8.18
Metacoq 1.2.1

Update std++ to 1.9.0

We rely on a pinned Quickchick commit because of a Coq bug in 8.17.1+ that makes it impossible to require both Quickchick and Equations in the same file. This bug should be fixed in 8.18.1.