Code

Upgrade hevm to upstream main#1300

Code

Merged

arcz merged 10 commits intomastercrytic/echidna:masterfrom hevm-20240826crytic/echidna:hevm-20240826Copy head branch name to clipboardSep 16, 2024

+121-68

Commits

Commits on Aug 26, 2024

• Upgrade hevm to echidna-patches-20240826

  elopez

  committed
  28adea9

  Copy full SHA for 28adea9

• ci: upgrade libsecp256k1

  elopez

  committed
  3d183a9

  Copy full SHA for 3d183a9

• ci: use system GHC

  elopez

  committed
  31bbf5e

  Copy full SHA for 31bbf5e

• ci: use clean msys2 environment

  elopez

  committed
  c3c51da

  Copy full SHA for c3c51da

• ci: windows: link everything with clang

  elopez

  committed
  f06885b

  Copy full SHA for f06885b

• ci: extract stack flags into config

  elopez

  committed
  21f1739

  Copy full SHA for 21f1739

Commits on Sep 16, 2024

• Upgrade hevm to upstream main

  Show description for 7fc1879
  elopez

  committed
  7fc1879

  Copy full SHA for 7fc1879

• Bump nixpkgs and cleanup cc hack

  arcz

  committed
  d03c34a

  Copy full SHA for d03c34a

• Adjust test to match new selfdestruct behavior

  elopez

  committed
  4c4421d

  Copy full SHA for 4c4421d

• Jailbreak witch

  elopez

  committed
  cebed09

  Copy full SHA for cebed09