diff --git a/deps/k_release b/deps/k_release index 6da8e9a46..5b6963228 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.333 +7.1.335 diff --git a/flake.lock b/flake.lock index 270cfec78..33aff419d 100644 --- a/flake.lock +++ b/flake.lock @@ -84,16 +84,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1780590347, - "narHash": "sha256-iYTKRQzsC56EfHNuDO/O9MbMFmNV9c2CM4NwOXSeSc4=", + "lastModified": 1781642796, + "narHash": "sha256-/XdSB77sCXg4YypI7Xz7ISqBW8GRqpg2oeSzKS0eaMs=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "515eccf4a8ebbb0fe8ff807d15a96ce096ce2670", + "rev": "2107c737b2f4cc8533f5947006f75573e00f5ddf", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.150", + "ref": "v0.1.154", "repo": "haskell-backend", "type": "github" } @@ -136,16 +136,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780676015, - "narHash": "sha256-+VgM7JxjCOcqgY1xZ+pVQr9/Hk4Gy0+1cJH/Lv+xskk=", + "lastModified": 1781660317, + "narHash": "sha256-2OVPxZf2B73J4l+6BRbXzPkVmYTC1vddCZBZl6tqcSI=", "owner": "runtimeverification", "repo": "k", - "rev": "69f2b84533fd66be2013ab4a2bea9c3f59f01fca", + "rev": "5295283965e578a70de2dfb0ebfc075def6e0501", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.333", + "ref": "v7.1.335", "repo": "k", "type": "github" } @@ -197,11 +197,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1780243769, - "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", + "lastModified": 1781577229, + "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", + "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f", "type": "github" }, "original": { @@ -213,11 +213,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 a724158b0..6ee896387 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ inputs.flake-utils.follows = "flake-utils"; }; - k-framework.url = "github:runtimeverification/k/v7.1.333"; + k-framework.url = "github:runtimeverification/k/v7.1.335"; k-framework = { inputs.flake-utils.follows = "flake-utils"; inputs.nixpkgs.follows = "nixpkgs"; diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 188fea9b3..faca60f6d 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -8,7 +8,7 @@ version = "0.3.181" description = "" requires-python = ">=3.10" dependencies = [ - "kframework==v7.1.333", + "kframework==v7.1.335", "rust-demangler==1.0", ] diff --git a/kmir/uv.lock b/kmir/uv.lock index 8f9246ab0..2dea32120 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -451,11 +451,11 @@ wheels = [ [[package]] name = "filelock" -version = "3.29.1" +version = "3.29.4" 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/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/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/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]] @@ -543,15 +543,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]] @@ -595,7 +595,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.333" +version = "7.1.335" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -614,9 +614,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/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/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/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]] @@ -650,7 +650,7 @@ dev = [ [package.metadata] requires-dist = [ - { name = "kframework", specifier = "==7.1.333" }, + { name = "kframework", specifier = "==7.1.335" }, { name = "rust-demangler", specifier = "==1.0" }, ] @@ -1105,7 +1105,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'" }, @@ -1116,9 +1116,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]]