pirapira/dry-analyzer

Unimplemented arithmetic opcodes `SDIV` `MOD` `SMOD` `ADDMOD` `MULMOD`

pirapira opened this issue · 2 comments

In evm.v, the function a_instr_sem misses the clauses for the opcodes in the title.

Also SIGNEXTEND SLT SGT and BYTE.

Done at 6a0d1af