From d87a9fe80e8250766dd94009ddc19acee3a6b0f9 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 12 Sep 2024 15:41:27 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2619) * deps/k_release: Set Version 7.1.141 * kevm-pyk/: sync poetry files pyk version 7.1.141 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.142 * kevm-pyk/: sync poetry files pyk version 7.1.142 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 34 +++++++++++++++++----------------- flake.nix | 2 +- kevm-pyk/poetry.lock | 34 +++++++++++++++++++--------------- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 39 insertions(+), 35 deletions(-) diff --git a/deps/k_release b/deps/k_release index 722572e072..67639f4f28 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.139 +7.1.142 diff --git a/flake.lock b/flake.lock index ad9cb44cf9..b80959e6a9 100644 --- a/flake.lock +++ b/flake.lock @@ -148,11 +148,11 @@ "systems": "systems_5" }, "locked": { - "lastModified": 1694529238, - "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", + "lastModified": 1710146030, + "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", + "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a", "type": "github" }, "original": { @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1725917130, - "narHash": "sha256-w+ydFOSX6cq7mPVtfzQWX18UGXNIQPCuqWQOYICvaGQ=", + "lastModified": 1726170219, + "narHash": "sha256-pQG1D9oDG24h7I/ekTI96IGZ7ikWrip0m4o1uDFIBZc=", "owner": "runtimeverification", "repo": "k", - "rev": "ddc22368b132914e64811f507c87725d1b96dc4d", + "rev": "6e23a83e5380f9eae45a73e3956776f2e666da35", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.139", + "ref": "v7.1.142", "repo": "k", "type": "github" } @@ -432,16 +432,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1724355360, - "narHash": "sha256-wy+g2rVUn2dYoZ/JSA8x0cWNWYDxnxLpAzaucjUBciQ=", + "lastModified": 1726098480, + "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b9d2a6da360e2b14a60a22928d625f43fb71ae02", + "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.84", + "ref": "v0.1.88", "repo": "llvm-backend", "type": "github" } @@ -478,11 +478,11 @@ ] }, "locked": { - "lastModified": 1693660503, - "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=", + "lastModified": 1703863825, + "narHash": "sha256-rXwqjtwiGKJheXB43ybM8NwWB8rO2dSRrEqes0S7F5Y=", "owner": "nix-community", "repo": "nix-github-actions", - "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0", + "rev": "5163432afc817cf8bd1f031418d1869e4c9d5547", "type": "github" }, "original": { @@ -858,11 +858,11 @@ ] }, "locked": { - "lastModified": 1697388351, - "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=", + "lastModified": 1719749022, + "narHash": "sha256-ddPKHcqaKCIFSFc/cvxS14goUhCOAwsM1PbMr0ZtHMg=", "owner": "numtide", "repo": "treefmt-nix", - "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a", + "rev": "8df5ff62195d4e67e2264df0b7f5e8c9995fd0bd", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index e9ac9f0e6d..c695ceca69 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.139"; + k-framework.url = "github:runtimeverification/k/v7.1.142"; 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 b30351022e..eab570fc49 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -443,22 +443,26 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.4.0" +version = "8.5.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.4.0-py3-none-any.whl", hash = "sha256:66f342cc6ac9818fc6ff340576acd24d65ba0b3efabb2b4ac08b598965a4a2f1"}, - {file = "importlib_metadata-8.4.0.tar.gz", hash = "sha256:9a547d3bc3608b025f93d403fdd1aae741c24fbb8314df4b155675742ce303c5"}, + {file = "importlib_metadata-8.5.0-py3-none-any.whl", hash = "sha256:45e54197d28b7a7f1559e60b95e7c567032b602131fbd588f1497f47880aa68b"}, + {file = "importlib_metadata-8.5.0.tar.gz", hash = "sha256:71522656f0abace1d072b9e5481a48f07c138e00f079c38c8f883823f9c26bd7"}, ] [package.dependencies] -zipp = ">=0.5" +zipp = ">=3.20" [package.extras] +check = ["pytest-checkdocs (>=2.4)", "pytest-ruff (>=0.2.1)"] +cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] +enabler = ["pytest-enabler (>=2.2)"] perf = ["ipython"] -test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] +test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-perf (>=0.9.2)"] +type = ["pytest-mypy"] [[package]] name = "iniconfig" @@ -501,13 +505,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.139" +version = "7.1.142" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.139-py3-none-any.whl", hash = "sha256:bf3f6efa8a23a272dd1afdcaa109822e679d35be1176f219a24bb7ae0a23c8d2"}, - {file = "kframework-7.1.139.tar.gz", hash = "sha256:ed5efd1ed91cb404fcbac7cd05745af966302f25aba94afe0b2cdedf243088c8"}, + {file = "kframework-7.1.142-py3-none-any.whl", hash = "sha256:41dc2f26ea3acff1d79fd6e87519cedba94f3a9de8e313066a7fbb7654710c4c"}, + {file = "kframework-7.1.142.tar.gz", hash = "sha256:e55b516f8c5ecf0b1d166b89f3845b4207f07b86fa5843d8f0aab4cb9a9888ef"}, ] [package.dependencies] @@ -903,13 +907,13 @@ files = [ [[package]] name = "pyreadline3" -version = "3.4.1" +version = "3.4.3" description = "A python implementation of GNU readline." optional = false python-versions = "*" files = [ - {file = "pyreadline3-3.4.1-py3-none-any.whl", hash = "sha256:b0efb6516fd4fb07b45949053826a62fa4cb353db5be2bbb4a7aa1fdd1e345fb"}, - {file = "pyreadline3-3.4.1.tar.gz", hash = "sha256:6f3d1f7b8a31ba32b73917cefc1f28cc660562f39aea8646d30bd6eff21f7bae"}, + {file = "pyreadline3-3.4.3-py3-none-any.whl", hash = "sha256:f832c5898f4f9a0f81d48a8c499b39d0179de1a465ea3def1a7e7231840b4ed6"}, + {file = "pyreadline3-3.4.3.tar.gz", hash = "sha256:ebab0baca37f50e2faa1dd99a6da1c75de60e0d68a3b229c134bbd12786250e2"}, ] [[package]] @@ -1019,13 +1023,13 @@ tokenize-rt = ">=5.2.0" [[package]] name = "rich" -version = "13.8.0" +version = "13.8.1" description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal" optional = false python-versions = ">=3.7.0" files = [ - {file = "rich-13.8.0-py3-none-any.whl", hash = "sha256:2e85306a063b9492dffc86278197a60cbece75bcb766022f3436f567cae11bdc"}, - {file = "rich-13.8.0.tar.gz", hash = "sha256:a5ac1f1cd448ade0d59cc3356f7db7a7ccda2c8cbae9c7a90c28ff463d3e91f4"}, + {file = "rich-13.8.1-py3-none-any.whl", hash = "sha256:1760a3c0848469b97b558fc61c85233e3dafb69c7a071b4d60c38099d3cd4c06"}, + {file = "rich-13.8.1.tar.gz", hash = "sha256:8260cda28e3db6bf04d2d1ef4dbc03ba80a824c88b0e7668a0f23126a424844a"}, ] [package.dependencies] @@ -1188,4 +1192,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0f5489e233b43fd096e4d8ffdf563025b8bd9ad888f8dbbdf99ff98c71885750" +content-hash = "ae0b3f26c5c017db2751c3dc30b4f6b8c4e7ebcf739bff5cb0c322bfaf1fd90a" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index d2ce61f607..4c16c4ed25 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.139" +kframework = "7.1.142" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]