Ernesto García
|
3eb5cfb22a
|
Nonces FV (#4528)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
1 year ago |
Hadrien Croubois
|
aca4030e4a
|
Formal verification of AccessManager (#4611)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
|
1 year ago |
|
Ernesto García
|
dcba9f995f
|
Add AccessControlDefaultAdminRules FV (#4180)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
0a2a33be30
|
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
86f6eb2c9c
|
Add FV specification for ERC721 (#4104)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Ernesto García
|
661343f74c
|
Add DoubleEndedQueue FV (#4147)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
|
Ernesto García
|
1a60b061d5
|
Add Pausable FV (#4117)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
75ef7b8b27
|
Add FV specs for TimelockController (#4098)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
3214f6c256
|
Add FV specification for ERC20Wrapper (#4100)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
5f7f660c6e
|
Add FV specs for Initializable (#4095)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
aaad1f4a4f
|
Add FV specs for Ownable and Ownable2Steps (#4094)
Co-authored-by: Santiago Palladino <spalladino@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
