Hadrien Croubois 69d8ea737b Merge branch 'fv/ERC20Votes' into chore/certora-CVL2

2023-08-25 10:44:34 +02:00

..

IAccessControl.spec

…

IAccessControlDefaultAdminRules.spec

…

IERC20.spec

…

IERC721.spec

…

IERC721Receiver.spec

…

IERC2612.spec

…

IERC3156.spec

…

IERC5313.spec

…

IERC5805.spec

…

IERC6372.spec

…

IOwnable2Step.spec

…

IOwnable.spec

…