From f0ff105c2f4241637a932992e3d45e17479df1e5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 10:13:12 +0000 Subject: [PATCH 1/9] deps/k_release: Set Version 7.1.277 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 614d8d16e2..3226e6d99c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.276 +7.1.277 From 0e3121cdbfab77274e9735d1cea59792c5f9c780 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 10:13:58 +0000 Subject: [PATCH 2/9] kevm-pyk/: sync poetry files pyk version 7.1.277 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index beb41a4f5a..ea2b45f75f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -801,14 +801,14 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.276" +version = "7.1.277" description = "" optional = false python-versions = "~=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.276-py3-none-any.whl", hash = "sha256:4b8a42ff0510765562657c718d4db508bfa619dff91d3a0801258c33762a2b3a"}, - {file = "kframework-7.1.276.tar.gz", hash = "sha256:5d60dc89008f7af2467272366909c95b678a8dac5a8205709711d9263a76ccdd"}, + {file = "kframework-7.1.277-py3-none-any.whl", hash = "sha256:f108e843450118d68554eedc7501990dd5c3f06961f76019fe18e42533ce3d9d"}, + {file = "kframework-7.1.277.tar.gz", hash = "sha256:a0449d11cf24c4f8114279571eacaa86330c58a5157fbd5240726347b8919cb9"}, ] [package.dependencies] @@ -1823,4 +1823,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "20ce2ff90a06fa315ffbfd039f4d0247f7512fd89a7bfcc12d28513efba9858d" +content-hash = "133523c02dd4689bb7bac79fb16dcbbe4c7e619f9228fdd07f51edd3f3d66220" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 16b01df063..e82123a6be 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.276" +kframework = "7.1.277" tomlkit = "^0.11.6" frozendict = "^2.4.6" From 019e76069115461479a104e139ea0b3932c5e8cf Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 10:14:52 +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 acaf8512dc..a65aa4da84 100644 --- a/flake.lock +++ b/flake.lock @@ -417,16 +417,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1752676174, - "narHash": "sha256-2qVSTzkX9jhO4XJfMdS2c0rVCTavyUj45tMMC7hwjn8=", + "lastModified": 1752744664, + "narHash": "sha256-f6mnTa0+N+z5cmux1GVGC58yOeWQNd4jyLBqTXjIR88=", "owner": "runtimeverification", "repo": "k", - "rev": "76f4c3fe252cde6b615cba39a65c48cf2f2bb9c5", + "rev": "cd79cf5b9a811a72aa052b17865f4b9811c8ccc1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.276", + "ref": "v7.1.277", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index e9591861c6..840a825dea 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.276"; + k-framework.url = "github:runtimeverification/k/v7.1.277"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; poetry2nix = { From 42495909d1487867a0a06c9022b5047aba775d8c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 12:05:10 +0000 Subject: [PATCH 4/9] deps/k_release: Set Version 7.1.278 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3226e6d99c..8fef5172cf 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.277 +7.1.278 From 2da19c4328e75bad72d68163c3a9b3aa5bb4af9f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 12:06:02 +0000 Subject: [PATCH 5/9] kevm-pyk/: sync poetry files pyk version 7.1.278 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index ea2b45f75f..5f20a9d9a1 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -801,14 +801,14 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.277" +version = "7.1.278" description = "" optional = false python-versions = "~=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.277-py3-none-any.whl", hash = "sha256:f108e843450118d68554eedc7501990dd5c3f06961f76019fe18e42533ce3d9d"}, - {file = "kframework-7.1.277.tar.gz", hash = "sha256:a0449d11cf24c4f8114279571eacaa86330c58a5157fbd5240726347b8919cb9"}, + {file = "kframework-7.1.278-py3-none-any.whl", hash = "sha256:5166508338ec0d94ee604f65f945f0dd99990b35686643bd99ac3e6497e66ca8"}, + {file = "kframework-7.1.278.tar.gz", hash = "sha256:53ff71a92ba25f631f78225df77707019f97abcd6787366ed113572e56448b80"}, ] [package.dependencies] @@ -1823,4 +1823,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "133523c02dd4689bb7bac79fb16dcbbe4c7e619f9228fdd07f51edd3f3d66220" +content-hash = "6bfa4171f85f900e1395fde7fa5863ea494448e14769d8fd1adaa2e96e6407b2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index e82123a6be..a86a09a71d 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.277" +kframework = "7.1.278" tomlkit = "^0.11.6" frozendict = "^2.4.6" From e08f96243d1aed9d457d9f08a8b17c8b85f67f04 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 17 Jul 2025 12:07:04 +0000 Subject: [PATCH 6/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 a65aa4da84..ed25559bc1 100644 --- a/flake.lock +++ b/flake.lock @@ -417,16 +417,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1752744664, - "narHash": "sha256-f6mnTa0+N+z5cmux1GVGC58yOeWQNd4jyLBqTXjIR88=", + "lastModified": 1752751679, + "narHash": "sha256-6iBinPZ9g/2qX8c6wFBAHmatDRDbIG+OArfcXSAqJeQ=", "owner": "runtimeverification", "repo": "k", - "rev": "cd79cf5b9a811a72aa052b17865f4b9811c8ccc1", + "rev": "30cc8cb28bda9bf8cc68eb5ba7d31312c6ada80d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.277", + "ref": "v7.1.278", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 840a825dea..5bbe88a5cd 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.277"; + k-framework.url = "github:runtimeverification/k/v7.1.278"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; poetry2nix = { From 4934793575c5e1c317ec401fb1fc2d7504ce124f Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 18 Jul 2025 11:30:48 +0000 Subject: [PATCH 7/9] deps/k_release: Set Version 7.1.280 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8fef5172cf..73c3584b4c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.278 +7.1.280 From d55b7fb96624f96cf0c5cf512306bded0e47b854 Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 20 Jul 2025 04:43:41 +0000 Subject: [PATCH 8/9] kevm-pyk/: sync poetry files pyk version 7.1.280 --- kevm-pyk/poetry.lock | 14 +++++++------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 5f20a9d9a1..6a96effa29 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -665,14 +665,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.135.32" +version = "6.136.0" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.135.32-py3-none-any.whl", hash = "sha256:d0f2bf93863f19a7af2510685dde2b89efb94eaebd3ca0b86c548cd8daa33ab0"}, - {file = "hypothesis-6.135.32.tar.gz", hash = "sha256:b74019dc58065d806abea6292008a392bc9326b88d6a46c8cce51c9cd485af42"}, + {file = "hypothesis-6.136.0-py3-none-any.whl", hash = "sha256:a288672440d94f9cd307e3889c4087d1f8c8b114285fcf07ae415b3c7d4a26ab"}, + {file = "hypothesis-6.136.0.tar.gz", hash = "sha256:1d7f0b61195369c043b90484cb2948a369ff83b3584970586d5c9a6f60641625"}, ] [package.dependencies] @@ -801,14 +801,14 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.278" +version = "7.1.280" description = "" optional = false python-versions = "~=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.278-py3-none-any.whl", hash = "sha256:5166508338ec0d94ee604f65f945f0dd99990b35686643bd99ac3e6497e66ca8"}, - {file = "kframework-7.1.278.tar.gz", hash = "sha256:53ff71a92ba25f631f78225df77707019f97abcd6787366ed113572e56448b80"}, + {file = "kframework-7.1.280-py3-none-any.whl", hash = "sha256:f7ff167f8acd0931ead9d6d53968e901c0f69f322d3f90089cf413f3e4993b1f"}, + {file = "kframework-7.1.280.tar.gz", hash = "sha256:e63098c7eb24c936ba2ed57c9184866e0316767f898148f91a0691e341f1ab3a"}, ] [package.dependencies] @@ -1823,4 +1823,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "6bfa4171f85f900e1395fde7fa5863ea494448e14769d8fd1adaa2e96e6407b2" +content-hash = "48bdf4fe8d02913c4b0180901e2eca348ffedfd6bf5aba239886087c3fedf9a4" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index a86a09a71d..002a4971be 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.278" +kframework = "7.1.280" tomlkit = "^0.11.6" frozendict = "^2.4.6" From 38669e17fc79e045729605e156fc655c9e12dc87 Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 20 Jul 2025 04:44:46 +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 ed25559bc1..8453d2a2fb 100644 --- a/flake.lock +++ b/flake.lock @@ -310,16 +310,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1751499472, - "narHash": "sha256-ANQpT4xXTmNRDY0CAIseLL/xDKTuLp2dSRTsp19/2mk=", + "lastModified": 1752802358, + "narHash": "sha256-pwv2jqljmGxhGMyJG5yyLo8MgfkxYniQEEcU7Zrm4LQ=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "d80129c70eb37810dfb1efd6bb05c212b97bd87f", + "rev": "7d84039d7be22dbc4f6ff76488deed21e23a581f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.132", + "ref": "v0.1.135", "repo": "haskell-backend", "type": "github" } @@ -417,16 +417,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1752751679, - "narHash": "sha256-6iBinPZ9g/2qX8c6wFBAHmatDRDbIG+OArfcXSAqJeQ=", + "lastModified": 1752835635, + "narHash": "sha256-J0GVDFuRcq1jZ6wghuKMuahjzCkv2YRW4I0BBBCgyVw=", "owner": "runtimeverification", "repo": "k", - "rev": "30cc8cb28bda9bf8cc68eb5ba7d31312c6ada80d", + "rev": "ea08909b72f56615ab7dfe7a6e17218b6be01de4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.278", + "ref": "v7.1.280", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 5bbe88a5cd..4d12f13343 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.278"; + k-framework.url = "github:runtimeverification/k/v7.1.280"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; poetry2nix = {