 Ernesto García
|
3eb5cfb22a
Nonces FV (#4528)
|
%!s(int64=2) %!d(string=hai) anos |
 Hadrien Croubois
|
aca4030e4a
Formal verification of AccessManager (#4611)
|
%!s(int64=2) %!d(string=hai) anos |
|
Ernesto García
|
dcba9f995f
Add AccessControlDefaultAdminRules FV (#4180)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
86f6eb2c9c
Add FV specification for ERC721 (#4104)
|
%!s(int64=2) %!d(string=hai) anos |
|
Ernesto García
|
661343f74c
Add DoubleEndedQueue FV (#4147)
|
%!s(int64=2) %!d(string=hai) anos |
|
Ernesto García
|
1a60b061d5
Add Pausable FV (#4117)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
75ef7b8b27
Add FV specs for TimelockController (#4098)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
3214f6c256
Add FV specification for ERC20Wrapper (#4100)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
5f7f660c6e
Add FV specs for Initializable (#4095)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps (#4094)
|
%!s(int64=2) %!d(string=hai) anos |
|
Hadrien Croubois
|
4fb6833e32
Formal verification using Certora (#4084)
|
%!s(int64=2) %!d(string=hai) anos |