| .. |
|
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
|
73f415841e
Finish ERC20
|
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
|
6d582a3c02
Partially finish ERC721
|
2 years ago |
|
IERC721Receiver.spec
|
6d582a3c02
Partially finish ERC721
|
2 years ago |
|
IOwnable.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 years ago |
|
IOwnable2Step.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 years ago |
ernestognw
6d582a3c02
Partially finish ERC721