Code

Upgrade hevm#1317

Code

Merged

samalws-tob merged 2 commits intomastercrytic/echidna:masterfrom upgrade-hevmcrytic/echidna:upgrade-hevmCopy head branch name to clipboardOct 11, 2024

+103-11

Commits

Commits on Oct 1, 2024

• flake: make develop environment work on aarch64 macOS

  elopez

  committed
  b54afcd

  Copy full SHA for b54afcd

Commits on Oct 7, 2024

• Upgrade hevm to upstream main

  Show description for 2831aec
  elopez

  committed
  2831aec

  Copy full SHA for 2831aec