From fe3f6707c125176ea5d1456a185bbc562b47e2db Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 12 Oct 2024 00:07:06 +0000 Subject: [PATCH 1/3] deps/k_release: Set Version 7.1.158 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a3d6d7dd68..950e32997d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.157 +7.1.158 From d3355393989e741ba0e15a48697ab005044c6ff8 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 12 Oct 2024 00:08:41 +0000 Subject: [PATCH 2/3] kevm-pyk/: sync poetry files pyk version 7.1.158 --- 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 e512b1a3a4..29aec27fb7 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -495,13 +495,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.157" +version = "7.1.158" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.157-py3-none-any.whl", hash = "sha256:db15775cd3ed3ef16280e411b03cf7498af52aebc7948367a10a312f9b5ffb69"}, - {file = "kframework-7.1.157.tar.gz", hash = "sha256:a6c7bb69db583ed19eda202f700506ed9cac2d075ac2038634b8198f688698f2"}, + {file = "kframework-7.1.158-py3-none-any.whl", hash = "sha256:2a3fafdfb8e39a1e6a6fe1f766069dc226cf3b51a57fbcf45a13e4e19bd5598a"}, + {file = "kframework-7.1.158.tar.gz", hash = "sha256:17d5ee9f3095b123888c64b09694ef5fc863d6c7f6c46c934473c104e1a366ea"}, ] [package.dependencies] @@ -1006,13 +1006,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.17.0" +version = "3.18.0" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.9" files = [ - {file = "pyupgrade-3.17.0-py2.py3-none-any.whl", hash = "sha256:cbc8f67a61d3f4e7ca9c2ef57b9aae67f023d3780ce30c99fccec78401723754"}, - {file = "pyupgrade-3.17.0.tar.gz", hash = "sha256:d5dd1dcaf9a016c31508bb9d3d09fd335d736578092f91df52bb26ac30c37919"}, + {file = "pyupgrade-3.18.0-py2.py3-none-any.whl", hash = "sha256:74dbca15f715342393d20e31575d846643fdeb32c6fe8d9598c41645bab3f762"}, + {file = "pyupgrade-3.18.0.tar.gz", hash = "sha256:894cf4c64c17c020f86adaab55a82449a7add29b1ea4a1b9e659ed48c922d3ae"}, ] [package.dependencies] @@ -1190,4 +1190,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e2ddfa5486d7c83d92b7e90bb465a9160e73918c7425a825a753f1b1d4be70f0" +content-hash = "4c0ce5b5d6a47ba233a9907dae5641c93a898389cd8259edb8cf60ff94720357" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 47da2eec76..3de213aaff 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.157" +kframework = "7.1.158" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 3cdaac878bcccf91d277149c71ffe9e180ad8f52 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 12 Oct 2024 00:09:12 +0000 Subject: [PATCH 3/3] 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 1dbb9a1ce4..5ba6383f04 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1728557386, - "narHash": "sha256-Wv247uUEE76ukrgQOww4qU/zvQ0gNqtaZq7Ih+WdukA=", + "lastModified": 1728689110, + "narHash": "sha256-gWIEg5FrKRDBcQbZ/DXjg3kHtUqH0ljTl8vV4x3LABA=", "owner": "runtimeverification", "repo": "k", - "rev": "6b8eb1c9e1f6917a4a129869cef74d3eaef550f0", + "rev": "bd34ca161369a5e1731c61074ed04607c8cc5bad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.157", + "ref": "v7.1.158", "repo": "k", "type": "github" } @@ -432,16 +432,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1727813652, - "narHash": "sha256-x29OdXQARnaith+dz88R3O056tlJcC4VqFbFzlbqLEc=", + "lastModified": 1728677554, + "narHash": "sha256-9+xXyy2Pbw04RBOTgYcNv/ilNcUMwH3E12WtNNL0Ey0=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "812ea2ad00c91b7b5d144bd2624c7293802db45f", + "rev": "3db6947cb1c97a97bdcaf2ee990dbd18b7f251e7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.98", + "ref": "v0.1.99", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 947d40e277..1918d3f43c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.157"; + k-framework.url = "github:runtimeverification/k/v7.1.158"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils";