GitBross Home Verkennen Help
Registreren Inloggen
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Vork 0
Bestanden Issues 0 Pull-aanvragen 0 Wiki
Boom: a33b9b2bb0
Aftakkingen Labels
openzeppelin-co...
/
certora
/
harnesses
Aleksander Kryukov a33b9b2bb0 FixedERC20VotesIssue 3 jaren geleden
..
ERC20VotesHarness.sol a33b9b2bb0 FixedERC20VotesIssue 3 jaren geleden
GovernorBasicHarness.sol a33b9b2bb0 FixedERC20VotesIssue 3 jaren geleden
GovernorCountingSimpleHarness.sol 9a194f24b8 start work on governor 3 jaren geleden
GovernorHarness.sol 5833f52879 Harness of castVoteWithReason to be able to impose requirement on the proposal ID 3 jaren geleden
GovernorProposalThresholdHarness.sol e810379262 sanity rule preparations 3 jaren geleden
GovernorTimelockCompoundHarness.sol e810379262 sanity rule preparations 3 jaren geleden
GovernorVotesHarness.sol 2d33674870 multiple inheritance is tricky 3 jaren geleden
GovernorVotesQuorumFractionHarness.sol 1c35a7dad0 multiple inheritance is tricky x2 3 jaren geleden
WizardHarness1.sol a33b9b2bb0 FixedERC20VotesIssue 3 jaren geleden