Code

Equivalence fixes#681

Code

Merged

msooseth merged 13 commits intomainethereum/hevm:mainfrom equiv-fix-mateethereum/hevm:equiv-fix-mateCopy head branch name to clipboardMar 19, 2025

Commits

Commits on Mar 11, 2025

• Rebase and fix conflicts

  

  zoep

  authored and

  msooseth

  committed
  e4c2d5a

  Copy full SHA for e4c2d5a

• Rebase and fix conflicts

  

  zoep

  authored and

  msooseth

  committed
  23ca5f3

  Copy full SHA for 23ca5f3

• Adding a simplification to remove an issue

  msooseth

  committed
  7851363

  Copy full SHA for 7851363

• Fixing comment

  msooseth

  committed
  7de5b12

  Copy full SHA for 7de5b12

• Update changelog

  

  zoep

  authored and

  msooseth

  committed
  9940c54

  Copy full SHA for 9940c54

Commits on Mar 12, 2025

• Fixing equivalence checking

  Show description for e5aa871
  msooseth

  committed
  e5aa871

  Copy full SHA for e5aa871

Commits on Mar 13, 2025

• Fixed ordering of prop

  msooseth

  committed
  fa16a9e

  Copy full SHA for fa16a9e

Commits on Mar 18, 2025

• Update to lexicographical ordering

  Show description for 3271df4
  msooseth

  committed
  3271df4

  Copy full SHA for 3271df4

• Fixing gas naming in SMT

  Show description for c9c299a
  msooseth

  committed
  c9c299a

  Copy full SHA for c9c299a

• Merge branch 'main' into equiv-fix-mate

  msooseth

  committed
  d07e92c

  Copy full SHA for d07e92c

• More test cases for equivalence checking

  msooseth

  committed
  a9a2c14

  Copy full SHA for a9a2c14

• Fixing warnings

  msooseth

  committed
  e11090b

  Copy full SHA for e11090b

Commits on Mar 19, 2025

• Merge branch 'main' into equiv-fix-mate

  msooseth

  authored
  c4082b3

  Copy full SHA for c4082b3