Update dependency: deps/k_release

.github/workflows/update-version.yml

@@ -34,7 +34,6 @@ jobs:
         run: |
           K_VERSION=$(cat deps/k_release)
           sed -i 's!    k-framework.url = "github:runtimeverification/k/[v0-9\.]*"!    k-framework.url = "github:runtimeverification/k/v'"${K_VERSION}"'"!' flake.nix
-          sed -i 's!    pyk.url = "github:runtimeverification/k/[v0-9\.]*?dir=pyk"!    pyk.url = "github:runtimeverification/k/v'"${K_VERSION}"'?dir=pyk"!' flake.nix
           nix --extra-experimental-features 'nix-command flakes' --show-trace flake update
           git add flake.nix flake.lock
           git commit -m 'flake.{nix,lock}: update Nix derivations' || true

deps/k_release

@@ -1 +1 @@
-7.1.123
+7.1.137

flake.nix

@@ -1,22 +1,27 @@
 {
   description = "mir-semantics - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.123";
+    k-framework.url = "github:runtimeverification/k/v7.1.137";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/k/v7.1.123?dir=pyk";
-    nixpkgs-pyk.follows = "pyk/nixpkgs";
-    poetry2nix.follows = "pyk/poetry2nix";
+    poetry2nix.follows = "k-framework/poetry2nix";
   };
-  outputs = { self, nixpkgs, flake-utils, poetry2nix }:
+  outputs = { self, nixpkgs, flake-utils, k-framework, ... }@inputs:
     let
       allOverlays = [
-        poetry2nix.overlay
-        (final: prev: {
-          mir-semantics = prev.poetry2nix.mkPoetryApplication {
+        k-framework.overlays.pyk
+        (final: prev: let
+          poetry2nix =
+            inputs.poetry2nix.lib.mkPoetry2Nix { pkgs = prev; };
+          in {
+          mir-semantics = poetry2nix.mkPoetryApplication {
             python = prev.python310;
-            projectDir = ./.;
+            projectDir = ./kmir;
+            overrides = poetry2nix.overrides.withDefaults
+              (finalPython: prevPython: {
+                kframework = prev.pyk-python310;
+              });
             groups = [];
             # We remove `dev` from `checkGroups`, so that poetry2nix does not try to resolve dev dependencies.
             checkGroups = [];