Thomas Adams ffa3daa5d9 Modified verification scripts and Supply spec syntax 3 years ago
..
old 990fd18c21 make ERC1155Harness, set up script, and undo munging for ERC1155 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 ffa3daa5d9 Modified verification scripts and Supply spec syntax 3 years ago
verifyERC1155Specific.sh 69d9ebfcdf Added modified scripts to run previous ERC1155 spec 3 years ago
verifyERC1155Supply.sh ffa3daa5d9 Modified verification scripts and Supply spec syntax 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