mirror of openzeppelin-contracts

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Hadrien Croubois e9779f8ef2 Merge remote-tracking branch 'upstream' into fv/Governor		2 years ago
..
AccessControlDefaultAdminRulesHarness.sol	Add AccessControlDefaultAdminRules FV (#4180)	2 years ago
AccessControlHarness.sol	starting to work on governor specifications	2 years ago
DoubleEndedQueueHarness.sol	Add DoubleEndedQueue FV (#4147)	2 years ago
ERC20FlashMintHarness.sol	starting to work on governor specifications	2 years ago
ERC20PermitHarness.sol	starting to work on governor specifications	2 years ago
ERC20VotesBlocknumberHarness.sol	test both modes	2 years ago
ERC20VotesTimestampHarness.sol	test both modes	2 years ago
ERC20WrapperHarness.sol	starting to work on governor specifications	2 years ago
ERC721Harness.sol	Add FV specification for ERC721 (#4104)	2 years ago
ERC721ReceiverHarness.sol	Add FV specification for ERC721 (#4104)	2 years ago
ERC3156FlashBorrowerHarness.sol	starting to work on governor specifications	2 years ago
EnumerableMapHarness.sol	Add formal verification specs for EnumerableSet & EnumerableMap (#4167)	2 years ago
EnumerableSetHarness.sol	Add formal verification specs for EnumerableSet & EnumerableMap (#4167)	2 years ago
GovernorHarness.sol	fix harness	2 years ago
GovernorPreventLateHarness.sol	fix harness	2 years ago
InitializableHarness.sol	Add FV specs for Initializable (#4095)	2 years ago
Ownable2StepHarness.sol	starting to work on governor specifications	2 years ago
OwnableHarness.sol	starting to work on governor specifications	2 years ago
PausableHarness.sol	Add Pausable FV (#4117)	2 years ago
TimelockControllerHarness.sol	Add FV specs for TimelockController (#4098)	2 years ago