GitBross Startseite Erkunden Hilfe
Registrieren Anmelden
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: 197d228dfa
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  renovate[bot] 09502570ce Update dependency certora-cli to v8 (#5844) vor 1 Monat
  Ernesto García 36bf1e46fa Migrate FV specs to CVL2 (#4527) vor 2 Jahren
  Hadrien Croubois 00cbf5a236 Update pragma to 0.8.20 (#4489) vor 2 Jahren
  Ernesto García 7bb5592ad5 Bump minimum pragma version to `0.8.19` (#4288) vor 2 Jahren
  Hadrien Croubois 3214f6c256 Add FV specification for ERC20Wrapper (#4100) vor 2 Jahren