From b55e36f3165e22dfe7ba7b6fed8b42906c9a102e Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 26 Aug 2025 19:08:03 +0000 Subject: [PATCH 1/9] deps/k_release: Set Version 7.1.282 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 73c3584..b48921e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.280 +7.1.282 From 2f1aea6a99f666b7d8ce9b29f9f165182033fde6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Aug 2025 08:01:32 +0000 Subject: [PATCH 2/9] Sync uv files: kframework 7.1.282 --- pyproject.toml | 2 +- uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 3ce0f54..59ffec7 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework==7.1.280", + "kframework==7.1.282", ] [[project.authors]] diff --git a/uv.lock b/uv.lock index eb39924..f37830d 100644 --- a/uv.lock +++ b/uv.lock @@ -503,7 +503,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.280" +version = "7.1.282" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -520,9 +520,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/c8/3e/a423fdd28bc61b36bd74664fb0e1156c3a9e4dc07c586e6fc1d53207ac74/kframework-7.1.280.tar.gz", hash = "sha256:e63098c7eb24c936ba2ed57c9184866e0316767f898148f91a0691e341f1ab3a", size = 242915, upload-time = "2025-07-18T11:30:10.824Z" } +sdist = { url = "https://files.pythonhosted.org/packages/e9/79/62c2244b23b4336dacdbcbaacaa67ae78e1d54ad60fc5466d117cee70374/kframework-7.1.282.tar.gz", hash = "sha256:ceb4aec9e0a7491ca99a10d084db0e2e16602ebad2cad892563ab3d0abeccc23", size = 242922, upload-time = "2025-08-26T19:07:35.703Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/1e/dd/2d028826c92adf60d69a1ad9ee821c80cf0c6ea5f46f38aa667f5033b2b8/kframework-7.1.280-py3-none-any.whl", hash = "sha256:f7ff167f8acd0931ead9d6d53968e901c0f69f322d3f90089cf413f3e4993b1f", size = 294108, upload-time = "2025-07-18T11:30:09.288Z" }, + { url = "https://files.pythonhosted.org/packages/14/2b/8520fb668ae7f222fe174318179ab6b22cbcf786c349690112c0e912c85d/kframework-7.1.282-py3-none-any.whl", hash = "sha256:08850f995fd02371dfadcf372460b67594e0872018547d86d00a2ba75458f377", size = 294118, upload-time = "2025-08-26T19:07:33.892Z" }, ] [[package]] @@ -553,7 +553,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.280" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.282" }] [package.metadata.requires-dev] dev = [ From 109b3cb993184257e8346d5d89fe2ca25bb45aaa Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Aug 2025 08:02:11 +0000 Subject: [PATCH 3/9] 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 9100292..691392a 100644 --- a/flake.lock +++ b/flake.lock @@ -137,16 +137,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1752835635, - "narHash": "sha256-J0GVDFuRcq1jZ6wghuKMuahjzCkv2YRW4I0BBBCgyVw=", + "lastModified": 1756233039, + "narHash": "sha256-bougql4rG6GFokEOgWCDMKgfFUjxoO1XJbn5KynVHQM=", "owner": "runtimeverification", "repo": "k", - "rev": "ea08909b72f56615ab7dfe7a6e17218b6be01de4", + "rev": "6aa4d15e9fb1b913cd02d90cb32cef845c82014d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.280", + "ref": "v7.1.282", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 5516b24..5638511 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "rv-nix-tools/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; - k-framework.url = "github:runtimeverification/k/v7.1.280"; + k-framework.url = "github:runtimeverification/k/v7.1.282"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb"; # uv2nix requires a newer version of nixpkgs From ba4012d10d1d5c0520a0e3859248fe891d9287a9 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 13 Sep 2025 03:45:38 +0000 Subject: [PATCH 4/9] deps/k_release: Set Version 7.1.286 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b48921e..987f996 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.282 +7.1.286 From e7c61458c5f9a81b2012bf189d99c5d5c8ae22ae Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 13 Sep 2025 03:46:00 +0000 Subject: [PATCH 5/9] Sync uv files: kframework 7.1.286 --- pyproject.toml | 2 +- uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 59ffec7..1b5df06 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework==7.1.282", + "kframework==7.1.286", ] [[project.authors]] diff --git a/uv.lock b/uv.lock index f37830d..ee8912c 100644 --- a/uv.lock +++ b/uv.lock @@ -503,7 +503,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.282" +version = "7.1.286" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -520,9 +520,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/e9/79/62c2244b23b4336dacdbcbaacaa67ae78e1d54ad60fc5466d117cee70374/kframework-7.1.282.tar.gz", hash = "sha256:ceb4aec9e0a7491ca99a10d084db0e2e16602ebad2cad892563ab3d0abeccc23", size = 242922, upload-time = "2025-08-26T19:07:35.703Z" } +sdist = { url = "https://files.pythonhosted.org/packages/c9/3c/3dae901a12ce9592d081dde923d01aa695ec841be0002566fe24afb4db97/kframework-7.1.286.tar.gz", hash = "sha256:765bfec5c17f2ca83fa31dec766bb352463a5891466007452ddc27863c3e4710", size = 242935, upload-time = "2025-09-13T03:45:10.057Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/14/2b/8520fb668ae7f222fe174318179ab6b22cbcf786c349690112c0e912c85d/kframework-7.1.282-py3-none-any.whl", hash = "sha256:08850f995fd02371dfadcf372460b67594e0872018547d86d00a2ba75458f377", size = 294118, upload-time = "2025-08-26T19:07:33.892Z" }, + { url = "https://files.pythonhosted.org/packages/e8/ff/f0447faf2cfd47d274a61d2e79d63126f2c80f95f512580be4fbdab2c515/kframework-7.1.286-py3-none-any.whl", hash = "sha256:35489e1e7c90b1c49c894337b05d0413409c0fb9f6e2ee2a743a671f876ea6ab", size = 294119, upload-time = "2025-09-13T03:45:08.119Z" }, ] [[package]] @@ -553,7 +553,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.282" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.286" }] [package.metadata.requires-dev] dev = [ From 747d339e58b687f59c77459c3f8adb90553a2855 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 13 Sep 2025 03:46:40 +0000 Subject: [PATCH 6/9] 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 691392a..a0e713a 100644 --- a/flake.lock +++ b/flake.lock @@ -137,16 +137,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1756233039, - "narHash": "sha256-bougql4rG6GFokEOgWCDMKgfFUjxoO1XJbn5KynVHQM=", + "lastModified": 1757732649, + "narHash": "sha256-9zRowB4dAn1853R+SYaDUzEr/79FJqSgj133P5H2Ak4=", "owner": "runtimeverification", "repo": "k", - "rev": "6aa4d15e9fb1b913cd02d90cb32cef845c82014d", + "rev": "83bbe2f155664e11bbba57f50432bf488da38fb0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.282", + "ref": "v7.1.286", "repo": "k", "type": "github" } @@ -166,16 +166,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1752521186, - "narHash": "sha256-lAON13tJkIWgQrPZ9jtmU73OIpisiiIkchUNXM1VhRs=", + "lastModified": 1756488369, + "narHash": "sha256-3JAXTwH41KnCUVT3O4wuQJ1Utz+aty5432whTW23rMk=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "f1e8363e98264a449877672d5c21f674aeeb84cd", + "rev": "09a3d777393caba34e89d55916ac5046913dbedb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.136", + "ref": "v0.1.137", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 5638511..ea6e545 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "rv-nix-tools/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; - k-framework.url = "github:runtimeverification/k/v7.1.282"; + k-framework.url = "github:runtimeverification/k/v7.1.286"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb"; # uv2nix requires a newer version of nixpkgs From 8cbbcbb8d41695bfffa8b37dc68e628f4520eb88 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Sep 2025 05:48:32 +0000 Subject: [PATCH 7/9] deps/k_release: Set Version 7.1.288 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 987f996..6d96fbf 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.286 +7.1.288 From a798a431abac723232afad27ac4e218f3a7a7036 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Sep 2025 05:48:50 +0000 Subject: [PATCH 8/9] Sync uv files: kframework 7.1.288 --- pyproject.toml | 2 +- uv.lock | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 1b5df06..245609b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -9,7 +9,7 @@ description = "" readme = "README.md" requires-python = "~=3.10" dependencies = [ - "kframework==7.1.286", + "kframework==7.1.288", ] [[project.authors]] diff --git a/uv.lock b/uv.lock index ee8912c..fd56476 100644 --- a/uv.lock +++ b/uv.lock @@ -503,7 +503,7 @@ wheels = [ [[package]] name = "kframework" -version = "7.1.286" +version = "7.1.288" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -520,9 +520,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/c9/3c/3dae901a12ce9592d081dde923d01aa695ec841be0002566fe24afb4db97/kframework-7.1.286.tar.gz", hash = "sha256:765bfec5c17f2ca83fa31dec766bb352463a5891466007452ddc27863c3e4710", size = 242935, upload-time = "2025-09-13T03:45:10.057Z" } +sdist = { url = "https://files.pythonhosted.org/packages/ce/03/7ccd18f17c7d2f9b5b37041592e2e36b7dc054a0fecb05e8c39a4bcecf15/kframework-7.1.288.tar.gz", hash = "sha256:e08e5ee2821b8c8bb7da8871c8ef1e77fad3b5c2d1a6eaa5e08879f970f4c0ed", size = 242925, upload-time = "2025-09-18T05:48:02.013Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/e8/ff/f0447faf2cfd47d274a61d2e79d63126f2c80f95f512580be4fbdab2c515/kframework-7.1.286-py3-none-any.whl", hash = "sha256:35489e1e7c90b1c49c894337b05d0413409c0fb9f6e2ee2a743a671f876ea6ab", size = 294119, upload-time = "2025-09-13T03:45:08.119Z" }, + { url = "https://files.pythonhosted.org/packages/fd/c5/64c539ea000ce6bdea700e0774d67d8506123ac046ee81d7eb8a7ce9a9ba/kframework-7.1.288-py3-none-any.whl", hash = "sha256:0b922c332550e9b50e70d0f34a89ed5dd281df8ddbb04ee883de7d089cf3b272", size = 294117, upload-time = "2025-09-18T05:48:00.422Z" }, ] [[package]] @@ -553,7 +553,7 @@ dev = [ ] [package.metadata] -requires-dist = [{ name = "kframework", specifier = "==7.1.286" }] +requires-dist = [{ name = "kframework", specifier = "==7.1.288" }] [package.metadata.requires-dev] dev = [ From a7f8650c490a7bef3907539eeaa24f39332470e7 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Sep 2025 05:49:29 +0000 Subject: [PATCH 9/9] 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 a0e713a..f17d7d1 100644 --- a/flake.lock +++ b/flake.lock @@ -137,16 +137,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1757732649, - "narHash": "sha256-9zRowB4dAn1853R+SYaDUzEr/79FJqSgj133P5H2Ak4=", + "lastModified": 1758173229, + "narHash": "sha256-h/Alhkrh0AXdk+BDrqiskADMwQU9zOcZ8p1wpAOVMBA=", "owner": "runtimeverification", "repo": "k", - "rev": "83bbe2f155664e11bbba57f50432bf488da38fb0", + "rev": "62ce121afe7221670ed089097c44b3284531751f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.286", + "ref": "v7.1.288", "repo": "k", "type": "github" } @@ -166,16 +166,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1756488369, - "narHash": "sha256-3JAXTwH41KnCUVT3O4wuQJ1Utz+aty5432whTW23rMk=", + "lastModified": 1758120345, + "narHash": "sha256-EQYhu4csXXymcCsTyDmcKFKZQ7aURtYJXUSgbFAnXvM=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "09a3d777393caba34e89d55916ac5046913dbedb", + "rev": "145066375064b27d6e392cdcdfb1efad1c21875d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.137", + "ref": "v0.1.138", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index ea6e545..26a4d82 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "rv-nix-tools/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; - k-framework.url = "github:runtimeverification/k/v7.1.286"; + k-framework.url = "github:runtimeverification/k/v7.1.288"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb"; # uv2nix requires a newer version of nixpkgs