From 8a7d3151a3aaef5c96b69f91ec06e47fe00a8e32 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:29:36 +0000 Subject: [PATCH 01/24] deps/k_release: Set Version 7.1.330 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 093b104b6..30c25a124 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.329 +7.1.330 From c03bb80ada752d2c7b12ce99aad94e5850a543fc Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:30:16 +0000 Subject: [PATCH 02/24] pykwasm/: sync uv files 7.1.330 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 20 ++++++++++---------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 1ebfab55e..2dab1cf7f 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.329", + "kframework>=7.1.330", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index ab7ae579e..0c8b275a6 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -509,11 +509,11 @@ wheels = [ [[package]] name = "filelock" -version = "3.29.0" +version = "3.29.1" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/b5/fe/997687a931ab51049acce6fa1f23e8f01216374ea81374ddee763c493db5/filelock-3.29.0.tar.gz", hash = "sha256:69974355e960702e789734cb4871f884ea6fe50bd8404051a3530bc07809cf90", size = 57571, upload-time = "2026-04-19T15:39:10.068Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/81/47/dd9a212ef6e343a6857485ffe25bba537304f1913bdbed446a23f7f592e1/filelock-3.29.0-py3-none-any.whl", hash = "sha256:96f5f6344709aa1572bbf631c640e4ebeeb519e08da902c39a001882f30ac258", size = 39812, upload-time = "2026-04-19T15:39:08.752Z" }, + { 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" }, ] [[package]] @@ -614,11 +614,11 @@ wheels = [ [[package]] name = "idna" -version = "3.17" +version = "3.18" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/b9/28/99c51f664567218d824af024c0251650fb27e4ca066df188dab0769c5b91/idna-3.17.tar.gz", hash = "sha256:5eb0cb53bc467c12eadcf6de83163ad8527cec9416f44b9b61b19caedad2b87f", size = 196048, upload-time = "2026-05-28T14:32:38.55Z" } +sdist = { url = "https://files.pythonhosted.org/packages/cd/63/9496c57188a2ee585e0f1db071d75089a11e98aa86eb99d9d7618fc1edce/idna-3.18.tar.gz", hash = "sha256:ffb385a7e039654cef1ab9ef32c6fafe283c0c0467bba1d9029738ce4a14a848", size = 196711, upload-time = "2026-06-02T14:34:07.794Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/de/a7/f76514cc40ad6234098ecdebda08732d75964776c51a42845b7da10649e2/idna-3.17-py3-none-any.whl", hash = "sha256:466e48829084efe2548012b855df21540b96f2e20e51bd124c851536556a592c", size = 65316, upload-time = "2026-05-28T14:32:37.035Z" }, + { url = "https://files.pythonhosted.org/packages/1e/5e/d4e9f1a599fb8e573b7b87160658329fbf28d19eac2718f51fc3def3aa5a/idna-3.18-py3-none-any.whl", hash = "sha256:7f952cbe720b688055e3f87de14f5c3e5fdaa8bc3928985c4077ca689de849a2", size = 65455, upload-time = "2026-06-02T14:34:06.319Z" }, ] [[package]] @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.329" +version = "7.1.330" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/4c/40/895de798a05cfd2a332fa3280e4a1483d4b5a5ec55ccc6833be91d65019f/kframework-7.1.329.tar.gz", hash = "sha256:2b7cd443520d7825a0d25b8a5f0a26a2a6def782f5d6b7f018134451ea0b5553", size = 247959, upload-time = "2026-05-30T06:06:08.341Z" } +sdist = { url = "https://files.pythonhosted.org/packages/90/2d/f83307cdd2c2d69e94d710a9661664f5cf40a487bef5063aa554910c2e1b/kframework-7.1.330.tar.gz", hash = "sha256:67c3ed3e3dd0eb34072ec7f3ead28b30c99b29b3579d2d05ec68f186a3f62b13", size = 247950, upload-time = "2026-06-03T16:28:57.956Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/95/6d/a245efc02f35fdd3d3542d94a16b55d0f8f2f97c39798737c155d6f38140/kframework-7.1.329-py3-none-any.whl", hash = "sha256:c28ae3c545a7fffe64e140f2d545283e384d742662474b183c297f5a34b86a71", size = 299676, upload-time = "2026-05-30T06:06:06.876Z" }, + { url = "https://files.pythonhosted.org/packages/b5/e1/aeec3de0ba4581f100e8071277e98d82a9bdc8acf557b0e05139fea31cf2/kframework-7.1.330-py3-none-any.whl", hash = "sha256:e82c4ed22cb7a50fa218c63678f1df9805c4661b6e408c334ef7c69226bff21d", size = 299676, upload-time = "2026-06-03T16:28:56.532Z" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.329" }, + { name = "kframework", specifier = ">=7.1.330" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From f66ade89fd16952697dd43fa121018830fb9fc3e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:31:16 +0000 Subject: [PATCH 03/24] 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 029664e98..9393f6feb 100644 --- a/flake.lock +++ b/flake.lock @@ -66,16 +66,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1779860189, - "narHash": "sha256-hCyz2V6ZDAqenUhZD7yPLk+EyiMauJghxMuOO1HHhWc=", + "lastModified": 1780406844, + "narHash": "sha256-6T8TAiAAjI2wHzvPWmTdRZW4hR8lf3C4ChqIJQZgL00=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "786db62a39ac444e04481719339a60ae240e85cd", + "rev": "ce904db16331b0cd07e1a9f06d34224aa461d02d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.147", + "ref": "v0.1.149", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780118549, - "narHash": "sha256-6gWqAi+ldVvpLZ83UZuijmo4q9SfY+kCc6oOjrGioZA=", + "lastModified": 1780501157, + "narHash": "sha256-bwxmVCazM25/RdtKjK7QvY3o/WN/yIfcWtXdKoR4y3Q=", "owner": "runtimeverification", "repo": "k", - "rev": "b6a2ca42867bc0736ab2153ad2152b69f63de02a", + "rev": "6e87368a81672bc5fb7b3f2fbafc68426f6d5346", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.329", + "ref": "v7.1.330", "repo": "k", "type": "github" } @@ -181,11 +181,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1779560665, - "narHash": "sha256-tpyBcxPpcQb8ukyNF7DoCwfSY3VPsxHoYwj00Cayv5o=", + "lastModified": 1780243769, + "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "64c08a7ca051951c8eae34e3e3cb1e202fe36786", + "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", "type": "github" }, "original": { @@ -197,11 +197,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1779560665, - "narHash": "sha256-tpyBcxPpcQb8ukyNF7DoCwfSY3VPsxHoYwj00Cayv5o=", + "lastModified": 1780243769, + "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "64c08a7ca051951c8eae34e3e3cb1e202fe36786", + "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 5b1937e2d..6732e6728 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.329"; + k-framework.url = "github:runtimeverification/k/v7.1.330"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; From 6678d87c65902139dcbe23ee67562e690f9fbb8f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:32:10 +0000 Subject: [PATCH 04/24] Set Version: 0.1.157 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 0214e6937..b0b5ddaf6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.156 +0.1.157 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 2dab1cf7f..81936d6aa 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "pykwasm" -version = "0.1.156" +version = "0.1.157" description = "" readme = "README.md" requires-python = "~=3.10" From cd41d35b7d59f84f658036e55f129a42ac8dcfbe Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:33:32 +0000 Subject: [PATCH 05/24] pykwasm/: sync uv files 7.1.330 --- pykwasm/uv.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 0c8b275a6..89ddc3ee9 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -1142,7 +1142,7 @@ wheels = [ [[package]] name = "pykwasm" -version = "0.1.156" +version = "0.1.157" source = { editable = "." } dependencies = [ { name = "kframework" }, From 1f828bb8a67aa81a303b011ae285b9d56876aae7 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jun 2026 15:39:11 +0000 Subject: [PATCH 06/24] deps/k_release: Set Version 7.1.331 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 30c25a124..66e58fce0 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.330 +7.1.331 From 19d35fde98acd402f1a4bdeb1c3977c207828e82 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jun 2026 15:39:43 +0000 Subject: [PATCH 07/24] pykwasm/: sync uv files 7.1.331 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 81936d6aa..56236f9ad 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.330", + "kframework>=7.1.331", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 89ddc3ee9..5c2183e04 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.330" +version = "7.1.331" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/90/2d/f83307cdd2c2d69e94d710a9661664f5cf40a487bef5063aa554910c2e1b/kframework-7.1.330.tar.gz", hash = "sha256:67c3ed3e3dd0eb34072ec7f3ead28b30c99b29b3579d2d05ec68f186a3f62b13", size = 247950, upload-time = "2026-06-03T16:28:57.956Z" } +sdist = { url = "https://files.pythonhosted.org/packages/52/fe/1fb0d06f0540494ce6ac854a32d26578174993e7cb348c4a96e9731a8387/kframework-7.1.331.tar.gz", hash = "sha256:bc1968e16ced3bab351b53f2d16db999c8103a2a7d85543db1f2a87698eae311", size = 247955, upload-time = "2026-06-04T15:38:35.362Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/b5/e1/aeec3de0ba4581f100e8071277e98d82a9bdc8acf557b0e05139fea31cf2/kframework-7.1.330-py3-none-any.whl", hash = "sha256:e82c4ed22cb7a50fa218c63678f1df9805c4661b6e408c334ef7c69226bff21d", size = 299676, upload-time = "2026-06-03T16:28:56.532Z" }, + { url = "https://files.pythonhosted.org/packages/5a/d7/105c3af02ba598d9aa2345dbda41bdc677898ac762cbf58b2825f2cd6819/kframework-7.1.331-py3-none-any.whl", hash = "sha256:f59811150e77b9c008ed2d6ac13c0ba60f0b84b74ddd7418a7ad0aba6bac9032", size = 299675, upload-time = "2026-06-04T15:38:34.099Z" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.330" }, + { name = "kframework", specifier = ">=7.1.331" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From 4b25bfa5062a4733d0334a706d21d468e630ebc5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jun 2026 15:40:41 +0000 Subject: [PATCH 08/24] 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 9393f6feb..d53a87ed4 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780501157, - "narHash": "sha256-bwxmVCazM25/RdtKjK7QvY3o/WN/yIfcWtXdKoR4y3Q=", + "lastModified": 1780585325, + "narHash": "sha256-QX27Z1nZab+E1EVzbIBLx+Q0MtUK0RwPfXGzDqltqnY=", "owner": "runtimeverification", "repo": "k", - "rev": "6e87368a81672bc5fb7b3f2fbafc68426f6d5346", + "rev": "5d786ca3578881344001874d04bd4957756a32b0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.330", + "ref": "v7.1.331", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 6732e6728..8ffa6828f 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.330"; + k-framework.url = "github:runtimeverification/k/v7.1.331"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; From 7feec7ad4537cab2eb254e0c9d0d4e9d47c1a647 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jun 2026 20:15:52 +0000 Subject: [PATCH 09/24] deps/k_release: Set Version 7.1.332 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 66e58fce0..5dcfc81c6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.331 +7.1.332 From 6e3a6ede0030da53d07baef42c294d4fee2d6ad8 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jun 2026 16:57:07 +0000 Subject: [PATCH 10/24] deps/k_release: Set Version 7.1.333 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 5dcfc81c6..6da8e9a46 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.332 +7.1.333 From 2457460db7e251936b01891a274a0f04fa965b89 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jun 2026 16:57:35 +0000 Subject: [PATCH 11/24] pykwasm/: sync uv files 7.1.333 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 56236f9ad..1d12ad69a 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.331", + "kframework>=7.1.333", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 5c2183e04..c411a85f8 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -601,15 +601,15 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.155.1" +version = "6.155.2" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/49/ef/4a94c12429986a90076057513e084bf32106a9bdc62c8e29f58673dd85a2/hypothesis-6.155.1.tar.gz", hash = "sha256:07c102031612b98d7c1be15ca3608c43e1234d9d07e3a190a53fa01536700196", size = 477300, upload-time = "2026-05-29T23:12:57.515Z" } +sdist = { url = "https://files.pythonhosted.org/packages/f5/04/64032a1dccd2233615c8a3f701bbb563558575ed017496a24b6d81762c91/hypothesis-6.155.2.tar.gz", hash = "sha256:ae36880287c9c5defe9f199d3d2b67d9947a4da2a46e6c57373cbdf2345b20e1", size = 477765, upload-time = "2026-06-05T16:32:23.63Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/26/6e/8c9cf32201238617454303b1605dfa667d90cd1ef51226f92d9c2b3b8f7c/hypothesis-6.155.1-py3-none-any.whl", hash = "sha256:2753f469df3ba3c483b08e0c37dbcbc41d8316ebb921abcc07493ee9c8a7d187", size = 543715, upload-time = "2026-05-29T23:12:54.77Z" }, + { url = "https://files.pythonhosted.org/packages/ec/6e/e735f27ac1a530a4cd0a31cd970ec495a3a11830fdc5d281cc292593b330/hypothesis-6.155.2-py3-none-any.whl", hash = "sha256:c85ce6dcd630a90ce501f1d1dd1bc84b97f5649ca8a27e134c8cbf5aa480b1a5", size = 544213, upload-time = "2026-06-05T16:32:21.15Z" }, ] [[package]] @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.331" +version = "7.1.333" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/52/fe/1fb0d06f0540494ce6ac854a32d26578174993e7cb348c4a96e9731a8387/kframework-7.1.331.tar.gz", hash = "sha256:bc1968e16ced3bab351b53f2d16db999c8103a2a7d85543db1f2a87698eae311", size = 247955, upload-time = "2026-06-04T15:38:35.362Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/5a/d7/105c3af02ba598d9aa2345dbda41bdc677898ac762cbf58b2825f2cd6819/kframework-7.1.331-py3-none-any.whl", hash = "sha256:f59811150e77b9c008ed2d6ac13c0ba60f0b84b74ddd7418a7ad0aba6bac9032", size = 299675, upload-time = "2026-06-04T15:38:34.099Z" }, + { 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" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.331" }, + { name = "kframework", specifier = ">=7.1.333" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From 38416f6cccb143c4bfea4843de81116f4fe21997 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jun 2026 16:58:37 +0000 Subject: [PATCH 12/24] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index d53a87ed4..45524e63d 100644 --- a/flake.lock +++ b/flake.lock @@ -66,16 +66,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1780406844, - "narHash": "sha256-6T8TAiAAjI2wHzvPWmTdRZW4hR8lf3C4ChqIJQZgL00=", + "lastModified": 1780590347, + "narHash": "sha256-iYTKRQzsC56EfHNuDO/O9MbMFmNV9c2CM4NwOXSeSc4=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "ce904db16331b0cd07e1a9f06d34224aa461d02d", + "rev": "515eccf4a8ebbb0fe8ff807d15a96ce096ce2670", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.149", + "ref": "v0.1.150", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780585325, - "narHash": "sha256-QX27Z1nZab+E1EVzbIBLx+Q0MtUK0RwPfXGzDqltqnY=", + "lastModified": 1780676015, + "narHash": "sha256-+VgM7JxjCOcqgY1xZ+pVQr9/Hk4Gy0+1cJH/Lv+xskk=", "owner": "runtimeverification", "repo": "k", - "rev": "5d786ca3578881344001874d04bd4957756a32b0", + "rev": "69f2b84533fd66be2013ab4a2bea9c3f59f01fca", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.331", + "ref": "v7.1.333", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 8ffa6828f..d6c3f3680 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.331"; + k-framework.url = "github:runtimeverification/k/v7.1.333"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; From ba143b7f06bdadcd9390313f347a07ab0be81f16 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:12:28 +0000 Subject: [PATCH 13/24] 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 6da8e9a46..de631dcd4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.333 +7.1.334 From 1d182904ef5471cf93936e725e5a9a43704c4982 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:13:38 +0000 Subject: [PATCH 14/24] pykwasm/: sync uv files 7.1.334 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 1d12ad69a..edce4f56e 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.333", + "kframework>=7.1.334", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index c411a85f8..56518660f 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -509,11 +509,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]] @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.333" +version = "7.1.334" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,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]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.333" }, + { name = "kframework", specifier = ">=7.1.334" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From 828ab8e2a565e9ed456d1a8575b27c017cec6759 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 20:14:30 +0000 Subject: [PATCH 15/24] 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 45524e63d..6ae692b8d 100644 --- a/flake.lock +++ b/flake.lock @@ -66,16 +66,16 @@ "z3": "z3" }, "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" } @@ -120,16 +120,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" } @@ -181,11 +181,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": { @@ -197,11 +197,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 d6c3f3680..a4c3c4dc8 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"; From 082e514392ff650820158dfcf5e89a6dd00c9574 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 02:28:04 +0000 Subject: [PATCH 16/24] deps/k_release: Set Version 7.1.335 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index de631dcd4..5b6963228 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.334 +7.1.335 From ce8dd5d9bd6931d1da27226917098e3fe97d3d8f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 02:28:44 +0000 Subject: [PATCH 17/24] pykwasm/: sync uv files 7.1.335 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 26 +++++++++++++------------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index edce4f56e..ef9c2669d 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.334", + "kframework>=7.1.335", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 56518660f..45a00b01b 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -509,11 +509,11 @@ wheels = [ [[package]] name = "filelock" -version = "3.29.3" +version = "3.29.4" source = { registry = "https://pypi.org/simple" } -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" } +sdist = { url = "https://files.pythonhosted.org/packages/e6/dc/be6cbe99670cd6e4ad387123647cb08e0c32975e223f82551e914c5568a6/filelock-3.29.4.tar.gz", hash = "sha256:10cdb3656fc44541cdf30652a93fb10ec6b05325620eb316bd26893e4201538a", size = 63028, upload-time = "2026-06-13T16:12:00.744Z" } wheels = [ - { 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" }, + { url = "https://files.pythonhosted.org/packages/13/37/a065dc3bd6e49423a6532c642ca7378d3f467b1ef44c2800c937af7f9739/filelock-3.29.4-py3-none-any.whl", hash = "sha256:dac1648087d5115554850d113e7dd8c83ab2d38e3435dde2d4f163847e57b767", size = 42757, upload-time = "2026-06-13T16:11:59.582Z" }, ] [[package]] @@ -601,15 +601,15 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.155.2" +version = "6.155.3" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/f5/04/64032a1dccd2233615c8a3f701bbb563558575ed017496a24b6d81762c91/hypothesis-6.155.2.tar.gz", hash = "sha256:ae36880287c9c5defe9f199d3d2b67d9947a4da2a46e6c57373cbdf2345b20e1", size = 477765, upload-time = "2026-06-05T16:32:23.63Z" } +sdist = { url = "https://files.pythonhosted.org/packages/36/77/13ec9b6390bce44f5badab39837dd6789bbfe6342a2ac611a71537a7756f/hypothesis-6.155.3.tar.gz", hash = "sha256:1e34b17ae9873515384312cb7640abd773eb096c7eef8c0d9c614fa2c306e9bb", size = 477961, upload-time = "2026-06-16T00:33:23.273Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/ec/6e/e735f27ac1a530a4cd0a31cd970ec495a3a11830fdc5d281cc292593b330/hypothesis-6.155.2-py3-none-any.whl", hash = "sha256:c85ce6dcd630a90ce501f1d1dd1bc84b97f5649ca8a27e134c8cbf5aa480b1a5", size = 544213, upload-time = "2026-06-05T16:32:21.15Z" }, + { url = "https://files.pythonhosted.org/packages/a2/23/ce3a543935a01e478349e82f6c1440776f92d4cb346662c4d81574878fed/hypothesis-6.155.3-py3-none-any.whl", hash = "sha256:ede5a3d142d9c5c9f70cb3075541905b228d6c3a682bcec3d4fe0722e9eda127", size = 544401, upload-time = "2026-06-16T00:33:20.497Z" }, ] [[package]] @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.334" +version = "7.1.335" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -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" } +sdist = { url = "https://files.pythonhosted.org/packages/89/5e/42e2e26fd1899edf61a643fdb0b296f0d40037e3fdec090c322d953217b3/kframework-7.1.335.tar.gz", hash = "sha256:00184e4a1dc80e33bba899a38f7669a8a90d1a4bdba64d4eb3851a87d289ee37", size = 250674, upload-time = "2026-06-17T02:27:28.494Z" } wheels = [ - { 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" }, + { url = "https://files.pythonhosted.org/packages/35/30/62b3b029e75413244332d64365154ddb80f237a1bd615c9a4aaa252e34ee/kframework-7.1.335-py3-none-any.whl", hash = "sha256:4c10779b24c69260cabd28336fefa52f5cc2073a55c530cde421659f3310d4e4", size = 302365, upload-time = "2026-06-17T02:27:26.924Z" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.334" }, + { name = "kframework", specifier = ">=7.1.335" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] @@ -1204,7 +1204,7 @@ wheels = [ [[package]] name = "pytest" -version = "9.0.3" +version = "9.1.0" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "colorama", marker = "sys_platform == 'win32'" }, @@ -1215,9 +1215,9 @@ dependencies = [ { name = "pygments" }, { name = "tomli", marker = "python_full_version < '3.11'" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/7d/0d/549bd94f1a0a402dc8cf64563a117c0f3765662e2e668477624baeec44d5/pytest-9.0.3.tar.gz", hash = "sha256:b86ada508af81d19edeb213c681b1d48246c1a91d304c6c81a427674c17eb91c", size = 1572165, upload-time = "2026-04-07T17:16:18.027Z" } +sdist = { url = "https://files.pythonhosted.org/packages/84/0e/b5858858d74958632c49b72cb25a3976ff9f632397626715be71c89d3971/pytest-9.1.0.tar.gz", hash = "sha256:41dd9148c08072446394cefd3d79701701335a9f4cae69ba92e39f6c7f5c061c", size = 1634181, upload-time = "2026-06-13T18:52:45.983Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/d4/24/a372aaf5c9b7208e7112038812994107bc65a84cd00e0354a88c2c77a617/pytest-9.0.3-py3-none-any.whl", hash = "sha256:2c5efc453d45394fdd706ade797c0a81091eccd1d6e4bccfcd476e2b8e0ab5d9", size = 375249, upload-time = "2026-04-07T17:16:16.13Z" }, + { url = "https://files.pythonhosted.org/packages/8b/5a/ba30a81239b909821b3153e303e7def45178bf353da4f72380e6c5e8793b/pytest-9.1.0-py3-none-any.whl", hash = "sha256:8ebb0e7888bdf2bdfc602ec51f8f62d50200af37356c74e503c79a94f5c81f32", size = 386453, upload-time = "2026-06-13T18:52:44.045Z" }, ] [[package]] From 426e5b3c09c3d2e19181beb19fc80317e7d224f5 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 02:29:43 +0000 Subject: [PATCH 18/24] 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 6ae692b8d..10ee13c69 100644 --- a/flake.lock +++ b/flake.lock @@ -66,16 +66,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1781196098, - "narHash": "sha256-jor7jzFY251nQG1iCF0DHdgdr9SjXg4cRpmfIjyJiJo=", + "lastModified": 1781642796, + "narHash": "sha256-/XdSB77sCXg4YypI7Xz7ISqBW8GRqpg2oeSzKS0eaMs=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "d4dc50c2cb7c0d4f411d3f7a744eef63d700f6bb", + "rev": "2107c737b2f4cc8533f5947006f75573e00f5ddf", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.152", + "ref": "v0.1.154", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1781206352, - "narHash": "sha256-FYJ0reiIcsYT1PhoA9Teq3XZFN3dZ1Cucx61tR0fNSE=", + "lastModified": 1781660317, + "narHash": "sha256-2OVPxZf2B73J4l+6BRbXzPkVmYTC1vddCZBZl6tqcSI=", "owner": "runtimeverification", "repo": "k", - "rev": "94160cc600943a3e905ee8765ea147eaa79b2509", + "rev": "5295283965e578a70de2dfb0ebfc075def6e0501", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.334", + "ref": "v7.1.335", "repo": "k", "type": "github" } @@ -181,11 +181,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1780749050, - "narHash": "sha256-3av0pIjlOWQ6rDbNOmpUSvbNnJkGORQKKjb4LtCZsIY=", + "lastModified": 1781577229, + "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "a799d3e3886da994fa307f817a6bc705ae538eeb", + "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f", "type": "github" }, "original": { @@ -197,11 +197,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1780749050, - "narHash": "sha256-3av0pIjlOWQ6rDbNOmpUSvbNnJkGORQKKjb4LtCZsIY=", + "lastModified": 1781577229, + "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "a799d3e3886da994fa307f817a6bc705ae538eeb", + "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index a4c3c4dc8..a99ab5e64 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.334"; + k-framework.url = "github:runtimeverification/k/v7.1.335"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; From c862d1834accf26f2ad12153e1c296b45ed1b0ce Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 07:39:31 +0000 Subject: [PATCH 19/24] deps/k_release: Set Version 7.1.336 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 5b6963228..f730617b6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.335 +7.1.336 From 6ce905500053c206cc64101fc469f46209d29b4c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 07:40:06 +0000 Subject: [PATCH 20/24] pykwasm/: sync uv files 7.1.336 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index ef9c2669d..194fea9e3 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.335", + "kframework>=7.1.336", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 45a00b01b..59a34c587 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.335" +version = "7.1.336" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/89/5e/42e2e26fd1899edf61a643fdb0b296f0d40037e3fdec090c322d953217b3/kframework-7.1.335.tar.gz", hash = "sha256:00184e4a1dc80e33bba899a38f7669a8a90d1a4bdba64d4eb3851a87d289ee37", size = 250674, upload-time = "2026-06-17T02:27:28.494Z" } +sdist = { url = "https://files.pythonhosted.org/packages/1b/4f/e576be8548dc82e071511a1fffa6e93f61694b31881d61c2b94459383a39/kframework-7.1.336.tar.gz", hash = "sha256:460f4baf2b1954694aeb2fee2e8acded1f203edf5e6c7582664018e5aabe7040", size = 253448, upload-time = "2026-06-17T07:38:53.725Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/35/30/62b3b029e75413244332d64365154ddb80f237a1bd615c9a4aaa252e34ee/kframework-7.1.335-py3-none-any.whl", hash = "sha256:4c10779b24c69260cabd28336fefa52f5cc2073a55c530cde421659f3310d4e4", size = 302365, upload-time = "2026-06-17T02:27:26.924Z" }, + { url = "https://files.pythonhosted.org/packages/38/42/9b94fe1676b4711c01986993811ad81b2d588430898db0a39a1e9b14a5b2/kframework-7.1.336-py3-none-any.whl", hash = "sha256:025e1318f73e9f134adbe64fd79efe6b9b1a8c3038c0bae38b87a6c88c03869b", size = 305000, upload-time = "2026-06-17T07:38:52.107Z" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.335" }, + { name = "kframework", specifier = ">=7.1.336" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From 8fd363f5a62e3e50d843c05e819ee9d305234a9a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jun 2026 07:41:01 +0000 Subject: [PATCH 21/24] 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 10ee13c69..8e51defde 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1781660317, - "narHash": "sha256-2OVPxZf2B73J4l+6BRbXzPkVmYTC1vddCZBZl6tqcSI=", + "lastModified": 1781679368, + "narHash": "sha256-JBhRu7rfkENTeVVni49bFBnDYmzNLW2LGZHcei8TfLU=", "owner": "runtimeverification", "repo": "k", - "rev": "5295283965e578a70de2dfb0ebfc075def6e0501", + "rev": "37310d92f982b000b288be5bcb1f59f0e66c7ab3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.335", + "ref": "v7.1.336", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index a99ab5e64..7e73bf12d 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.335"; + k-framework.url = "github:runtimeverification/k/v7.1.336"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; From 580db8285a5bbd45e9621c5c3c0c627848de27a2 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jun 2026 13:51:46 +0000 Subject: [PATCH 22/24] deps/k_release: Set Version 7.1.337 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index f730617b6..d0919bd2d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.336 +7.1.337 From 47e710a5d8f56acc51909e9d3dd16715b169092f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jun 2026 13:53:02 +0000 Subject: [PATCH 23/24] pykwasm/: sync uv files 7.1.337 --- pykwasm/pyproject.toml | 2 +- pykwasm/uv.lock | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 194fea9e3..c1e52e5bb 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework>=7.1.336", + "kframework>=7.1.337", "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1" ] diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock index 59a34c587..6e8ba247e 100644 --- a/pykwasm/uv.lock +++ b/pykwasm/uv.lock @@ -137,11 +137,11 @@ wheels = [ [[package]] name = "certifi" -version = "2026.5.20" +version = "2026.6.17" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/f3/ce/ee2ecad540810a79593028e88299baeae54d346cc7a0d94b6199988b89b1/certifi-2026.5.20.tar.gz", hash = "sha256:69dea482ab64caa7b9f6aba1c6bf48bb6a5448d1c0f1b17ab42ad8c763a5344d", size = 135422, upload-time = "2026-05-20T11:46:50.073Z" } +sdist = { url = "https://files.pythonhosted.org/packages/c9/c7/424b75da314c1045981bd9777432fad05a9e0c69daa4ed7e308bbaffe405/certifi-2026.6.17.tar.gz", hash = "sha256:024c88eeec92ca068db80f02b8b07c9cef7b9fe261d1d535abfd5abd6f6af432", size = 134594, upload-time = "2026-06-17T10:31:07.894Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/59/8c/57e832b7af6d7c5abe66eb3fbe3a3a32f4d11ea23a1aa7131371035be991/certifi-2026.5.20-py3-none-any.whl", hash = "sha256:3c52e209ba0a4ad7aebe60436a4ab349c39e1e602e8c134221e546902ad25897", size = 134134, upload-time = "2026-05-20T11:46:48.578Z" }, + { url = "https://files.pythonhosted.org/packages/ef/2f/c5464532e965badff2f4c4c1a3a83f5697f0d7c407ed0cda44aaa99bb451/certifi-2026.6.17-py3-none-any.whl", hash = "sha256:2227dcbaafe0d2f59279d1762ddddc37783ed4354594f194ffc31d20f41fc3db", size = 133289, upload-time = "2026-06-17T10:31:06.348Z" }, ] [[package]] @@ -653,7 +653,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.336" +version = "7.1.337" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -672,9 +672,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/1b/4f/e576be8548dc82e071511a1fffa6e93f61694b31881d61c2b94459383a39/kframework-7.1.336.tar.gz", hash = "sha256:460f4baf2b1954694aeb2fee2e8acded1f203edf5e6c7582664018e5aabe7040", size = 253448, upload-time = "2026-06-17T07:38:53.725Z" } +sdist = { url = "https://files.pythonhosted.org/packages/82/14/b5e751e5be5c591cedfc8814a3e77ae729c145d89886fc9a18cf50b22938/kframework-7.1.337.tar.gz", hash = "sha256:9fdd05f228988757c9daee58564b45af424f0bc205912b0dd24b3d35a066b287", size = 253667, upload-time = "2026-06-18T13:51:13.311Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/38/42/9b94fe1676b4711c01986993811ad81b2d588430898db0a39a1e9b14a5b2/kframework-7.1.336-py3-none-any.whl", hash = "sha256:025e1318f73e9f134adbe64fd79efe6b9b1a8c3038c0bae38b87a6c88c03869b", size = 305000, upload-time = "2026-06-17T07:38:52.107Z" }, + { url = "https://files.pythonhosted.org/packages/57/0e/e9a214527eb818915e6820c353d7b6078eb7611a34ebc285bdbf8ff7316b/kframework-7.1.337-py3-none-any.whl", hash = "sha256:f8e0ba4effda64c1f10fbc306518e7485e1b24ddef9706021b2bbfc04ab5cb7d", size = 305216, upload-time = "2026-06-18T13:51:11.807Z" }, ] [[package]] @@ -1170,7 +1170,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = ">=7.1.336" }, + { name = "kframework", specifier = ">=7.1.337" }, { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.1" }, ] From 6dbf6aec8e0801fae95bbfba98b4b83bcf919716 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jun 2026 13:54:06 +0000 Subject: [PATCH 24/24] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index 8e51defde..3e64bea32 100644 --- a/flake.lock +++ b/flake.lock @@ -66,16 +66,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1781642796, - "narHash": "sha256-/XdSB77sCXg4YypI7Xz7ISqBW8GRqpg2oeSzKS0eaMs=", + "lastModified": 1781757330, + "narHash": "sha256-bUd4OrjJ3cMXhMkSN21tAG3ShgwCGR9j1SW1GsK0YrA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "2107c737b2f4cc8533f5947006f75573e00f5ddf", + "rev": "38afc81fc9414f1e11e609b01a43a436b613bd2d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.154", + "ref": "v0.1.155", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1781679368, - "narHash": "sha256-JBhRu7rfkENTeVVni49bFBnDYmzNLW2LGZHcei8TfLU=", + "lastModified": 1781787476, + "narHash": "sha256-qJF6n4J9gf6bSR/G5iH4905xGHUVHyqKHW1dkgGBdhY=", "owner": "runtimeverification", "repo": "k", - "rev": "37310d92f982b000b288be5bcb1f59f0e66c7ab3", + "rev": "4a46d1231473b599c699160132fd6e76a5c46406", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.336", + "ref": "v7.1.337", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 7e73bf12d..dd40b2777 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.336"; + k-framework.url = "github:runtimeverification/k/v7.1.337"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils";