Code

Optimize execution loop #293

Code

Merged

karmacoma-eth merged 13 commits intomaina16z/halmos:mainfrom insn-cachea16z/halmos:insn-cacheCopy head branch name to clipboardMay 23, 2024

+158-109

Commits

Commits on May 21, 2024

• Cache decoded instructions

  Show description for 0dedbc9
  karmacoma-eth

  committed
  0dedbc9

• simplify and cleanup Instruction

  karmacoma-eth

  committed
  d3dfdf1

• optimize jumpi_id

  karmacoma-eth

  committed
  2d9836b

• simplify cnts, remove opcode counter

  karmacoma-eth

  committed
  b0ef0f9

Commits on May 22, 2024

• require an explicit Message.call_scheme

  karmacoma-eth

  committed
  6917cdd

• add support for MCOPY

  karmacoma-eth

  committed
  b8c7694

• test-external: run on ubuntu with yices

  karmacoma-eth

  committed
  18383a9

• test-external: use pin-solc branch temporarily

  Show description for 97610de
  karmacoma-eth

  committed
  97610de

• test-external: ubuntu runners have 4 vCPU

  karmacoma-eth

  committed
  34a5fb0

• test that we can copy overlapping slices of memory

  karmacoma-eth

  committed
  b255289

• test-external: try with docker workflow

  karmacoma-eth

  committed
  6e143bf

• only print dump_filename in verbose mode

  karmacoma-eth

  committed
  dbbe0f8

Commits on May 23, 2024

• jumpi_id: undo top of stack peek

  karmacoma-eth

  committed
  eac7662