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

Commit Verlauf

Autor SHA1 Nachricht Datum
  Hadrien Croubois 00cbf5a236 Update pragma to 0.8.20 (#4489) vor 2 Jahren
  Hadrien Croubois 10022da83d Disable automatic formal verification workflow on push (#4208) vor 2 Jahren
  Hadrien Croubois 44d6053b43 Only run FV on new or updated specs (#4195) vor 2 Jahren
  Francisco Giordano e69248e551 Limit concurrency of formal-verification runs vor 2 Jahren
  Francisco 6794c9460b Run formal verification when label is added (#4112) vor 2 Jahren
  Hadrien Croubois 4fb6833e32 Formal verification using Certora (#4084) vor 2 Jahren