Code

Fix in equivalence checking #650

Code

Open

zoep wants to merge 5 commits intomainethereum/hevm:mainfrom equiv-fixethereum/hevm:equiv-fixCopy head branch name to clipboard

+39-10

Commits

Commits on Feb 10, 2025

• Rebase and fix conflicts

  zoep

  committed
  c6cc2a9

  Copy full SHA for c6cc2a9

• Rebase and fix conflicts

  zoep

  committed
  272354a

  Copy full SHA for 272354a

• Adding a simplification to remove an issue

  

  msooseth

  authored and

  zoep

  committed
  283b383

  Copy full SHA for 283b383

• Fixing comment

  

  msooseth

  authored and

  zoep

  committed
  630b347

  Copy full SHA for 630b347

• Update changelog

  zoep

  committed
  c751204

  Copy full SHA for c751204