pirapira opened this issue 8 years ago · 2 comments
In evm.v, the function a_instr_sem misses the clauses for the opcodes in the title.
a_instr_sem
Also SIGNEXTEND SLT SGT and BYTE.
SIGNEXTEND
SLT
SGT
BYTE
Done at 6a0d1af