GitBross Etusivu Tutki Apua
Rekisteröidy Kirjaudu sisään
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Haarauta 0
Tiedostot Esitykset 0 Vetopyynnöt 0 Wiki
Puu: e04f7ded94
Haarat Tunnisteet
openzeppelin-co...
/
certora
/
scripts
teryanarmen e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
..
noCI 2c5194f3f1 Clean and fix formal verification (#3798) 2 vuotta sitten
passes e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC20.sh 597202d904 finish ERC20 base specs + move all other specs to noCI for the time being 3 vuotta sitten