 teryanarmen
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
 Hadrien Croubois
|
c7a544d568
move passing scripts out of noCI
|
3 years ago |
|
Hadrien Croubois
|
8f6a03204e
Start working on ERC20 specs
|
3 years ago |
 Nick Armstrong
|
2627753bfe
votes solvency passing again
|
3 years ago |
|
Nick Armstrong
|
4a3b0bb875
filters for skipped functions
|
3 years ago |
|
Nick Armstrong
|
02de598056
removed sanity
|
3 years ago |
|
Nick Armstrong
|
6662d0556f
verify all - rules passing
|
3 years ago |
|
Nick Armstrong
|
cab9b09b7b
rough contracts all finished
|
3 years ago |
|
Nick Armstrong
|
140df5b7ce
everything except Alex fix for totalVotes_sums_accounts
|
3 years ago |
|
Nick Armstrong
|
22827223c0
more passing
|
3 years ago |
|
Nick Armstrong
|
92f07bae1b
typechecker error and skipped require bug
|
3 years ago |
|
Nick Armstrong
|
3f1ee39910
call trace error
|
3 years ago |
|
Nick Armstrong
|
6895946f41
updated rules
|
3 years ago |
 Aleksander Kryukov
|
61fa061ecf
erc20votes pointers workaround and preset
|
3 years ago |