Thomas Adams 0321f38054 Added remaining rules, unclear if rules_sanity is passing

2022-05-24 16:11:18 -07:00

..

governor

…

AccessControl.spec

…

erc20.spec

…

ERC20FlashMint.spec

…

ERC20Votes.spec

removed sanity

2022-04-11 13:56:34 -07:00

ERC20Wrapper.spec

CI preparations

2022-04-08 20:52:38 +01:00

ERC721Votes.spec

removed sanity

2022-04-11 13:56:34 -07:00

ERC1155.spec

…

ERC1155Burnable.spec

Added spec for ERC1155Burnable with rule sanity

2022-05-23 09:52:25 -07:00

ERC1155Pausable.spec

Added remaining rules, unclear if rules_sanity is passing

2022-05-24 16:11:18 -07:00

ERC1155Supply.spec

held tokens should exist passing

2022-05-20 16:27:09 -04:00

GovernorBase.spec

8.5/10 rules finished

2022-05-19 15:37:58 -07:00

GovernorCountingSimple.spec

8.5/10 rules finished

2022-05-19 15:37:58 -07:00

GovernorPreventLateQuorum.spec

8.5/10 rules finished

2022-05-19 15:37:58 -07:00

RulesInProgress.spec

timelock function moved

2022-04-08 20:57:53 +01:00

sanity.spec

…

TimelockController.spec

timelock function moved

2022-04-08 20:57:53 +01:00