| .. |
|
methods
|
42580f2891
Merge branch 'master' into fv/Governor
|
2 years ago |
|
AccessControl.spec
|
75ef7b8b27
Add FV specs for TimelockController (#4098)
|
2 years ago |
|
DoubleEndedQueue.spec
|
661343f74c
Add DoubleEndedQueue FV (#4147)
|
2 years ago |
|
ERC20.spec
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 years ago |
|
ERC20FlashMint.spec
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 years ago |
|
ERC20Wrapper.spec
|
3214f6c256
Add FV specification for ERC20Wrapper (#4100)
|
2 years ago |
|
ERC721.spec
|
86f6eb2c9c
Add FV specification for ERC721 (#4104)
|
2 years ago |
|
Governor.helpers.spec
|
5e71c01bcc
rename valid → sanity
|
2 years ago |
|
GovernorBaseRules.spec
|
ecec8a7353
codespell
|
2 years ago |
|
GovernorChanges.spec
|
3f79e2610c
update
|
2 years ago |
|
GovernorFunctions.spec
|
5e71c01bcc
rename valid → sanity
|
2 years ago |
|
GovernorInvariants.spec
|
a64bb8801c
update
|
2 years ago |
|
GovernorPreventLateQuorum.spec
|
3f79e2610c
update
|
2 years ago |
|
GovernorStates.spec
|
67a00ccaea
disable specs we can't fix :/
|
2 years ago |
|
Initializable.spec
|
5f7f660c6e
Add FV specs for Initializable (#4095)
|
2 years ago |
|
Ownable.spec
|
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps (#4094)
|
2 years ago |
|
Ownable2Step.spec
|
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps (#4094)
|
2 years ago |
|
Pausable.spec
|
1a60b061d5
Add Pausable FV (#4117)
|
2 years ago |
|
TimelockController.spec
|
3f79e2610c
update
|
2 years ago |
|
helpers.spec
|
0874adbd1f
spacing
|
2 years ago |
Hadrien Croubois
5e71c01bcc
rename valid → sanity