diff --git a/deps/k_release b/deps/k_release index 4eea6f2b93..093b104b6f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.325 +7.1.329 diff --git a/flake.lock b/flake.lock index 9ef161b7ad..8a6244d01d 100644 --- a/flake.lock +++ b/flake.lock @@ -400,16 +400,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1779912907, - "narHash": "sha256-xzzH39t/rgSxx3rA3cGDaTQAufUJgX6EFfk+tmf3ryg=", + "lastModified": 1780118549, + "narHash": "sha256-6gWqAi+ldVvpLZ83UZuijmo4q9SfY+kCc6oOjrGioZA=", "owner": "runtimeverification", "repo": "k", - "rev": "36d8385238b1b743d47b5215e64214a37bd32aca", + "rev": "b6a2ca42867bc0736ab2153ad2152b69f63de02a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.325", + "ref": "v7.1.329", "repo": "k", "type": "github" } @@ -478,16 +478,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1760570155, - "narHash": "sha256-jgDhxUFXMe7kTqdq6eSHshRJJzm/1QTmUc8SQIjN2sE=", + "lastModified": 1779992932, + "narHash": "sha256-Sa1MvKcQtOdCAZSeeEWk7RGmDRLzTvM74exhLPZ76IE=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "618f530031870d6e8a74633b122d46afb5d7ad8e", + "rev": "f02284f09858cd2b9f310ad0142b3e04054295ec", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.139", + "ref": "v0.1.140", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 3eaa7808ad..8ee93ca3b4 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.325"; + k-framework.url = "github:runtimeverification/k/v7.1.329"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin = { diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 191a99e918..763f7ef181 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -10,7 +10,7 @@ readme = "README.md" requires-python = ">=3.10" dependencies = [ "frozendict>=2.4.6,<3", - "kframework==7.1.325", + "kframework==7.1.329", "pathos", "tomlkit>=0.11.6", ] diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock index 8592c3513d..936a8b4808 100644 --- a/kevm-pyk/uv.lock +++ b/kevm-pyk/uv.lock @@ -581,24 +581,24 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.153.6" +version = "6.155.1" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/e8/c3/8c661bb893725eedeb003e85f3050274da2d77abf0847c4d61b4af53969c/hypothesis-6.153.6.tar.gz", hash = "sha256:8f7663251c57c9ee1fb6c0e919a6027cbda98d52b210dea441957d11d644c271", size = 475551, upload-time = "2026-05-27T17:43:32.524Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/bf/33/f3ec54e6fb89c2279f0dd911ba512321e70038e447d1984c35fad61840f8/hypothesis-6.153.6-py3-none-any.whl", hash = "sha256:a892e3460e4dd8cfb8525682d8901be8f5e2d2c7b352359b71a44e5def2b89c8", size = 541876, upload-time = "2026-05-27T17:43:30.807Z" }, + { 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" }, ] [[package]] name = "idna" -version = "3.16" +version = "3.17" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/1a/88/bcf9709822fe69d02c2a6a77956c98ce6ea8ca8767a9aadcedc7eb6a2390/idna-3.16.tar.gz", hash = "sha256:d7a6da03db833450fca25d2358ac9ff06cd624577a4aea3a596d5c0f77b8e03d", size = 203770, upload-time = "2026-05-22T00:16:18.781Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/94/16/70255075a9859a0e3adb789b68ceb0e210dec03934245fd98d248226572f/idna-3.16-py3-none-any.whl", hash = "sha256:cc246e3a3f89580c3a951b5ad298ca4638078b2cdd4f115654332b5c26daded5", size = 74165, upload-time = "2026-05-22T00:16:16.698Z" }, + { 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" }, ] [[package]] @@ -664,7 +664,7 @@ dev = [ [package.metadata] requires-dist = [ { name = "frozendict", specifier = ">=2.4.6,<3" }, - { name = "kframework", specifier = "==7.1.325" }, + { name = "kframework", specifier = "==7.1.329" }, { name = "pathos" }, { name = "tomlkit", specifier = ">=0.11.6" }, ] @@ -690,7 +690,7 @@ dev = [ [[package]] name = "kframework" -version = "7.1.325" +version = "7.1.329" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -709,9 +709,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/6f/4b/721cf2dba9681621a9c3e54cde3cf4ff3a40c8f4901fda51e49ec427f34b/kframework-7.1.325.tar.gz", hash = "sha256:184455c396b5ae6494db7ddca3da90929f090f06c3d094f8596f70a180754a1e", size = 245899, upload-time = "2026-05-27T20:58:03.615Z" } +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" } wheels = [ - { url = "https://files.pythonhosted.org/packages/0d/a3/2433f8676c5d1304029888b8e3a7523f1d1fab686e0c2c6ca6eda66ab161/kframework-7.1.325-py3-none-any.whl", hash = "sha256:d7ff6ba1c2c757223c023d3ae28ba2b57744ba4ddcfc051a79f97dd6748e7bb9", size = 297457, upload-time = "2026-05-27T20:58:02.091Z" }, + { 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" }, ] [[package]] @@ -1106,11 +1106,11 @@ wheels = [ [[package]] name = "platformdirs" -version = "4.9.6" +version = "4.10.0" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/9f/4a/0883b8e3802965322523f0b200ecf33d31f10991d0401162f4b23c698b42/platformdirs-4.9.6.tar.gz", hash = "sha256:3bfa75b0ad0db84096ae777218481852c0ebc6c727b3168c1b9e0118e458cf0a", size = 29400, upload-time = "2026-04-09T00:04:10.812Z" } +sdist = { url = "https://files.pythonhosted.org/packages/d7/47/e4501f49c178ae1d9f4a75073fda4204f52647993f075a9db4d14930e0c5/platformdirs-4.10.0.tar.gz", hash = "sha256:31e761a6a0ca04faf7353ea759bdba55652be214725111e5aac52dfa29d4bef7", size = 31224, upload-time = "2026-05-28T03:32:53.587Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/75/a6/a0a304dc33b49145b21f4808d763822111e67d1c3a32b524a1baf947b6e1/platformdirs-4.9.6-py3-none-any.whl", hash = "sha256:e61adb1d5e5cb3441b4b7710bea7e4c12250ca49439228cc1021c00dcfac0917", size = 21348, upload-time = "2026-04-09T00:04:09.463Z" }, + { url = "https://files.pythonhosted.org/packages/81/e6/cd9575ac904136b3cbf7aa7ee819ef86eedb7274e46f230e94ea4342e729/platformdirs-4.10.0-py3-none-any.whl", hash = "sha256:fb516cdb12eb0d857d0cd85a7c57cea4d060bee4578d6cf5a14dfdf8cbf8784a", size = 22743, upload-time = "2026-05-28T03:32:52.175Z" }, ] [[package]]