From 8a7d3151a3aaef5c96b69f91ec06e47fe00a8e32 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 3 Jun 2026 16:29:36 +0000 Subject: [PATCH 01/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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/15] 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";