From f1de35fd190d3b9538645ef586772ca73216b6b5 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 17 Jan 2025 00:46:26 -0700 Subject: [PATCH] Update dependency: deps/k_release (#2684) * deps/k_release: Set Version 7.1.199 * kevm-pyk/: sync poetry files pyk version 7.1.199 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- kevm-pyk/poetry.lock | 22 +++++++++++----------- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 22 insertions(+), 22 deletions(-) diff --git a/deps/k_release b/deps/k_release index ffe1fc1ed7..52c13a9082 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.196 +7.1.199 diff --git a/flake.lock b/flake.lock index cf65f46d03..f1fdfc8e21 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1736271775, - "narHash": "sha256-n5iM0BAJ+x3edkZwVqubnBOebkSLvpzuWZ6rAi7dwhI=", + "lastModified": 1737057776, + "narHash": "sha256-AcmnwsJKm49zl426tmOlcWoH1ekV/+7DwxbqJ7OyNhA=", "owner": "runtimeverification", "repo": "k", - "rev": "81bcc2459963fc47deb85c5fb0e21ee822d2031a", + "rev": "1cd1fcfd08f0533683655140cdd809f28136414e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.196", + "ref": "v7.1.199", "repo": "k", "type": "github" } @@ -432,16 +432,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1730229432, - "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", + "lastModified": 1736524972, + "narHash": "sha256-h9tcey+vDixmOjLFtpdPU+bQJPkzyU8FsyrHWZHEWWk=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", + "rev": "d910a26d2a4c45e1b72eafb35642b76fc0d1faf0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.103", + "ref": "v0.1.122", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 1194a7e52b..751ab8ea22 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.196"; + k-framework.url = "github:runtimeverification/k/v7.1.199"; 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 0160953b7b..179c03cd1b 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 2.0.0 and should not be changed by hand. +# This file is automatically @generated by Poetry 2.0.1 and should not be changed by hand. [[package]] name = "attrs" @@ -465,14 +465,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.123.7" +version = "6.124.0" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.123.7-py3-none-any.whl", hash = "sha256:292d5cd90e1665da53cfe74082187488cf48292c45ca191550d661aee6d52397"}, - {file = "hypothesis-6.123.7.tar.gz", hash = "sha256:c88f21fba1e8f893a43c04ca422acdf13b182b8272b4d530f5bbaa753e381232"}, + {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"}, + {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"}, ] [package.dependencies] @@ -565,14 +565,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.196" +version = "7.1.199" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.196-py3-none-any.whl", hash = "sha256:2d74edcbc303e1d9f7cf48a5ec3a4f14cdcf028b532e1e1ec68cba8f2145ed1c"}, - {file = "kframework-7.1.196.tar.gz", hash = "sha256:218c318f14c1d53eae5d906c133913eadbeae8942b4b150cd2f502230d61c174"}, + {file = "kframework-7.1.199-py3-none-any.whl", hash = "sha256:c8e64d3f2b13c9e9353eef8cc41c3945261e7d5398de2324ba2c95504ecbff55"}, + {file = "kframework-7.1.199.tar.gz", hash = "sha256:d7ab05b154269bf3141a0d90dda7534668a1678721f945333e29a05c6679b1c6"}, ] [package.dependencies] @@ -1154,14 +1154,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "75.7.0" +version = "75.8.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.9" groups = ["dev"] files = [ - {file = "setuptools-75.7.0-py3-none-any.whl", hash = "sha256:84fb203f278ebcf5cd08f97d3fb96d3fbed4b629d500b29ad60d11e00769b183"}, - {file = "setuptools-75.7.0.tar.gz", hash = "sha256:886ff7b16cd342f1d1defc16fc98c9ce3fde69e087a4e1983d7ab634e5f41f4f"}, + {file = "setuptools-75.8.0-py3-none-any.whl", hash = "sha256:e3982f444617239225d675215d51f6ba05f845d4eec313da4418fdbb56fb27e3"}, + {file = "setuptools-75.8.0.tar.gz", hash = "sha256:c5afc8f407c626b8313a86e10311dd3f661c6cd9c09d4bf8c15c0e11f9f2b0e6"}, ] [package.extras] @@ -1347,4 +1347,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "52576ca230762cf45e8885a11876c100db53238aef89da59a2003bf7e031d428" +content-hash = "b7b227b65dee1324bccd474c64968abdf5f63cc3fbe7eacaa8ee1f3b002d1dd9" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 184ef7c22b..beb6c026a3 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.196" +kframework = "7.1.199" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]