| .. |
|
AccessControl.spec
|
75417fbf9f
finilized rules
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC1155.spec
|
65ab8e9ac4
Changed rule transfersHaveSameLengthInputArrays (passing) to use _ instead of holder
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC1155Burnable.spec
|
7946806fb3
Commented out sanity rules for the purposes of CI
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC1155Pausable.spec
|
7946806fb3
Commented out sanity rules for the purposes of CI
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC1155Supply.spec
|
1701b0c7fd
fix erc1155supply vacuity, change CI solc version to 8.4
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC20.spec
|
634c37becf
enable ci test for some (passing) rules
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC20FlashMint.spec
|
8f6a03204e
Start working on ERC20 specs
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC20Votes.spec
|
c7a544d568
move passing scripts out of noCI
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC20Wrapper.spec
|
c7a544d568
move passing scripts out of noCI
|
%!s(int64=3) %!d(string=hai) anos |
|
ERC721Votes.spec
|
597202d904
finish ERC20 base specs + move all other specs to noCI for the time being
|
%!s(int64=3) %!d(string=hai) anos |
|
GovernorBase.spec
|
c7a544d568
move passing scripts out of noCI
|
%!s(int64=3) %!d(string=hai) anos |
|
GovernorCountingSimple.spec
|
8ec6785cb8
Merge branch 'master' into certora/erc1155ext. Resolved conflicts in
|
%!s(int64=3) %!d(string=hai) anos |
|
GovernorPreventLateQuorum.spec
|
c7a544d568
move passing scripts out of noCI
|
%!s(int64=3) %!d(string=hai) anos |
|
Initializable.spec
|
1aa8141b14
removed a assert failure message from an invariant in Initializable spec
|
%!s(int64=3) %!d(string=hai) anos |
|
RulesInProgress.spec
|
741e9a8b6d
timelock function moved
|
%!s(int64=3) %!d(string=hai) anos |
|
TimelockController.spec
|
4a3b0bb875
filters for skipped functions
|
%!s(int64=3) %!d(string=hai) anos |
|
erc20.spec
|
634c37becf
enable ci test for some (passing) rules
|
%!s(int64=3) %!d(string=hai) anos |
|
sanity.spec
|
38d21cab86
update scripts
|
%!s(int64=3) %!d(string=hai) anos |
Hadrien Croubois
c7a544d568
move passing scripts out of noCI