| .. |
|
IAccessControl.spec
|
88783fb47c
Partial TimelockController
|
2 лет назад |
|
IAccessControlDefaultAdminRules.spec
|
9cf770354e
Adjust ACDAR casts
|
2 лет назад |
|
IERC20.spec
|
5612f260d6
Attempt to fix ERC20
|
2 лет назад |
|
IERC2612.spec
|
73f415841e
Finish ERC20
|
2 лет назад |
|
IERC3156.spec
|
520feb0469
Finish ERC20FlashMint
|
2 лет назад |
|
IERC5313.spec
|
c7af2dd2d3
Upgrade certora-cli to support Solidity 0.8.20
|
2 лет назад |
|
IERC5805.spec
|
69d8ea737b
Merge branch 'fv/ERC20Votes' into chore/certora-CVL2
|
2 лет назад |
|
IERC6372.spec
|
69d8ea737b
Merge branch 'fv/ERC20Votes' into chore/certora-CVL2
|
2 лет назад |
|
IERC721.spec
|
6d582a3c02
Partially finish ERC721
|
2 лет назад |
|
IERC721Receiver.spec
|
6d582a3c02
Partially finish ERC721
|
2 лет назад |
|
IOwnable.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 лет назад |
|
IOwnable2Step.spec
|
6370b1398d
Finish Ownable and Ownable2Step
|
2 лет назад |
Hadrien Croubois
69d8ea737b
Merge branch 'fv/ERC20Votes' into chore/certora-CVL2