pirapira/dry-analyzer

Unimplemented opcodes from `SWAP11` to `SWAP16`

Closed this issue · 1 comments

pirapira commented

In evm.v, a_instr_sem misses clauses for these opcodes. These can be implemented in the same way as SWAP1 to SWAP10 that have already been implemented.

pirapira commented

Done by d9d163b