From d6c03d546a2e97e7e3e7506ce47a9796833a90f7 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 20:29:47 +0000 Subject: [PATCH 1/6] deps/k_release: Set Version 7.1.303 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9f1a3286f8..9779138309 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.302 +7.1.303 From d2e10e4812c3e20f2929cf73836c93e9eaf2d386 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 20:30:22 +0000 Subject: [PATCH 2/6] kevm-pyk/: sync uv files pyk version 7.1.303 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 220dcba5aa..3b6b06a408 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.302", + "kframework==7.1.303", "pathos", "tomlkit>=0.11.6", ] diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock index cdc55ca1f8..ae24565385 100644 --- a/kevm-pyk/uv.lock +++ b/kevm-pyk/uv.lock @@ -600,7 +600,7 @@ dev = [ [package.metadata] requires-dist = [ { name = "frozendict", specifier = ">=2.4.6,<3" }, - { name = "kframework", specifier = "==7.1.302" }, + { name = "kframework", specifier = "==7.1.303" }, { name = "pathos" }, { name = "tomlkit", specifier = ">=0.11.6" }, ] @@ -626,7 +626,7 @@ dev = [ [[package]] name = "kframework" -version = "7.1.302" +version = "7.1.303" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -643,9 +643,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/52/81/f5ffe116fdab4db9f172e7af0782e0cf8be11a37bc433d492ed102440d73/kframework-7.1.302.tar.gz", hash = "sha256:27a11afeef4597603775756d61ee31b8db2046caf39ba8ffc0d678267cd31b30", size = 243260, upload-time = "2025-11-12T13:59:38.672Z" } +sdist = { url = "https://files.pythonhosted.org/packages/17/b9/5c6ccf03706b04fd483e9affdcb157ce52a5775230b416aac282554edede/kframework-7.1.303.tar.gz", hash = "sha256:890e143aa01721af8e29aa697db9832540938e440badf2d9699560dfa1f39278", size = 243266, upload-time = "2025-11-14T20:29:05.401Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/f0/fc/2d9f6c41d8972f44dbb1a6e7a9aa6a2aa63b4636e0a7ee0b741bd099bcfa/kframework-7.1.302-py3-none-any.whl", hash = "sha256:c67c6044c47c26a3e250268dadc9a95c41734769fa0cde9edf9e99a822d9f454", size = 294462, upload-time = "2025-11-12T13:59:36.95Z" }, + { url = "https://files.pythonhosted.org/packages/da/36/fd143abac623a445fce526bf1308d17b100cfeb19c1a8a2b343ef4630084/kframework-7.1.303-py3-none-any.whl", hash = "sha256:89840eb48d27bcf747be1221be773ab965f8613e78b8c2dd0c37f3431bd734d9", size = 294462, upload-time = "2025-11-14T20:29:04.23Z" }, ] [[package]] From 5fd303847b44dd077ce8e25a0aee8ecc2d7f32bd Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 20:31:43 +0000 Subject: [PATCH 3/6] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/flake.lock b/flake.lock index ad8eacc731..c69a8568b6 100644 --- a/flake.lock +++ b/flake.lock @@ -400,16 +400,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1762952324, - "narHash": "sha256-M+YRV1ILOUc0dO4IMPIe+OBvDkNvtKfHxWogNa/0oU4=", + "lastModified": 1763147313, + "narHash": "sha256-h/suHXqqpkbXaNXeS5Sz9rMNE65CLd10On8A+FVifzQ=", "owner": "runtimeverification", "repo": "k", - "rev": "46b29f6d8bac227f05f1d83833dd148a7bd1fe3f", + "rev": "93cd2f0a29f72aec9d217d2069194d287bfe35c8", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.302", + "ref": "v7.1.303", "repo": "k", "type": "github" } @@ -533,11 +533,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1760284886, - "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", + "lastModified": 1762977756, + "narHash": "sha256-4PqRErxfe+2toFJFgcRKZ0UI9NSIOJa+7RXVtBhy4KE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", + "rev": "c5ae371f1a6a7fd27823bc500d9390b38c05fa55", "type": "github" }, "original": { @@ -706,17 +706,17 @@ ] }, "locked": { - "lastModified": 1759113590, - "narHash": "sha256-fgxP2RCN4cg0jYiMYoETYc7TZ2JjgyvJa2y9l8oSUFE=", + "lastModified": 1761781027, + "narHash": "sha256-YDvxPAm2WnxrznRqWwHLjryBGG5Ey1ATEJXrON+TWt8=", "owner": "pyproject-nix", "repo": "build-system-pkgs", - "rev": "dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5", + "rev": "795a980d25301e5133eca37adae37283ec3c8e66", "type": "github" }, "original": { "owner": "pyproject-nix", "repo": "build-system-pkgs", - "rev": "dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5", + "rev": "795a980d25301e5133eca37adae37283ec3c8e66", "type": "github" } }, diff --git a/flake.nix b/flake.nix index d940851fa1..9be1a70d16 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.302"; + k-framework.url = "github:runtimeverification/k/v7.1.303"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin = { From 13d39cd1bf293108de473b653ec82382e4f9d4c2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 21:21:50 +0000 Subject: [PATCH 4/6] deps/k_release: Set Version 7.1.304 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9779138309..0113aee8de 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.303 +7.1.304 From 374870e9974a79abe8a72824de75983a07f2043a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 21:22:33 +0000 Subject: [PATCH 5/6] kevm-pyk/: sync uv files pyk version 7.1.304 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 3b6b06a408..6e97e1a292 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.303", + "kframework==7.1.304", "pathos", "tomlkit>=0.11.6", ] diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock index ae24565385..4a47a475c5 100644 --- a/kevm-pyk/uv.lock +++ b/kevm-pyk/uv.lock @@ -600,7 +600,7 @@ dev = [ [package.metadata] requires-dist = [ { name = "frozendict", specifier = ">=2.4.6,<3" }, - { name = "kframework", specifier = "==7.1.303" }, + { name = "kframework", specifier = "==7.1.304" }, { name = "pathos" }, { name = "tomlkit", specifier = ">=0.11.6" }, ] @@ -626,7 +626,7 @@ dev = [ [[package]] name = "kframework" -version = "7.1.303" +version = "7.1.304" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -643,9 +643,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/17/b9/5c6ccf03706b04fd483e9affdcb157ce52a5775230b416aac282554edede/kframework-7.1.303.tar.gz", hash = "sha256:890e143aa01721af8e29aa697db9832540938e440badf2d9699560dfa1f39278", size = 243266, upload-time = "2025-11-14T20:29:05.401Z" } +sdist = { url = "https://files.pythonhosted.org/packages/8a/99/72edcc86b03f7652ee782e7be36a5b9508046c57ffe23b87ee6481f2e324/kframework-7.1.304.tar.gz", hash = "sha256:09be9933a8a1cc4017905a7b0ea0988f064c2d84d29360dc846e33520bbeed50", size = 243270, upload-time = "2025-11-14T21:21:11.447Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/da/36/fd143abac623a445fce526bf1308d17b100cfeb19c1a8a2b343ef4630084/kframework-7.1.303-py3-none-any.whl", hash = "sha256:89840eb48d27bcf747be1221be773ab965f8613e78b8c2dd0c37f3431bd734d9", size = 294462, upload-time = "2025-11-14T20:29:04.23Z" }, + { url = "https://files.pythonhosted.org/packages/3c/fa/eb7bded015cb1c4dc256ddf6398fec9d62708ee49dea083aac55a180b2aa/kframework-7.1.304-py3-none-any.whl", hash = "sha256:1be5eee4b23ba47e748f457a1d3845b3aba18540b5e9a579bd508b2a43906274", size = 294462, upload-time = "2025-11-14T21:21:09.609Z" }, ] [[package]] From 92d9c6c96f8834fb269b37311ae07132d5aadf0b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 14 Nov 2025 21:23:50 +0000 Subject: [PATCH 6/6] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/flake.lock b/flake.lock index c69a8568b6..497d4fe79d 100644 --- a/flake.lock +++ b/flake.lock @@ -400,16 +400,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1763147313, - "narHash": "sha256-h/suHXqqpkbXaNXeS5Sz9rMNE65CLd10On8A+FVifzQ=", + "lastModified": 1763152138, + "narHash": "sha256-9TeZRFTWy/e9dZQnsZg2Kp0oj0Jews0b2q43vULKmQY=", "owner": "runtimeverification", "repo": "k", - "rev": "93cd2f0a29f72aec9d217d2069194d287bfe35c8", + "rev": "e064582a5a4e0f00bc8c32bee86f4d1382887ea2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.303", + "ref": "v7.1.304", "repo": "k", "type": "github" } @@ -758,11 +758,11 @@ ] }, "locked": { - "lastModified": 1758265079, - "narHash": "sha256-amLaLNwKSZPShQHzfgmc/9o76dU8xzN0743dWgvYlr8=", + "lastModified": 1760402624, + "narHash": "sha256-jF6UKLs2uGc2rtved8Vrt58oTWjTQoAssuYs/0578Z4=", "owner": "pyproject-nix", "repo": "pyproject.nix", - "rev": "02e9418fd4af638447dca4b17b1280da95527fc9", + "rev": "84c4ea102127c77058ea1ed7be7300261fafc7d2", "type": "github" }, "original": { @@ -1135,17 +1135,17 @@ "pyproject-nix": "pyproject-nix" }, "locked": { - "lastModified": 1760161183, - "narHash": "sha256-1USClOZthg+pGJp+p3ouVtTMO+ZY8Cd0+FbsNN/RpO8=", + "lastModified": 1763017287, + "narHash": "sha256-6mv/3f2v2ZDnL1PKy32kpaIfLfGBtGVBrqpFZCXzFzI=", "owner": "pyproject-nix", "repo": "uv2nix", - "rev": "b6ed0901aec29583532abe65117b18d86a49b617", + "rev": "c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c", "type": "github" }, "original": { "owner": "pyproject-nix", "repo": "uv2nix", - "rev": "b6ed0901aec29583532abe65117b18d86a49b617", + "rev": "c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 9be1a70d16..a1abc639ab 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.303"; + k-framework.url = "github:runtimeverification/k/v7.1.304"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin = {