search

morpho-org / metamorpho

MetaMorpho
https://morpho.org
Other
59 stars 27 forks source link

Add SPDX identifier to ERC1820Registry.sol #415

Closed Jean-Grimal closed 7 months ago

Jean-Grimal commented 7 months ago

Fixes #331

MerlinEgalite commented 7 months ago

@QGarchery can you look at the certora failed test pls?

QGarchery commented 7 months ago

@QGarchery can you look at the certora failed test pls?

This is an ongoing issue, trying to fix this with help of the Certora team in #411. We can this PR merge before or after the Certora fix, as you wish