GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 5a7cc50974
Branches Tags
openzeppelin-co...
/
certora
/
scripts
Thomas Adams 5a7cc50974 Modified burnable verification script to follow script naming convention 3 years ago
..
old cab8e489b2 initializable final draft, ready for review 3 years ago
verifyERC1155All.sh 69d9ebfcdf Added modified scripts to run previous ERC1155 spec 3 years ago
verifyERC1155Burnable.sh 5a7cc50974 Modified burnable verification script to follow script naming convention 3 years ago
verifyERC1155BurnableSpecific.sh f3f26e3ff3 Modified verification scripts to include --send_only flag 3 years ago
verifyERC1155Pausable.sh f3f26e3ff3 Modified verification scripts to include --send_only flag 3 years ago
verifyERC1155Specific.sh 69d9ebfcdf Added modified scripts to run previous ERC1155 spec 3 years ago
verifyERC1155Supply.sh f3f26e3ff3 Modified verification scripts to include --send_only flag 3 years ago
verifyGovernorPreventLateQuorum.sh cab8e489b2 initializable final draft, ready for review 3 years ago
verifyInitializable.sh cab8e489b2 initializable final draft, ready for review 3 years ago