Upgrade hevm to echidna-patches-20240725

crytic · Jul 25, 2024 · 533105d · 533105d
1 parent e64a2a9
commit 533105d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/flake.nix b/flake.nix
@@ -57,10 +57,10 @@
           '';
 
         hevm = pkgs: pkgs.lib.pipe (pkgs.haskellPackages.callCabal2nix "hevm" (pkgs.fetchFromGitHub {
-            owner = "elopez";
+            owner = "trail-of-forks";
             repo = "hevm";
-            rev = "c263a35ca676c4d10df72d3f81536e5fb0297dc2";
-            sha256 = "sha256-GO5rDgVV+Nj8OhmxEylJ0qv0hDxf+sJ1DLA8syjdNyM=";
+            rev = "3aba82f06a2d1e0a4a4c26458f747a46dad0e7e2";
+            sha256 = "sha256-NXXhEqHTQEL2N9RhXa1eczIsQtIM3mvPfyWXlBXpxK4=";
         }) { secp256k1 = pkgs.secp256k1; })
         ([
           pkgs.haskell.lib.compose.dontCheck

diff --git a/stack.yaml b/stack.yaml
@@ -4,8 +4,8 @@ packages:
 - '.'
 
 extra-deps:
-- git: https://github.com/elopez/hevm.git
-  commit: c263a35ca676c4d10df72d3f81536e5fb0297dc2
+- git: https://github.com/trail-of-forks/hevm.git
+  commit: 3aba82f06a2d1e0a4a4c26458f747a46dad0e7e2
 
 - smt2-parser-0.1.0.1@sha256:1e1a4565915ed851c13d1e6b8bb5185cf5d454da3b43170825d53e221f753d77,1421
 - spawn-0.3@sha256:b91e01d8f2b076841410ae284b32046f91471943dc799c1af77d666c72101f02,1162