Code

Upgrade build to GHC 9.6#1245

Code

Merged

ggrieco-tob merged 18 commits intomastercrytic/echidna:masterfrom dev-ghc-9.6crytic/echidna:dev-ghc-9.6Copy head branch name to clipboardJul 25, 2024

+149-137

Commits

Commits on Apr 29, 2024

• Upgrade hevm to latest echidna-patches commit

  elopez

  committed
  33c431b

Commits on Apr 30, 2024

• Upgrade build to GHC 9.6

  elopez

  committed
  2a2718f

• Refactor terminal and signal support in preparation for Windows UI

  elopez

  committed
  e253a1a

• Enable UI on all platforms

  elopez

  committed
  fe8c206

• Use pkgsStatic for Linux

  Show description for ec54768
  elopez

  committed
  ec54768

Commits on May 1, 2024

• Remove conditional UI compilation

  Show description for 07794d4
  elopez

  committed
  07794d4

• Enable UI on ConHost as well

  Show description for 0a354ab
  elopez

  committed
  0a354ab

• Enable eager-blackholing

  Show description for 64ee7c3
  elopez

  committed
  64ee7c3

• Resolve hlint warnings

  elopez

  committed
  14629cf

• Update Linux Stack CI to 9.6

  elopez

  committed
  6e2eccb

Commits on May 5, 2024

• Merge remote-tracking branch 'origin/master' into dev-ghc-9.6

  elopez

  committed
  9f902a8

• Fix compilation failure after merge

  elopez

  committed
  523f6ab

Commits on May 15, 2024

• Merge remote-tracking branch 'origin/master' into dev-ghc-9.6

  elopez

  committed
  04b9d05

Commits on Jul 25, 2024

• Merge remote-tracking branch 'origin/master' into dev-ghc-9.6

  elopez

  committed
  e64a2a9

• Upgrade hevm to echidna-patches-20240725

  elopez

  committed
  533105d

• Fix lint warnings, unused imports

  elopez

  committed
  298db50

• flake: align nixpkgs with hevm

  elopez

  committed
  965a62c

• flake: fix libiconv for x86_64 darwin

  Show description for cb2c3b1
  elopez

  committed
  cb2c3b1