GitBross Domů Procházet Nápověda
Registrovat se Přihlásit se
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: f8a54d2ae2
Větve Značky
openzeppelin-co...
/
certora
/
harnesses
Aleksander Kryukov 92744a195a specificSpecForSumRule před 4 roky
..
GovernorBasicHarness.sol 92744a195a specificSpecForSumRule před 3 roky
GovernorCountingSimpleHarness.sol 9a194f24b8 start work on governor před 3 roky
GovernorHarness.sol 8ed7f965bb added ghost and counter implementation for castWithReason and castBySig před 3 roky
GovernorProposalThresholdHarness.sol e810379262 sanity rule preparations před 3 roky
GovernorTimelockCompoundHarness.sol e810379262 sanity rule preparations před 3 roky
GovernorVotesHarness.sol 2d33674870 multiple inheritance is tricky před 3 roky
GovernorVotesQuorumFractionHarness.sol 1c35a7dad0 multiple inheritance is tricky x2 před 3 roky