GitBross Acasă Explorează Ajutor
Înregistrare Autentificare
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Arbore: 96df9799c3
Ramuri Etichete
openzeppelin-co...
/
certora
/
harnesses
Aleksander Kryukov 96df9799c3 specificSpecForSumRule 4 ani în urmă
..
GovernorBasicHarness.sol 96df9799c3 specificSpecForSumRule 4 ani în urmă
GovernorCountingSimpleHarness.sol 2c08f85744 start work on governor 4 ani în urmă
GovernorHarness.sol c819e0b063 added ghost and counter implementation for castWithReason and castBySig 4 ani în urmă
GovernorProposalThresholdHarness.sol cac49bfc2e sanity rule preparations 4 ani în urmă
GovernorTimelockCompoundHarness.sol cac49bfc2e sanity rule preparations 4 ani în urmă
GovernorVotesHarness.sol 72d4e9c29c multiple inheritance is tricky 4 ani în urmă
GovernorVotesQuorumFractionHarness.sol a710435535 multiple inheritance is tricky x2 4 ani în urmă