From 1f5b62455eec7d08344fbb36cbe49ab4f1c4511d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 3 Oct 2024 13:01:49 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2635) * deps/k_release: Set Version 7.1.153 * kevm-pyk/: sync poetry files pyk version 7.1.153 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- kevm-pyk/poetry.lock | 25 +++++++++++++------------ kevm-pyk/pyproject.toml | 2 +- 5 files changed, 24 insertions(+), 23 deletions(-) diff --git a/deps/k_release b/deps/k_release index 1ef9950c91..2390f40da3 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.151 +7.1.153 diff --git a/flake.lock b/flake.lock index beeb42be95..166f8e1e0b 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1727294569, - "narHash": "sha256-0acBhM4McFJ93BO0pamzHr6ekLWgiH4gvw2428JX7wY=", + "lastModified": 1727961351, + "narHash": "sha256-HEQjZgsFMZOtpwI6yfUtmVUQPyBFPYSTejdeGF+U/NE=", "owner": "runtimeverification", "repo": "k", - "rev": "d0d2553f1254991600a830b108d98fe9febc1f5a", + "rev": "c50060b2d114bf8e4e63422b08ffe0634ec13dcc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.151", + "ref": "v7.1.153", "repo": "k", "type": "github" } @@ -432,16 +432,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1727116141, - "narHash": "sha256-htGQy05VRhuAWdMkUzCf67gkKRGSHfJUeXU5bc2Z27Q=", + "lastModified": 1727813652, + "narHash": "sha256-x29OdXQARnaith+dz88R3O056tlJcC4VqFbFzlbqLEc=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b830daaa6392ff256e62970cab89deeaaf7aab95", + "rev": "812ea2ad00c91b7b5d144bd2624c7293802db45f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.95", + "ref": "v0.1.98", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 5cc3d5bde0..54719d3115 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.151"; + k-framework.url = "github:runtimeverification/k/v7.1.153"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index fd6f13a9ba..31ea3fdcb0 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -505,13 +505,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.151" +version = "7.1.153" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.151-py3-none-any.whl", hash = "sha256:8ac212711a7b9e0ae8953884b779a0b215ef7c4145816dbd588342f5c3b00268"}, - {file = "kframework-7.1.151.tar.gz", hash = "sha256:057025b23bbdb0903c9abf5fcd57bddd667643b23d22fa9fd1b1b0d2786011de"}, + {file = "kframework-7.1.153-py3-none-any.whl", hash = "sha256:1c883aee56539a3bc356f5308c6086dbbdbb0c328ca41aed7fe2c68e7bd32b8a"}, + {file = "kframework-7.1.153.tar.gz", hash = "sha256:d57cee3572c787cf37d81b33c38a23d5b9453ca0499447850f138044388675c4"}, ] [package.dependencies] @@ -1030,18 +1030,19 @@ tokenize-rt = ">=5.2.0" [[package]] name = "rich" -version = "13.8.1" +version = "13.9.1" description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal" optional = false -python-versions = ">=3.7.0" +python-versions = ">=3.8.0" files = [ - {file = "rich-13.8.1-py3-none-any.whl", hash = "sha256:1760a3c0848469b97b558fc61c85233e3dafb69c7a071b4d60c38099d3cd4c06"}, - {file = "rich-13.8.1.tar.gz", hash = "sha256:8260cda28e3db6bf04d2d1ef4dbc03ba80a824c88b0e7668a0f23126a424844a"}, + {file = "rich-13.9.1-py3-none-any.whl", hash = "sha256:b340e739f30aa58921dc477b8adaa9ecdb7cecc217be01d93730ee1bc8aa83be"}, + {file = "rich-13.9.1.tar.gz", hash = "sha256:097cffdf85db1babe30cc7deba5ab3a29e1b9885047dab24c57e9a7f8a9c1466"}, ] [package.dependencies] markdown-it-py = ">=2.2.0" pygments = ">=2.13.0,<3.0.0" +typing-extensions = {version = ">=4.0.0,<5.0", markers = "python_version < \"3.11\""} [package.extras] jupyter = ["ipywidgets (>=7.5.1,<9)"] @@ -1110,13 +1111,13 @@ files = [ [[package]] name = "tomli" -version = "2.0.1" +version = "2.0.2" description = "A lil' TOML parser" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "tomli-2.0.1-py3-none-any.whl", hash = "sha256:939de3e7a6161af0c887ef91b7d41a53e7c5a1ca976325f429cb46ea9bc30ecc"}, - {file = "tomli-2.0.1.tar.gz", hash = "sha256:de526c12914f0c550d15924c62d72abc48d6fe7364aa87328337a31007fe8a4f"}, + {file = "tomli-2.0.2-py3-none-any.whl", hash = "sha256:2ebe24485c53d303f690b0ec092806a085f07af5a5aa1464f3931eec36caaa38"}, + {file = "tomli-2.0.2.tar.gz", hash = "sha256:d46d457a85337051c36524bc5349dd91b1877838e2979ac5ced3e710ed8a60ed"}, ] [[package]] @@ -1199,4 +1200,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0a849d808a5c02dde815796850cf068915d836a5673bd2801e9b9c77ed35e9df" +content-hash = "553733451de8ae68071680ef4c7b73b49ff376692aa99ec65ac36b60e618c276" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 9a34fcbfbb..3108c25858 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.151" +kframework = "7.1.153" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]