From fb83bbaf5f438c5585fb64e31ef2ff835fdb2737 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:12:41 +0000 Subject: [PATCH 1/3] deps/k_release: Set Version 7.1.334 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 6da8e9a46b..de631dcd4a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.333 +7.1.334 From 9b222f34ee8264b90ec6b0cefc64f433781d3b77 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:13:31 +0000 Subject: [PATCH 2/3] kevm-pyk/: sync uv files pyk version 7.1.334 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/uv.lock | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index aecc50f9e6..734d4810bc 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -10,7 +10,7 @@ readme = "README.md" requires-python = ">=3.10" dependencies = [ "frozendict>=2.4.6,<3", - "kframework==7.1.333", + "kframework==7.1.334", "pathos", "tomlkit>=0.11.6", ] diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock index b13def2ceb..b7413a6807 100644 --- a/kevm-pyk/uv.lock +++ b/kevm-pyk/uv.lock @@ -460,11 +460,11 @@ wheels = [ [[package]] name = "filelock" -version = "3.29.1" +version = "3.29.3" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/1f/f9/f38573ed5844586db374d085911740a501ccfa373b455fc9413f09f85237/filelock-3.29.1.tar.gz", hash = "sha256:d97e6b1b9757569626c58caa07dc4beb1613f4a2938b1e8cc81afca398906c9e", size = 59335, upload-time = "2026-06-03T15:19:04.053Z" } +sdist = { url = "https://files.pythonhosted.org/packages/91/f5/3557bf28e0f1943e4849154c821533706e6dea010f96fb6aa0b6949037d1/filelock-3.29.3.tar.gz", hash = "sha256:7fc1b3f39cf172fd8203812043c57b8a65aef9969f38b6704f628b881f761a84", size = 61956, upload-time = "2026-06-10T17:37:11.832Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/4c/a0/614c5fe402fd88951df45f4dda2fa3b4e17a99ecd92340771929169b3b95/filelock-3.29.1-py3-none-any.whl", hash = "sha256:85199dfd706869641b72b2e8955d5416a4b2b7dc4b0e8e6d97b4cc1299a6983b", size = 40750, upload-time = "2026-06-03T15:19:02.959Z" }, + { url = "https://files.pythonhosted.org/packages/81/8f/b61d427c4f49a8bdadc93f4e7e74df8a6df6f77ee6e26bf0df53d3925363/filelock-3.29.3-py3-none-any.whl", hash = "sha256:e58333029cc9b925f39aad59b1d8f0a1ad836af4e60d7217f4a4dba87461261d", size = 42324, upload-time = "2026-06-10T17:37:10.37Z" }, ] [[package]] @@ -665,7 +665,7 @@ dev = [ [package.metadata] requires-dist = [ { name = "frozendict", specifier = ">=2.4.6,<3" }, - { name = "kframework", specifier = "==7.1.333" }, + { name = "kframework", specifier = "==7.1.334" }, { name = "pathos" }, { name = "tomlkit", specifier = ">=0.11.6" }, ] @@ -692,7 +692,7 @@ dev = [ [[package]] name = "kframework" -version = "7.1.333" +version = "7.1.334" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -711,9 +711,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/cb/cc/84becdbfc25485424a4693e68821d5a9d7ebc5d2b767c239f6839f5566f4/kframework-7.1.333.tar.gz", hash = "sha256:38ea0e9789d8635b7bbc705018c2ba686418f289be9016938d5779c8d9ceea49", size = 250649, upload-time = "2026-06-05T16:56:39.019Z" } +sdist = { url = "https://files.pythonhosted.org/packages/d5/68/fd56d6057195ec2f3b9e473e763d9f19db01435204579aa46075d599e14c/kframework-7.1.334.tar.gz", hash = "sha256:a7e4ab8d3bf904546dd3802135fd6604615c217d959b92b07ac94f6bc3a01cdb", size = 250659, upload-time = "2026-06-11T20:11:55.755Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/74/9e/00474f5a0c3c472b7d650ea4f592adae1bd5894303d3736139e2411322da/kframework-7.1.333-py3-none-any.whl", hash = "sha256:10b55ef7a52e3302fb857ea3adde376d65902701883bf6d788dfa6288fdccd03", size = 302347, upload-time = "2026-06-05T16:56:37.755Z" }, + { url = "https://files.pythonhosted.org/packages/d0/ef/242649f50145fe03272a1ec786a93935affc66a5a763a662908bded59478/kframework-7.1.334-py3-none-any.whl", hash = "sha256:39db9699d272edfca95d6d7046b7f2e813f09e62be6158609b4b45e16bef951e", size = 302347, upload-time = "2026-06-11T20:11:54.459Z" }, ] [[package]] From 98af24db225af08f46af735036eac547070ab664 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:14:52 +0000 Subject: [PATCH 3/3] flake.{nix,lock}: update Nix derivations --- flake.lock | 28 ++++++++++++++-------------- flake.nix | 2 +- 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/flake.lock b/flake.lock index 08cabcb78c..c0ade1934f 100644 --- a/flake.lock +++ b/flake.lock @@ -292,16 +292,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1780590347, - "narHash": "sha256-iYTKRQzsC56EfHNuDO/O9MbMFmNV9c2CM4NwOXSeSc4=", + "lastModified": 1781196098, + "narHash": "sha256-jor7jzFY251nQG1iCF0DHdgdr9SjXg4cRpmfIjyJiJo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "515eccf4a8ebbb0fe8ff807d15a96ce096ce2670", + "rev": "d4dc50c2cb7c0d4f411d3f7a744eef63d700f6bb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.150", + "ref": "v0.1.152", "repo": "haskell-backend", "type": "github" } @@ -400,16 +400,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780676015, - "narHash": "sha256-+VgM7JxjCOcqgY1xZ+pVQr9/Hk4Gy0+1cJH/Lv+xskk=", + "lastModified": 1781206352, + "narHash": "sha256-FYJ0reiIcsYT1PhoA9Teq3XZFN3dZ1Cucx61tR0fNSE=", "owner": "runtimeverification", "repo": "k", - "rev": "69f2b84533fd66be2013ab4a2bea9c3f59f01fca", + "rev": "94160cc600943a3e905ee8765ea147eaa79b2509", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.333", + "ref": "v7.1.334", "repo": "k", "type": "github" } @@ -533,11 +533,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1780243769, - "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", + "lastModified": 1780749050, + "narHash": "sha256-3av0pIjlOWQ6rDbNOmpUSvbNnJkGORQKKjb4LtCZsIY=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", + "rev": "a799d3e3886da994fa307f817a6bc705ae538eeb", "type": "github" }, "original": { @@ -549,11 +549,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1780243769, - "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", + "lastModified": 1780749050, + "narHash": "sha256-3av0pIjlOWQ6rDbNOmpUSvbNnJkGORQKKjb4LtCZsIY=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", + "rev": "a799d3e3886da994fa307f817a6bc705ae538eeb", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 2b3dd974a8..daeba0d3de 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4"; nixpkgs.follows = "rv-nix-tools/nixpkgs"; - k-framework.url = "github:runtimeverification/k/v7.1.333"; + k-framework.url = "github:runtimeverification/k/v7.1.334"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin = {