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

• ci: upgrade libsecp256k1

  elopez

  committed
  3d183a9

• ci: use system GHC

  elopez

  committed
  31bbf5e

• ci: use clean msys2 environment

  elopez

  committed
  c3c51da

• ci: windows: link everything with clang

  elopez

  committed
  f06885b

• ci: extract stack flags into config

  elopez

  committed
  21f1739

Commits on Sep 16, 2024

• Upgrade hevm to upstream main

  Show description for 7fc1879
  elopez

  committed
  7fc1879

• Bump nixpkgs and cleanup cc hack

  arcz

  committed
  d03c34a

• Adjust test to match new selfdestruct behavior

  elopez

  committed
  4c4421d

• Jailbreak witch

  elopez

  committed
  cebed09