Update dependency: deps/pyk_release (#1996)

* deps/pyk_release: Set Version v0.1.402 * Set Version: 1.0.249 * kevm-pyk/: sync poetry files pyk version v0.1.402 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.403 * kevm-pyk/: sync poetry files pyk version v0.1.403 * flake.{nix,lock}: update Nix derivations * Remove `--[no-]implication-every-block` in `KEVM` * deps/pyk_release: Set Version v0.1.404 * kevm-pyk/: sync poetry files pyk version v0.1.404 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.405 * kevm-pyk/: sync poetry files pyk version v0.1.405 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.406 * kevm-pyk/: sync poetry files pyk version v0.1.406 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.407 * Set Version: 1.0.250 * kevm-pyk/: sync poetry files pyk version v0.1.407 * deps/k_release: sync release file version 6.0.48 * deps/k: sync K submodule version v6.0.48 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.408 * Set Version: 1.0.251 * kevm-pyk/: sync poetry files pyk version v0.1.408 * flake.{nix,lock}: update Nix derivations * adding definedness constraints for ecrec * kevm-pyk/: sync poetry files pyk version v0.1.408 * deps/pyk_release: Set Version v0.1.409 * kevm-pyk/: sync poetry files pyk version v0.1.409 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.410 * kevm-pyk/: sync poetry files pyk version v0.1.410 * deps/k_release: sync release file version 6.0.50 * deps/k: sync K submodule version v6.0.50 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.411 * Set Version: 1.0.252 * kevm-pyk/: sync poetry files pyk version v0.1.411 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.253 * use newer version of poetry available in nixpkgs instead of the one supplied by the poetry2nix overlay * kevm-pyk/: sync poetry files pyk version v0.1.411 * Set Version: 1.0.257 * deps/pyk_release: Set Version v0.1.412 * kevm-pyk/: sync poetry files pyk version v0.1.412 * flake.{nix,lock}: update Nix derivations * kevm-pyk/solc_to_k: update import structure * deps/pyk_release: Set Version v0.1.413 * kevm-pyk/: sync poetry files pyk version v0.1.413 * deps/k_release: sync release file version 6.0.52 * deps/k: sync K submodule version v6.0.52 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.258 --------- Co-authored-by: devops <[email protected]> Co-authored-by: palinatolmach <[email protected]> Co-authored-by: Petar Maksimovic <[email protected]> Co-authored-by: Sam Balco <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Aug 15, 2023 · fb1cdef · fb1cdef
1 parent 3472480
commit fb1cdef
Show file tree

Hide file tree

Showing 15 changed files with 165 additions and 151 deletions.
diff --git a/deps/k b/deps/k
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.44
+6.0.52
diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.401
+v0.1.413
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -3,7 +3,7 @@
 
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4";
-    k-framework.url = "github:runtimeverification/k/v6.0.44";
+    k-framework.url = "github:runtimeverification/k/v6.0.52";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     #nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.401";
+    pyk.url = "github:runtimeverification/pyk/v0.1.413";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
@@ -176,7 +176,7 @@
         pkgs = import nixpkgs {
           inherit system;
           overlays = [
-            (final: prev: { llvm-backend-release = false; })
+            (final: prev: { llvm-backend-release = false; poetry-nixpkgs = prev.poetry; })
             k-framework.overlay
             blockchain-k-plugin.overlay
             poetry2nix.overlay
@@ -191,7 +191,7 @@
         packages.default = kevm;
         devShell = pkgs.mkShell {
           buildInputs = buildInputs pkgs k-framework.packages.${system}.k
-            ++ [ pkgs.poetry pkgs.foundry-bin ];
+            ++ [ pkgs.poetry-nixpkgs pkgs.foundry-bin ];
 
           shellHook = ''
             export NIX_LIBS="${nixLibs pkgs}"