GitBross Domovská stránka Prehľadávať Pomoc
Registrovať Prihlásiť sa
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Strom: eb87bb4822
Branche Tagy
openzeppelin-co...
/
certora
/
scripts
Aleksander Kryukov 96df9799c3 specificSpecForSumRule 4 rokov pred
..
Governor.sh 07d637980c FirstWizardHarness 4 rokov pred
GovernorBasic.sh 07d637980c FirstWizardHarness 4 rokov pred
GovernorCountingSimple-counting.sh 96df9799c3 specificSpecForSumRule 4 rokov pred
GovernorCountingSimple.sh 751277a1ab MoreRulesToTheGodOfRules 4 rokov pred
GovernorProposalThreshold.sh 2c08f85744 start work on governor 4 rokov pred
GovernorTimelockCompound.sh 2c08f85744 start work on governor 4 rokov pred
GovernorVotes.sh 2c08f85744 start work on governor 4 rokov pred
GovernorVotesQuorumFractionHarness.sh 2c08f85744 start work on governor 4 rokov pred
check.sh 69f87ad916 slight script changes and ghost fix 4 rokov pred
sanity.sh f7cc2548f3 scripts settings added 4 rokov pred