Hadrien Croubois 5af9167030 address PR comments 2 lat temu
..
methods 42580f2891 Merge branch 'master' into fv/Governor 2 lat temu
AccessControl.spec 75ef7b8b27 Add FV specs for TimelockController (#4098) 2 lat temu
DoubleEndedQueue.spec 661343f74c Add DoubleEndedQueue FV (#4147) 2 lat temu
ERC20.spec 4fb6833e32 Formal verification using Certora (#4084) 2 lat temu
ERC20FlashMint.spec 4fb6833e32 Formal verification using Certora (#4084) 2 lat temu
ERC20Wrapper.spec 3214f6c256 Add FV specification for ERC20Wrapper (#4100) 2 lat temu
ERC721.spec 86f6eb2c9c Add FV specification for ERC721 (#4104) 2 lat temu
Governor.helpers.spec 5af9167030 address PR comments 2 lat temu
GovernorBaseRules.spec 5af9167030 address PR comments 2 lat temu
GovernorChanges.spec 5af9167030 address PR comments 2 lat temu
GovernorFunctions.spec 5af9167030 address PR comments 2 lat temu
GovernorInvariants.spec 5af9167030 address PR comments 2 lat temu
GovernorPreventLateQuorum.spec 5af9167030 address PR comments 2 lat temu
GovernorStates.spec 5af9167030 address PR comments 2 lat temu
Initializable.spec 5f7f660c6e Add FV specs for Initializable (#4095) 2 lat temu
Ownable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 lat temu
Ownable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 lat temu
Pausable.spec 1a60b061d5 Add Pausable FV (#4117) 2 lat temu
TimelockController.spec 3f79e2610c update 2 lat temu
helpers.spec 0874adbd1f spacing 2 lat temu