search

pirapira / dry-analyzer

Dr. Y's Ethereum Contract Analyzer
GNU Lesser General Public License v2.1
42 stars 10 forks source link

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

Closed pirapira closed 8 years ago

pirapira commented 8 years ago

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

pirapira commented 8 years ago

Also SIGNEXTEND SLT SGT and BYTE.

pirapira commented 8 years ago

Done at 6a0d1af0998c61cefde515e772cbdf15bb641817