| .. |
|
IAccessControl.spec
|
88783fb47c
Partial TimelockController
|
2 years ago |
|
IAccessControlDefaultAdminRules.spec
|
9cf770354e
Adjust ACDAR casts
|
2 years ago |
|
IERC20.spec
|
5612f260d6
Attempt to fix ERC20
|
2 years ago |
|
IERC2612.spec
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 years ago |
|
IERC3156.spec
|
4fb6833e32
Formal verification using Certora (#4084)
|
2 years ago |
|
IERC5313.spec
|
c7af2dd2d3
Upgrade certora-cli to support Solidity 0.8.20
|
2 years ago |
|
IERC721.spec
|
86f6eb2c9c
Add FV specification for ERC721 (#4104)
|
2 years ago |
|
IOwnable.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 years ago |
|
IOwnable2Step.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 years ago |
ernestognw
c7af2dd2d3
Upgrade certora-cli to support Solidity 0.8.20