 teryanarmen
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
 Hadrien Croubois
|
89962af163
Fix ERC20Wrapper.spec
|
3 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
|
4a3b0bb875
filters for skipped functions
|
3 years ago |
 Aleksander Kryukov
|
66c72f2b5d
CI preparations
|
3 years ago |
|
Aleksander Kryukov
|
75417fbf9f
finilized rules
|
3 years ago |
|
Aleksander Kryukov
|
a35ad6dfc3
wrapper and timelockController cleaning
|
3 years ago |
|
Aleksander Kryukov
|
5153c462d5
wrapper counterexample to check
|
3 years ago |
|
Aleksander Kryukov
|
62d60a5890
Timelock, erc20Wrapper and erc20FlashMint verification
|
3 years ago |