 teryanarmen
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 vuotta sitten |
 Thomas Adams
|
65ab8e9ac4
Changed rule transfersHaveSameLengthInputArrays (passing) to use _ instead of holder
|
3 vuotta sitten |
|
Thomas Adams
|
9bbc7b7eb3
Moved three transfer rules from 1155Supply spec to base 1155 spec
|
3 vuotta sitten |
 teryanarmen
|
990fd18c21
make ERC1155Harness, set up script, and undo munging for ERC1155
|
3 vuotta sitten |
|
Thomas Adams
|
b10a2b8cd3
Added burn and burnBatch to filtered block of unexpectedBalanceChange
|
3 vuotta sitten |
 Aleksander Kryukov
|
75417fbf9f
finilized rules
|
3 vuotta sitten |
|
Aleksander Kryukov
|
da674eced1
typos and cleaning
|
3 vuotta sitten |
|
Aleksander Kryukov
|
44fba3e2eb
ERC1155 finished
|
3 vuotta sitten |
|
Aleksander Kryukov
|
53b6ed80bb
ERC1155 verification (not finished)
|
3 vuotta sitten |