From b63838a6af6f0a02849a304e54904688b8b39902 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 07:58:24 +0000 Subject: [PATCH 01/14] deps/stable-mir-json_release: Set Version 62a7917bd2ca1d171a4d1108e3f68a13505d1465 --- deps/stable-mir-json_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release index 52b29c8d2..cc4b0a8b6 100644 --- a/deps/stable-mir-json_release +++ b/deps/stable-mir-json_release @@ -1 +1 @@ -9a7810914a338dfc2533b04bdb14b19c1943fdb8 +62a7917bd2ca1d171a4d1108e3f68a13505d1465 From c54f15dff35486bf88dc07ea71a064549d309b9b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 07:58:38 +0000 Subject: [PATCH 02/14] kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.313 --- kmir/uv.lock | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/kmir/uv.lock b/kmir/uv.lock index 8ed1b206d..ee4217601 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -99,20 +99,20 @@ wheels = [ [[package]] name = "certifi" -version = "2026.1.4" +version = "2026.2.25" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/e0/2d/a891ca51311197f6ad14a7ef42e2399f36cf2f9bd44752b3dc4eab60fdc5/certifi-2026.1.4.tar.gz", hash = "sha256:ac726dd470482006e014ad384921ed6438c457018f4b3d204aea4281258b2120", size = 154268, upload-time = "2026-01-04T02:42:41.825Z" } +sdist = { url = "https://files.pythonhosted.org/packages/af/2d/7bf41579a8986e348fa033a31cdd0e4121114f6bce2457e8876010b092dd/certifi-2026.2.25.tar.gz", hash = "sha256:e887ab5cee78ea814d3472169153c2d12cd43b14bd03329a39a9c6e2e80bfba7", size = 155029, upload-time = "2026-02-25T02:54:17.342Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/e6/ad/3cc14f097111b4de0040c83a525973216457bbeeb63739ef1ed275c1c021/certifi-2026.1.4-py3-none-any.whl", hash = "sha256:9943707519e4add1115f44c2bc244f782c0249876bf51b6599fee1ffbedd685c", size = 152900, upload-time = "2026-01-04T02:42:40.15Z" }, + { url = "https://files.pythonhosted.org/packages/9a/3c/c17fb3ca2d9c3acff52e30b309f538586f9f5b9c9cf454f3845fc9af4881/certifi-2026.2.25-py3-none-any.whl", hash = "sha256:027692e4402ad994f1c42e52a4997a9763c646b73e4096e4d5d6db8af1d6f0fa", size = 153684, upload-time = "2026-02-25T02:54:15.766Z" }, ] [[package]] name = "chardet" -version = "5.2.0" +version = "6.0.0.post1" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/f3/0d/f7b6ab21ec75897ed80c17d79b15951a719226b9fababf1e40ea74d69079/chardet-5.2.0.tar.gz", hash = "sha256:1b3b6ff479a8c414bc3fa2c0852995695c4a026dcd6d0633b2dd092ca39c1cf7", size = 2069618, upload-time = "2023-08-01T19:23:02.662Z" } +sdist = { url = "https://files.pythonhosted.org/packages/7f/42/fb9436c103a881a377e34b9f58d77b5f503461c702ff654ebe86151bcfe9/chardet-6.0.0.post1.tar.gz", hash = "sha256:6b78048c3c97c7b2ed1fbad7a18f76f5a6547f7d34dbab536cc13887c9a92fa4", size = 12521798, upload-time = "2026-02-22T15:09:17.925Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/38/6f/f5fbc992a329ee4e0f288c1fe0e2ad9485ed064cac731ed2fe47dcc38cbf/chardet-5.2.0-py3-none-any.whl", hash = "sha256:e1cf59446890a00105fe7b7912492ea04b6e6f06d4b742b2c788469e34c82970", size = 199385, upload-time = "2023-08-01T19:23:00.661Z" }, + { url = "https://files.pythonhosted.org/packages/66/42/5de54f632c2de53cd3415b3703383d5fff43a94cbc0567ef362515261a21/chardet-6.0.0.post1-py3-none-any.whl", hash = "sha256:c894a36800549adf7bb5f2af47033281b75fdfcd2aa0f0243be0ad22a52e2dcb", size = 627245, upload-time = "2026-02-22T15:09:15.876Z" }, ] [[package]] From 170e3e5c06b8360871e93c83c70b3404e4b04655 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 07:58:39 +0000 Subject: [PATCH 03/14] deps/stable-mir-json: sync submodule 62a7917bd2ca1d171a4d1108e3f68a13505d1465 --- deps/stable-mir-json | 2 +- kmir/src/kmir/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/stable-mir-json b/deps/stable-mir-json index 9a7810914..62a7917bd 160000 --- a/deps/stable-mir-json +++ b/deps/stable-mir-json @@ -1 +1 @@ -Subproject commit 9a7810914a338dfc2533b04bdb14b19c1943fdb8 +Subproject commit 62a7917bd2ca1d171a4d1108e3f68a13505d1465 diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 027a05fd8..702baec84 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from typing import Final __version__: Final = version('kmir') -__smir_version__: Final = '9a7810914a338dfc2533b04bdb14b19c1943fdb8' +__smir_version__: Final = '62a7917bd2ca1d171a4d1108e3f68a13505d1465' From b951179cd4183220d61f65658ccd112648f8c9a3 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 07:59:07 +0000 Subject: [PATCH 04/14] 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 15bd0b3a7..e7b0061d0 100644 --- a/flake.lock +++ b/flake.lock @@ -213,11 +213,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1771369470, - "narHash": "sha256-0NBlEBKkN3lufyvFegY4TYv5mCNHbi5OmBDrzihbBMQ=", + "lastModified": 1771848320, + "narHash": "sha256-0MAd+0mun3K/Ns8JATeHT1sX28faLII5hVLq0L3BdZU=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "0182a361324364ae3f436a63005877674cf45efb", + "rev": "2fc6539b481e1d2569f25f8799236694180c0993", "type": "github" }, "original": { @@ -556,17 +556,17 @@ "rv-nix-tools": "rv-nix-tools_4" }, "locked": { - "lastModified": 1771566009, - "narHash": "sha256-qQGfpcHC12ltraBMnvlwSuY0bEgsMMPdNEjaLW9W8yQ=", + "lastModified": 1772092676, + "narHash": "sha256-4QEQdXvWJQX6K/1DNM5jaMY/UwQHTNCbPVP22ZirOzk=", "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "9a7810914a338dfc2533b04bdb14b19c1943fdb8", + "rev": "62a7917bd2ca1d171a4d1108e3f68a13505d1465", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "9a7810914a338dfc2533b04bdb14b19c1943fdb8", + "rev": "62a7917bd2ca1d171a4d1108e3f68a13505d1465", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 93a32ea74..5e1088ffa 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ flake-utils.url = "github:numtide/flake-utils"; - stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/9a7810914a338dfc2533b04bdb14b19c1943fdb8"; + stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/62a7917bd2ca1d171a4d1108e3f68a13505d1465"; stable-mir-json-flake = { inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils"; From 12620d6aa937176d72dd128616a448ce355829b4 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 12:06:59 +0000 Subject: [PATCH 05/14] deps/stable-mir-json_release: Set Version cab07e2d7848e887a1cacdb947703b298a99bc69 --- deps/stable-mir-json_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release index cc4b0a8b6..a00f4f5dd 100644 --- a/deps/stable-mir-json_release +++ b/deps/stable-mir-json_release @@ -1 +1 @@ -62a7917bd2ca1d171a4d1108e3f68a13505d1465 +cab07e2d7848e887a1cacdb947703b298a99bc69 From 4491e1eaa9dfba939b106e46d32e543f3c284f29 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 12:07:12 +0000 Subject: [PATCH 06/14] deps/stable-mir-json: sync submodule cab07e2d7848e887a1cacdb947703b298a99bc69 --- deps/stable-mir-json | 2 +- kmir/src/kmir/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/stable-mir-json b/deps/stable-mir-json index 62a7917bd..cab07e2d7 160000 --- a/deps/stable-mir-json +++ b/deps/stable-mir-json @@ -1 +1 @@ -Subproject commit 62a7917bd2ca1d171a4d1108e3f68a13505d1465 +Subproject commit cab07e2d7848e887a1cacdb947703b298a99bc69 diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 702baec84..dfb568b72 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from typing import Final __version__: Final = version('kmir') -__smir_version__: Final = '62a7917bd2ca1d171a4d1108e3f68a13505d1465' +__smir_version__: Final = 'cab07e2d7848e887a1cacdb947703b298a99bc69' From c892e4b0637f9a784c79a3fab178dee7729b9ace Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Feb 2026 12:07:13 +0000 Subject: [PATCH 07/14] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index e7b0061d0..64ee02353 100644 --- a/flake.lock +++ b/flake.lock @@ -556,17 +556,17 @@ "rv-nix-tools": "rv-nix-tools_4" }, "locked": { - "lastModified": 1772092676, - "narHash": "sha256-4QEQdXvWJQX6K/1DNM5jaMY/UwQHTNCbPVP22ZirOzk=", + "lastModified": 1772107587, + "narHash": "sha256-piFUFFduCuAGDJefNcRabncWey4Eew0uQCvE3mxVHlk=", "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "62a7917bd2ca1d171a4d1108e3f68a13505d1465", + "rev": "cab07e2d7848e887a1cacdb947703b298a99bc69", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "62a7917bd2ca1d171a4d1108e3f68a13505d1465", + "rev": "cab07e2d7848e887a1cacdb947703b298a99bc69", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 5e1088ffa..6a0176aa3 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ flake-utils.url = "github:numtide/flake-utils"; - stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/62a7917bd2ca1d171a4d1108e3f68a13505d1465"; + stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/cab07e2d7848e887a1cacdb947703b298a99bc69"; stable-mir-json-flake = { inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils"; From ed002c7f4e78646f10f0567245e3ae2556e291e4 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 28 Feb 2026 07:46:39 +0000 Subject: [PATCH 08/14] deps/stable-mir-json_release: Set Version ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 --- deps/stable-mir-json_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release index a00f4f5dd..686488706 100644 --- a/deps/stable-mir-json_release +++ b/deps/stable-mir-json_release @@ -1 +1 @@ -cab07e2d7848e887a1cacdb947703b298a99bc69 +ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 From f030a40e18f2d5666a67ba34bea110461e1a0feb Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 28 Feb 2026 07:46:50 +0000 Subject: [PATCH 09/14] deps/stable-mir-json: sync submodule ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 --- deps/stable-mir-json | 2 +- kmir/src/kmir/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/stable-mir-json b/deps/stable-mir-json index cab07e2d7..ff1a18f05 160000 --- a/deps/stable-mir-json +++ b/deps/stable-mir-json @@ -1 +1 @@ -Subproject commit cab07e2d7848e887a1cacdb947703b298a99bc69 +Subproject commit ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index dfb568b72..df0f5677d 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from typing import Final __version__: Final = version('kmir') -__smir_version__: Final = 'cab07e2d7848e887a1cacdb947703b298a99bc69' +__smir_version__: Final = 'ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9' From 084876931ec455678dd30fbbc1750e13720f368a Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 28 Feb 2026 07:47:11 +0000 Subject: [PATCH 10/14] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 64ee02353..8897c42ba 100644 --- a/flake.lock +++ b/flake.lock @@ -556,17 +556,17 @@ "rv-nix-tools": "rv-nix-tools_4" }, "locked": { - "lastModified": 1772107587, - "narHash": "sha256-piFUFFduCuAGDJefNcRabncWey4Eew0uQCvE3mxVHlk=", + "lastModified": 1772264770, + "narHash": "sha256-BHeNhsdPYqCXsjFtyDdSQEMYse6tqFLactFHKngriO0=", "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "cab07e2d7848e887a1cacdb947703b298a99bc69", + "rev": "ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "cab07e2d7848e887a1cacdb947703b298a99bc69", + "rev": "ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 6a0176aa3..f800660b6 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ flake-utils.url = "github:numtide/flake-utils"; - stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/cab07e2d7848e887a1cacdb947703b298a99bc69"; + stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9"; stable-mir-json-flake = { inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils"; From f6011f42f984427730082c04ae8c80d6b7a2960d Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 28 Feb 2026 11:36:30 +0000 Subject: [PATCH 11/14] deps/stable-mir-json_release: Set Version e8750665669f19be4bbd21d8e5465c11e009dcaa --- deps/stable-mir-json_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release index 686488706..a9e83cc1f 100644 --- a/deps/stable-mir-json_release +++ b/deps/stable-mir-json_release @@ -1 +1 @@ -ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 +e8750665669f19be4bbd21d8e5465c11e009dcaa From c789a88d366f4dcb06e9f180b6368db6ca72dbc8 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sat, 28 Feb 2026 11:36:44 +0000 Subject: [PATCH 12/14] kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.313 --- kmir/uv.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/uv.lock b/kmir/uv.lock index ee4217601..8520ed48b 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -529,11 +529,11 @@ wheels = [ [[package]] name = "isort" -version = "8.0.0" +version = "8.0.1" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/bf/e3/e72b0b3a85f24cf5fc2cd8e92b996592798f896024c5cdf3709232e6e377/isort-8.0.0.tar.gz", hash = "sha256:fddea59202f231e170e52e71e3510b99c373b6e571b55d9c7b31b679c0fed47c", size = 769482, upload-time = "2026-02-19T16:31:59.716Z" } +sdist = { url = "https://files.pythonhosted.org/packages/ef/7c/ec4ab396d31b3b395e2e999c8f46dec78c5e29209fac49d1f4dace04041d/isort-8.0.1.tar.gz", hash = "sha256:171ac4ff559cdc060bcfff550bc8404a486fee0caab245679c2abe7cb253c78d", size = 769592, upload-time = "2026-02-28T10:08:20.685Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/74/ea/cf3aad99dd12c026e2d6835d559efb6fc50ccfd5b46d42d5fec2608b116a/isort-8.0.0-py3-none-any.whl", hash = "sha256:184916a933041c7cf718787f7e52064f3c06272aff69a5cb4dc46497bd8911d9", size = 89715, upload-time = "2026-02-19T16:31:57.745Z" }, + { url = "https://files.pythonhosted.org/packages/3e/95/c7c34aa53c16353c56d0b802fba48d5f5caa2cdee7958acbcb795c830416/isort-8.0.1-py3-none-any.whl", hash = "sha256:28b89bc70f751b559aeca209e6120393d43fbe2490de0559662be7a9787e3d75", size = 89733, upload-time = "2026-02-28T10:08:19.466Z" }, ] [[package]] From 8b1cb3cd62d078f7305113a13dcdc95bf016e744 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sat, 28 Feb 2026 11:36:44 +0000 Subject: [PATCH 13/14] deps/stable-mir-json: sync submodule e8750665669f19be4bbd21d8e5465c11e009dcaa --- deps/stable-mir-json | 2 +- kmir/src/kmir/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/stable-mir-json b/deps/stable-mir-json index ff1a18f05..e87506656 160000 --- a/deps/stable-mir-json +++ b/deps/stable-mir-json @@ -1 +1 @@ -Subproject commit ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9 +Subproject commit e8750665669f19be4bbd21d8e5465c11e009dcaa diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index df0f5677d..a411b04e0 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from typing import Final __version__: Final = version('kmir') -__smir_version__: Final = 'ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9' +__smir_version__: Final = 'e8750665669f19be4bbd21d8e5465c11e009dcaa' From 65517d04bc3d96f191928138a9e477c11665799d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sat, 28 Feb 2026 11:37:18 +0000 Subject: [PATCH 14/14] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 8897c42ba..6afc5eb2f 100644 --- a/flake.lock +++ b/flake.lock @@ -556,17 +556,17 @@ "rv-nix-tools": "rv-nix-tools_4" }, "locked": { - "lastModified": 1772264770, - "narHash": "sha256-BHeNhsdPYqCXsjFtyDdSQEMYse6tqFLactFHKngriO0=", + "lastModified": 1772278561, + "narHash": "sha256-a4AiN3HvNk9wtYXXUTreFNcjALhJPbzds+fl77ors4s=", "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9", + "rev": "e8750665669f19be4bbd21d8e5465c11e009dcaa", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "stable-mir-json", - "rev": "ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9", + "rev": "e8750665669f19be4bbd21d8e5465c11e009dcaa", "type": "github" } }, diff --git a/flake.nix b/flake.nix index f800660b6..e3f97a4f0 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ flake-utils.url = "github:numtide/flake-utils"; - stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/ff1a18f059ae8fa9c958f61bc5c280e9eceaaae9"; + stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/e8750665669f19be4bbd21d8e5465c11e009dcaa"; stable-mir-json-flake = { inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils";