pirapira/dry-analyzer

Unimplemented informational opcodes `ORIGIN` `CODESIZE` `GASPRICE`

pirapira opened this issue · 2 comments

In evm.v, the function a_instr_sem misses these opcodes.

Also EXTCODESIZE.

This is done by now.