diff --git a/deps/k_release b/deps/k_release index c07baeb1c..1474536e1 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.270 +7.1.273 diff --git a/flake.lock b/flake.lock index 8ca7adf11..dbefae61c 100644 --- a/flake.lock +++ b/flake.lock @@ -121,16 +121,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1750418781, - "narHash": "sha256-DPrfb9/EYOHnZTLhsUeUYfBY4m7V2AdjZPrMpHMHf0s=", + "lastModified": 1750663736, + "narHash": "sha256-mf7jQfse5pH98K63+h4tjQlryOx7cnYmyV5Ra7A6f44=", "owner": "runtimeverification", "repo": "k", - "rev": "7b022060b8609acf344a9ee067b7f7110e6510ac", + "rev": "c829b1099ad225400bea5bcd5e9a21905060db06", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.270", + "ref": "v7.1.271", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index c53c89df6..4ef2a0821 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "kmir - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.270"; + k-framework.url = "github:runtimeverification/k/v7.1.271"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-nix-tools.follows = "k-framework/rv-nix-tools"; diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index dcea8d79e..418fec60a 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.270", + "kframework==v7.1.271", ] [[project.authors]] diff --git a/kmir/uv.lock b/kmir/uv.lock index 5f472e8de..fd4bd5080 100644 --- a/kmir/uv.lock +++ b/kmir/uv.lock @@ -328,16 +328,16 @@ wheels = [ [[package]] name = "flake8" -version = "7.2.0" +version = "7.3.0" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "mccabe" }, { name = "pycodestyle" }, { name = "pyflakes" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/e7/c4/5842fc9fc94584c455543540af62fd9900faade32511fab650e9891ec225/flake8-7.2.0.tar.gz", hash = "sha256:fa558ae3f6f7dbf2b4f22663e5343b6b6023620461f8d4ff2019ef4b5ee70426", size = 48177, upload-time = "2025-03-29T20:08:39.329Z" } +sdist = { url = "https://files.pythonhosted.org/packages/9b/af/fbfe3c4b5a657d79e5c47a2827a362f9e1b763336a52f926126aa6dc7123/flake8-7.3.0.tar.gz", hash = "sha256:fe044858146b9fc69b551a4b490d69cf960fcb78ad1edcb84e7fbb1b4a8e3872", size = 48326, upload-time = "2025-06-20T19:31:35.838Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/83/5c/0627be4c9976d56b1217cb5187b7504e7fd7d3503f8bfd312a04077bd4f7/flake8-7.2.0-py2.py3-none-any.whl", hash = "sha256:93b92ba5bdb60754a6da14fa3b93a9361fd00a59632ada61fd7b130436c40343", size = 57786, upload-time = "2025-03-29T20:08:37.902Z" }, + { url = "https://files.pythonhosted.org/packages/9f/56/13ab06b4f93ca7cac71078fbe37fcea175d3216f31f85c3168a6bbd0bb9a/flake8-7.3.0-py2.py3-none-any.whl", hash = "sha256:b9696257b9ce8beb888cdbe31cf885c90d31928fe202be0889a7cdafad32f01e", size = 57922, upload-time = "2025-06-20T19:31:34.425Z" }, ] [[package]] @@ -411,16 +411,16 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.135.13" +version = "6.135.14" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "attrs" }, { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/81/f4/0368307913dabfdcbb95117599b247ece731fa2aa86802ff68dd8f2a1936/hypothesis-6.135.13.tar.gz", hash = "sha256:6009c0a11753554efd5413c2145a5badfdb391cdf19f60619613ce5430762ad3", size = 452607, upload-time = "2025-06-20T06:36:46.919Z" } +sdist = { url = "https://files.pythonhosted.org/packages/70/a5/d4f74ba61bbe5dd001c998ae8b85f9bfdc6cd29e6c5693d1116847b64251/hypothesis-6.135.14.tar.gz", hash = "sha256:2666df50b3cc40ea08b161a5389d6a1cd5aa3cab0dd8fde0ae339389714a4f67", size = 452884, upload-time = "2025-06-20T19:16:38.199Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/20/e0/f03b50037820a41c358636e757256a34da6ea6d687cd173e6bb94363b609/hypothesis-6.135.13-py3-none-any.whl", hash = "sha256:02f757c0ca75ea7999521e02c11b318ead902d287e37c906817861f218d9422a", size = 518767, upload-time = "2025-06-20T06:36:43.193Z" }, + { url = "https://files.pythonhosted.org/packages/ce/cf/491a487229b04a2ad56175c74700cfb79635dfce2d942becc6ab10c0ceb9/hypothesis-6.135.14-py3-none-any.whl", hash = "sha256:0dd5b8095e36bd288367c631f864a16c30500b01b17943dcea681233f7421860", size = 519115, upload-time = "2025-06-20T19:16:34.539Z" }, ] [[package]] @@ -464,7 +464,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.270" +version = "7.1.271" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -481,9 +481,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/34/ca/7ca072683d5ba17a4010bdfd01fe3c004df30b848bcd0538325bbe2842f0/kframework-7.1.270.tar.gz", hash = "sha256:78ec33a5a8e09db6f6938d8a307f6406bf66426fbb8b7990e41de66a2be270e2", size = 242575, upload-time = "2025-06-20T12:03:47.162Z" } +sdist = { url = "https://files.pythonhosted.org/packages/45/b8/a997baf3d2e7ebe6c78dc3fe68dab4d3c9b2a9c5b47d86d5219dc58569f0/kframework-7.1.271.tar.gz", hash = "sha256:03f58a0018f0edd29b7e0d58c26cd3847256c76b736158c64e57239025fc6ad0", size = 242673, upload-time = "2025-06-23T08:26:36.903Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/28/c3/6b473cf0df9cd91bff806689d0506937bccc6134fb34b6bc2d7b77facdfc/kframework-7.1.270-py3-none-any.whl", hash = "sha256:2f7a39ca35a2ed187f78eef0000cf4bfc72c59698761395421c0463944d41bf7", size = 293730, upload-time = "2025-06-20T12:03:45.862Z" }, + { url = "https://files.pythonhosted.org/packages/f7/66/584e624ecc8d6f0c3be7bd52d4b3330b561c413368d12ff3b27b005e9b20/kframework-7.1.271-py3-none-any.whl", hash = "sha256:54926e488061d75f211c14e65f457e3a6001cbc6ced43478779d198fbcfb3dc6", size = 293823, upload-time = "2025-06-23T08:26:35.586Z" }, ] [[package]] @@ -514,7 +514,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.270" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.271" }] [package.metadata.requires-dev] dev = [ @@ -797,29 +797,29 @@ wheels = [ [[package]] name = "pycodestyle" -version = "2.13.0" +version = "2.14.0" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/04/6e/1f4a62078e4d95d82367f24e685aef3a672abfd27d1a868068fed4ed2254/pycodestyle-2.13.0.tar.gz", hash = "sha256:c8415bf09abe81d9c7f872502a6eee881fbe85d8763dd5b9924bb0a01d67efae", size = 39312, upload-time = "2025-03-29T17:33:30.669Z" } +sdist = { url = "https://files.pythonhosted.org/packages/11/e0/abfd2a0d2efe47670df87f3e3a0e2edda42f055053c85361f19c0e2c1ca8/pycodestyle-2.14.0.tar.gz", hash = "sha256:c4b5b517d278089ff9d0abdec919cd97262a3367449ea1c8b49b91529167b783", size = 39472, upload-time = "2025-06-20T18:49:48.75Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/07/be/b00116df1bfb3e0bb5b45e29d604799f7b91dd861637e4d448b4e09e6a3e/pycodestyle-2.13.0-py2.py3-none-any.whl", hash = "sha256:35863c5974a271c7a726ed228a14a4f6daf49df369d8c50cd9a6f58a5e143ba9", size = 31424, upload-time = "2025-03-29T17:33:29.405Z" }, + { url = "https://files.pythonhosted.org/packages/d7/27/a58ddaf8c588a3ef080db9d0b7e0b97215cee3a45df74f3a94dbbf5c893a/pycodestyle-2.14.0-py2.py3-none-any.whl", hash = "sha256:dd6bf7cb4ee77f8e016f9c8e74a35ddd9f67e1d5fd4184d86c3b98e07099f42d", size = 31594, upload-time = "2025-06-20T18:49:47.491Z" }, ] [[package]] name = "pyflakes" -version = "3.3.2" +version = "3.4.0" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/af/cc/1df338bd7ed1fa7c317081dcf29bf2f01266603b301e6858856d346a12b3/pyflakes-3.3.2.tar.gz", hash = "sha256:6dfd61d87b97fba5dcfaaf781171ac16be16453be6d816147989e7f6e6a9576b", size = 64175, upload-time = "2025-03-31T13:21:20.34Z" } +sdist = { url = "https://files.pythonhosted.org/packages/45/dc/fd034dc20b4b264b3d015808458391acbf9df40b1e54750ef175d39180b1/pyflakes-3.4.0.tar.gz", hash = "sha256:b24f96fafb7d2ab0ec5075b7350b3d2d2218eab42003821c06344973d3ea2f58", size = 64669, upload-time = "2025-06-20T18:45:27.834Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/15/40/b293a4fa769f3b02ab9e387c707c4cbdc34f073f945de0386107d4e669e6/pyflakes-3.3.2-py2.py3-none-any.whl", hash = "sha256:5039c8339cbb1944045f4ee5466908906180f13cc99cc9949348d10f82a5c32a", size = 63164, upload-time = "2025-03-31T13:21:18.503Z" }, + { url = "https://files.pythonhosted.org/packages/c2/2f/81d580a0fb83baeb066698975cb14a618bdbed7720678566f1b046a95fe8/pyflakes-3.4.0-py2.py3-none-any.whl", hash = "sha256:f742a7dbd0d9cb9ea41e9a24a918996e8170c799fa528688d40dd582c8265f4f", size = 63551, upload-time = "2025-06-20T18:45:26.937Z" }, ] [[package]] name = "pygments" -version = "2.19.1" +version = "2.19.2" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/7c/2d/c3338d48ea6cc0feb8446d8e6937e1408088a72a39937982cc6111d17f84/pygments-2.19.1.tar.gz", hash = "sha256:61c16d2a8576dc0649d9f39e089b5f02bcd27fba10d8fb4dcc28173f7a45151f", size = 4968581, upload-time = "2025-01-06T17:26:30.443Z" } +sdist = { url = "https://files.pythonhosted.org/packages/b0/77/a5b8c569bf593b0140bde72ea885a803b82086995367bf2037de0159d924/pygments-2.19.2.tar.gz", hash = "sha256:636cb2477cec7f8952536970bc533bc43743542f70392ae026374600add5b887", size = 4968631, upload-time = "2025-06-21T13:39:12.283Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/8a/0b/9fcc47d19c48b59121088dd6da2488a49d5f72dacf8262e2790a1d2c7d15/pygments-2.19.1-py3-none-any.whl", hash = "sha256:9ea1544ad55cecf4b8242fab6dd35a93bbce657034b0611ee383099054ab6d8c", size = 1225293, upload-time = "2025-01-06T17:26:25.553Z" }, + { url = "https://files.pythonhosted.org/packages/c7/21/705964c7812476f378728bdf590ca4b771ec72385c533964653c68e86bdc/pygments-2.19.2-py3-none-any.whl", hash = "sha256:86540386c03d588bb81d44bc3928634ff26449851e99741617ecb9037ee5ec0b", size = 1225217, upload-time = "2025-06-21T13:39:07.939Z" }, ] [[package]] @@ -1035,7 +1035,7 @@ wheels = [ [[package]] name = "textual" -version = "3.4.0" +version = "3.5.0" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "markdown-it-py", extra = ["linkify", "plugins"] }, @@ -1043,9 +1043,9 @@ dependencies = [ { name = "rich" }, { name = "typing-extensions" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/1b/cf/b4a02ae702ccb3ba0e5de0aaf3197f95585f480ce9f6ed0a5936f6eb2609/textual-3.4.0.tar.gz", hash = "sha256:f697c3b9371bbc30c11453a094d700e95cf7c2115f68bad35f0249de67996c99", size = 1620130, upload-time = "2025-06-14T15:43:45.293Z" } +sdist = { url = "https://files.pythonhosted.org/packages/0c/63/16cdf4b9efb47366940d8315118c5c6dd6309f5eb2c159d7195b60e2e221/textual-3.5.0.tar.gz", hash = "sha256:c4a440338694672acf271c74904f1cf1e4a64c6761c056b02a561774b81a04f4", size = 1590084, upload-time = "2025-06-20T14:46:58.263Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/80/34/388d1da5b524dc56ea02fbcaa1c399f65974263f768573c1c4fcf7777c76/textual-3.4.0-py3-none-any.whl", hash = "sha256:5b3fd07772d3897d30b257825de3df011b83742863aa9d9abcb10e76e61e6ee4", size = 688499, upload-time = "2025-06-14T15:43:43.389Z" }, + { url = "https://files.pythonhosted.org/packages/1f/36/2597036cb80e40f71555bf59741471f7bd76ebed112f10ae0549650a12bf/textual-3.5.0-py3-none-any.whl", hash = "sha256:7c960efb70391b754e66201776793de2b26d699d51fb91f5f78401d13cec79a1", size = 688740, upload-time = "2025-06-20T14:46:56.484Z" }, ] [[package]]