Hadrien Croubois e9779f8ef2 Merge remote-tracking branch 'upstream' into fv/Governor před 2 roky
..
AccessControlDefaultAdminRulesHarness.sol dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) před 2 roky
AccessControlHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
DoubleEndedQueueHarness.sol 661343f74c Add DoubleEndedQueue FV (#4147) před 2 roky
ERC20FlashMintHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
ERC20PermitHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
ERC20VotesBlocknumberHarness.sol 5421355e57 test both modes před 2 roky
ERC20VotesTimestampHarness.sol 5421355e57 test both modes před 2 roky
ERC20WrapperHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
ERC3156FlashBorrowerHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
ERC721Harness.sol 86f6eb2c9c Add FV specification for ERC721 (#4104) před 2 roky
ERC721ReceiverHarness.sol 86f6eb2c9c Add FV specification for ERC721 (#4104) před 2 roky
EnumerableMapHarness.sol 0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) před 2 roky
EnumerableSetHarness.sol 0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) před 2 roky
GovernorHarness.sol e072521fcb fix harness před 2 roky
GovernorPreventLateHarness.sol 0daafdb01e fix harness před 2 roky
InitializableHarness.sol 5f7f660c6e Add FV specs for Initializable (#4095) před 2 roky
Ownable2StepHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
OwnableHarness.sol 1f5982b5e3 starting to work on governor specifications před 2 roky
PausableHarness.sol 1a60b061d5 Add Pausable FV (#4117) před 2 roky
TimelockControllerHarness.sol 75ef7b8b27 Add FV specs for TimelockController (#4098) před 2 roky