search

morpho-org / morpho-blue

🟦 Morpho Blue Protocol
https://morpho.org
Other
146 stars 53 forks source link

[Certora] New syntax for enabling bitvector theory #693

Closed QGarchery closed 2 months ago

QGarchery commented 2 months ago

Halmos tests will be fixed in #692