Code

Additional EVM optimizations#850

Code

Merged

rv-jenkins merged 19 commits intomasterruntimeverification/kontrol:masterfrom petar/evm-optimizationsruntimeverification/kontrol:petar/evm-optimizationsCopy head branch name to clipboardOct 15, 2024

+805-19

Commits

Commits on Oct 7, 2024

• EVM optimizations

  PetarMax

  committed
  0088369

  Copy full SHA for 0088369

• kompile.py: reformatting

  anvacaru

  committed
  a2fc7be

  Copy full SHA for a2fc7be

• help message

  PetarMax

  committed
  1a310e6

  Copy full SHA for 1a310e6

• Merge remote-tracking branch 'origin/master' into petar/evm-optimizations

  PetarMax

  committed
  dba13c8

  Copy full SHA for dba13c8

• correction

  PetarMax

  committed
  714d0cb

  Copy full SHA for 714d0cb

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  c9738f2

  Copy full SHA for c9738f2

Commits on Oct 8, 2024

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  29b0f88

  Copy full SHA for 29b0f88

• restructuring changes

  PetarMax

  committed
  b559c16

  Copy full SHA for b559c16

• adjusting priorities wrt cheatcodes

  PetarMax

  committed
  575b71f

  Copy full SHA for 575b71f

Commits on Oct 9, 2024

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  f9b367e

  Copy full SHA for f9b367e

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  c910ff6

  Copy full SHA for c910ff6

• major expected output update

  PetarMax

  committed
  82d6a20

  Copy full SHA for 82d6a20

• one more expected output

  PetarMax

  committed
  2f2cb3d

  Copy full SHA for 2f2cb3d

• expected output

  PetarMax

  committed
  07f3e5e

  Copy full SHA for 07f3e5e

Commits on Oct 10, 2024

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  f1b5525

  Copy full SHA for f1b5525

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  353f802

  Copy full SHA for 353f802

Commits on Oct 11, 2024

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  f4e9c4b

  Copy full SHA for f4e9c4b

Commits on Oct 14, 2024

• Merge branch 'master' into petar/evm-optimizations

  PetarMax

  authored
  d59f137

  Copy full SHA for d59f137

Commits on Oct 15, 2024

• adding stackChecks to the list of cells to be removed when --to-kevm-rules is called

  PetarMax

  committed
  60c7512

  Copy full SHA for 60c7512