GitBross Inicio Explorar Ayuda
Registro Iniciar sesión
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: 92744a195a
Ramas Etiquetas
openzeppelin-co...
/
certora
/
scripts
Aleksander Kryukov 92744a195a specificSpecForSumRule hace 3 años
..
Governor.sh bc9bbc2431 FirstWizardHarness hace 3 años
GovernorBasic.sh bc9bbc2431 FirstWizardHarness hace 3 años
GovernorCountingSimple-counting.sh 92744a195a specificSpecForSumRule hace 3 años
GovernorCountingSimple.sh 2761ec0b66 MoreRulesToTheGodOfRules hace 3 años
GovernorProposalThreshold.sh 9a194f24b8 start work on governor hace 3 años
GovernorTimelockCompound.sh 9a194f24b8 start work on governor hace 3 años
GovernorVotes.sh 9a194f24b8 start work on governor hace 3 años
GovernorVotesQuorumFractionHarness.sh 9a194f24b8 start work on governor hace 3 años
check.sh 788d4672d7 slight script changes and ghost fix hace 3 años
sanity.sh 9298482163 scripts settings added hace 3 años