GitBross Inicio Explorar Axuda
Rexistro Iniciar sesión
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 37991642dc
Ramas Etiquetas
openzeppelin-co...
/
certora
/
scripts
Hadrien Croubois 7dc201fce9 fix some specs %!s(int64=2) %!d(string=hai) anos
..
noCI e0fa84a6b7 Merge branch 'master' into formal-verification %!s(int64=2) %!d(string=hai) anos
passes 7dc201fce9 fix some specs %!s(int64=2) %!d(string=hai) anos
verifyERC20.sh 597202d904 finish ERC20 base specs + move all other specs to noCI for the time being %!s(int64=3) %!d(string=hai) anos