Switch back from staging to the stable version of CVL

morpho-org / metamorpho

MetaMorpho

https://morpho.org

Other

53 stars 26 forks source link

Switch back from staging to the stable version of CVL #407

Closed QGarchery closed 7 months ago

QGarchery commented 8 months ago

The version 7 of CVL is needed for MM's formal verification. It is expected to hit certora-cli by March 15. At that time switch back to certora-cli (from certora-cli-beta), and adapt the README