halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Published 20 hours ago • verified publisher icon a16z

Support for missing EVM opcodes

Open 0xkarmacoma opened this issue 1 year ago • 4 comments

Opcodes to support:

  • [x] CREATE (#21)
  • [x] CREATE2 (#163)
  • [x] DELEGATECALL (#159)
  • [x] CALLCODE (#159)
  • [x] EXTCODECOPY
  • [x] MSIZE (#38)
  • [x] ADDMOD (#101)
  • [x] MULMOD (#101)
  • [x] SIGNEXTEND (#41)
  • [ ] SELFDESTRUCT
  • [x] INVALID (#60)

0xkarmacoma avatar Jul 19 '23 23:07 0xkarmacoma