search

pirapira / dry-analyzer

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

Unimplemented opcodes from `SWAP11` to `SWAP16` #7

Closed pirapira closed 8 years ago

pirapira commented 8 years ago

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 8 years ago

Done by https://github.com/pirapira/dry-analyzer/commit/d9d163b2521ffb00b55fa1b3528b0a1b1f95bec0