From 93926c7b4da84b641357440ac420e66f3e687ca8 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 12 Nov 2025 14:00:13 +0000 Subject: [PATCH 1/6] deps/k_release: Set Version 7.1.302 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 2d5fc4f..9f1a328 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.301 +7.1.302 From 4ac3735ce0793c2df8fc8fa735b54db282ac7c63 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 17 Nov 2025 09:05:35 +0000 Subject: [PATCH 2/6] Sync uv files: kframework 7.1.302 --- pyproject.toml | 2 +- uv.lock | 20 ++++++++++---------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 3274674..cfda8bb 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework==7.1.301", + "kframework==7.1.302", ] [[project.authors]] diff --git a/uv.lock b/uv.lock index e543a92..bca9bee 100644 --- a/uv.lock +++ b/uv.lock @@ -210,14 +210,14 @@ wheels = [ [[package]] name = "click" -version = "8.3.0" +version = "8.3.1" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "colorama", marker = "sys_platform == 'win32'" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/46/61/de6cd827efad202d7057d93e0fed9294b96952e188f7384832791c7b2254/click-8.3.0.tar.gz", hash = "sha256:e7b8232224eba16f4ebe410c25ced9f7875cb5f3263ffc93cc3e8da705e229c4", size = 276943, upload-time = "2025-09-18T17:32:23.696Z" } +sdist = { url = "https://files.pythonhosted.org/packages/3d/fa/656b739db8587d7b5dfa22e22ed02566950fbfbcdc20311993483657a5c0/click-8.3.1.tar.gz", hash = "sha256:12ff4785d337a1bb490bb7e9c2b1ee5da3112e94a8622f26a6c77f5d2fc6842a", size = 295065, upload-time = "2025-11-15T20:45:42.706Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/db/d3/9dcc0f5797f070ec8edf30fbadfb200e71d9db6b84d211e3b2085a7589a0/click-8.3.0-py3-none-any.whl", hash = "sha256:9b9f285302c6e3064f4330c05f05b81945b2a39544279343e6e7c5f27a9baddc", size = 107295, upload-time = "2025-09-18T17:32:22.42Z" }, + { url = "https://files.pythonhosted.org/packages/98/78/01c019cdb5d6498122777c1a43056ebb3ebfeef2076d9d026bfe15583b2b/click-8.3.1-py3-none-any.whl", hash = "sha256:981153a64e25f12d547d3426c367a4857371575ee7ad18df2a6183ab0545b2a6", size = 108274, upload-time = "2025-11-15T20:45:41.139Z" }, ] [[package]] @@ -479,15 +479,15 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.147.0" +version = "6.148.1" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/f3/53/e19fe74671fd60db86344a4623c818fac58b813cc3efbb7ea3b3074dcb71/hypothesis-6.147.0.tar.gz", hash = "sha256:72e6004ea3bd1460bdb4640b6389df23b87ba7a4851893fd84d1375635d3e507", size = 468587, upload-time = "2025-11-06T20:27:29.682Z" } +sdist = { url = "https://files.pythonhosted.org/packages/fd/5f/b08ad8dc0a79c3828dd137b4f55243f5d0342b02e963f5298dcb3bec7021/hypothesis-6.148.1.tar.gz", hash = "sha256:98851429bd89b0c8835e8ebca6705c28dec56517576e5606fc3b841ddb0dc1c7", size = 468664, upload-time = "2025-11-16T07:58:37.959Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/b2/1b/932eddc3d55c4ed6c585006cffe6c6a133b5e1797d873de0bcf5208e4fed/hypothesis-6.147.0-py3-none-any.whl", hash = "sha256:de588807b6da33550d32f47bcd42b1a86d061df85673aa73e6443680249d185e", size = 535595, upload-time = "2025-11-06T20:27:23.536Z" }, + { url = "https://files.pythonhosted.org/packages/a4/39/a4f6a711970e6c23be35b967907f766064e27945f5b44855a00fa14af3bb/hypothesis-6.148.1-py3-none-any.whl", hash = "sha256:2cca1a20e8fcd230da86bb6d9f3e940a052caef0d4327c12b5694d164ea0f89e", size = 535684, upload-time = "2025-11-16T07:58:36.175Z" }, ] [[package]] @@ -531,7 +531,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.301" +version = "7.1.302" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -548,9 +548,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/32/81/d2c8bed054adff8ce33a73e1d13f965d97a48d56c55e01612bde2c587826/kframework-7.1.301.tar.gz", hash = "sha256:2dae3e1863ea7f0107d1aacdd42174beaec8af0ac794eda34b328c3de9835aa8", size = 243112, upload-time = "2025-10-30T10:11:05.711Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/68/f3/820a38f833b573e1900f6d6fa15a289f6b15a7eeac406bdfa36c5e82bc25/kframework-7.1.301-py3-none-any.whl", hash = "sha256:480714ad945afa93c3b6d3d27e42591833b2de03aa67b48098533d190781de6e", size = 294306, upload-time = "2025-10-30T10:11:04.052Z" }, + { 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" }, ] [[package]] @@ -581,7 +581,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.301" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.302" }] [package.metadata.requires-dev] dev = [ From 2cc2fc1fd39081d758370d9976680cea9bf5691f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 17 Nov 2025 09:06:28 +0000 Subject: [PATCH 3/6] flake.{nix,lock}: update Nix derivations --- flake.lock | 14 +++++++------- flake.nix | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/flake.lock b/flake.lock index 04097cb..4807dfe 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1761816560, - "narHash": "sha256-W+HQS0dexhL1iBQ7eAmZS3r6hv5Ui0VmZhgAqehx0yE=", + "lastModified": 1762952324, + "narHash": "sha256-M+YRV1ILOUc0dO4IMPIe+OBvDkNvtKfHxWogNa/0oU4=", "owner": "runtimeverification", "repo": "k", - "rev": "137f9560cf035365a957770d41882cb6c75c3982", + "rev": "46b29f6d8bac227f05f1d83833dd148a7bd1fe3f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.301", + "ref": "v7.1.302", "repo": "k", "type": "github" } @@ -215,11 +215,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1762977756, - "narHash": "sha256-4PqRErxfe+2toFJFgcRKZ0UI9NSIOJa+7RXVtBhy4KE=", + "lastModified": 1763283776, + "narHash": "sha256-Y7TDFPK4GlqrKrivOcsHG8xSGqQx3A6c+i7novT85Uk=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "c5ae371f1a6a7fd27823bc500d9390b38c05fa55", + "rev": "50a96edd8d0db6cc8db57dab6bb6d6ee1f3dc49a", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 5675399..6579074 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "rv-nix-tools/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; - k-framework.url = "github:runtimeverification/k/v7.1.301"; + k-framework.url = "github:runtimeverification/k/v7.1.302"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; uv2nix.url = "github:pyproject-nix/uv2nix/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c"; # uv2nix requires a newer version of nixpkgs From e2d0b9d1debf9299d91d69d1ab392ec829481994 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 17 Nov 2025 09:10:36 +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 9f1a328..0113aee 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.302 +7.1.304 From 2ad003b669cb75a18cf6553495cc690c4ab88481 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 17 Nov 2025 09:10:59 +0000 Subject: [PATCH 5/6] Sync uv files: kframework 7.1.304 --- pyproject.toml | 2 +- uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index cfda8bb..069513b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework==7.1.302", + "kframework==7.1.304", ] [[project.authors]] diff --git a/uv.lock b/uv.lock index bca9bee..8f001ef 100644 --- a/uv.lock +++ b/uv.lock @@ -531,7 +531,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.302" +version = "7.1.304" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -548,9 +548,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/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/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/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]] @@ -581,7 +581,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.302" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.304" }] [package.metadata.requires-dev] dev = [ From 85c9810d5dade664c62d982423e8bf45123d51c8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 17 Nov 2025 09:11:47 +0000 Subject: [PATCH 6/6] flake.{nix,lock}: update Nix derivations --- flake.lock | 36 ++++++++++++++++++------------------ flake.nix | 2 +- 2 files changed, 19 insertions(+), 19 deletions(-) diff --git a/flake.lock b/flake.lock index 4807dfe..38fcbde 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1762952324, - "narHash": "sha256-M+YRV1ILOUc0dO4IMPIe+OBvDkNvtKfHxWogNa/0oU4=", + "lastModified": 1763152138, + "narHash": "sha256-9TeZRFTWy/e9dZQnsZg2Kp0oj0Jews0b2q43vULKmQY=", "owner": "runtimeverification", "repo": "k", - "rev": "46b29f6d8bac227f05f1d83833dd148a7bd1fe3f", + "rev": "e064582a5a4e0f00bc8c32bee86f4d1382887ea2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.302", + "ref": "v7.1.304", "repo": "k", "type": "github" } @@ -199,11 +199,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": { @@ -295,17 +295,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" } }, @@ -346,11 +346,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": { @@ -560,17 +560,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 6579074..5f3b434 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "rv-nix-tools/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; - k-framework.url = "github:runtimeverification/k/v7.1.302"; + k-framework.url = "github:runtimeverification/k/v7.1.304"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; uv2nix.url = "github:pyproject-nix/uv2nix/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c"; # uv2nix requires a newer version of nixpkgs