| .. |
|
governor
|
b5980a569c
reorganized governance verification in preparation for erc20 verification
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC20Votes.spec
|
61fa061ecf
erc20votes pointers workaround and preset
|
%!s(int64=3) %!d(string=hai) anos |
|
GovernorBase.spec
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
%!s(int64=3) %!d(string=hai) anos |
|
GovernorCountingSimple.spec
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
%!s(int64=3) %!d(string=hai) anos |
|
RulesInProgress.spec
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
%!s(int64=3) %!d(string=hai) anos |
|
TimelockController.spec
|
61fa061ecf
erc20votes pointers workaround and preset
|
%!s(int64=3) %!d(string=hai) anos |
|
sanity.spec
|
61fa061ecf
erc20votes pointers workaround and preset
|
%!s(int64=3) %!d(string=hai) anos |
Aleksander Kryukov
61fa061ecf
erc20votes pointers workaround and preset