Code

Abstract gas v3#427

Code

Merged

d-xo merged 11 commits intomainethereum/hevm:mainfrom gas-familyethereum/hevm:gas-familyCopy head branch name to clipboardJan 16, 2024

+747-635

Commits

Commits on Dec 12, 2023

• Concrete vs Symbolic Gas PoC

  arcz

  committed
  c8fd5d5

  Copy full SHA for c8fd5d5

• EVM: fix infinite loop

  

  d-xo

  authored and

  arcz

  committed
  b6f82d8

  Copy full SHA for b6f82d8

• Fix tests

  arcz

  committed
  8bc8df0

  Copy full SHA for 8bc8df0

• Cleanup

  arcz

  committed
  2e309d8

  Copy full SHA for 2e309d8

• Fix rpc-tests

  arcz

  committed
  4e5cfec

  Copy full SHA for 4e5cfec

• Remove a bunch of forceConcrete

  arcz

  committed
  d3acc30

  Copy full SHA for d3acc30

• cleanup

  arcz

  committed
  e63df49

  Copy full SHA for e63df49

• Fix symbolic cli command

  arcz

  committed
  472e20f

  Copy full SHA for 472e20f

• Move VMOps to EVM.Types

  arcz

  committed
  232fd35

  Copy full SHA for 232fd35

• Use VMType instead of symbolic runtime VM option

  arcz

  committed
  82c53be

  Copy full SHA for 82c53be

• Fix rebase

  arcz

  committed
  d56c8f6

  Copy full SHA for d56c8f6