GitBross Etusivu Tutki Apua
Rekisteröidy Kirjaudu sisään
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Haarauta 0
Tiedostot Esitykset 0 Vetopyynnöt 0 Wiki
Puu: e04f7ded94
Haarat Tunnisteet
openzeppelin-co...
/
certora
/
scripts
/
passes
teryanarmen e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
..
verifyAccessControl.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC1155.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC1155Burnable.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC1155Pausable.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC1155Supply.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC20FlashMint.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC20Votes.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC20Wrapper.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyERC721Votes.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGPLQ_deadlineCantBeUnextended.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGPLQ_proposalInOneState.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGPLQ_quorumReachedEffect.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGovernor.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGovernorCountingSimple.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyGovernorPreventLateQuorum.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyInitializable.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten
verifyTimelock.sh e04f7ded94 Fixed GPLQ spec, all rules passing (#3822) 2 vuotta sitten