From c0ccdaf234889ddb7feeeb43054d72b22aa0f1bc Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Jan 2025 08:01:53 -0700 Subject: [PATCH 1/2] Update dependency: deps/k_release (#2688) * deps/k_release: Set Version 7.1.203 * kevm-pyk/: sync poetry files pyk version 7.1.203 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kevm-pyk/poetry.lock | 35 ++++++++++++++--------------------- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 21 insertions(+), 28 deletions(-) diff --git a/deps/k_release b/deps/k_release index cdd318aa55..5f3b9106f0 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.201 +7.1.203 diff --git a/flake.lock b/flake.lock index 5ca9f26f3f..cca1248604 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1737125608, - "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=", + "lastModified": 1737378419, + "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=", "owner": "runtimeverification", "repo": "k", - "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9", + "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.201", + "ref": "v7.1.203", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 8981b5d6df..7bb16c713e 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.201"; + k-framework.url = "github:runtimeverification/k/v7.1.203"; 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 558fffea03..49bd3ba55e 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -112,28 +112,21 @@ colorama = {version = "*", markers = "platform_system == \"Windows\""} [[package]] name = "cmd2" -version = "2.5.8" +version = "2.5.9" description = "cmd2 - quickly build feature-rich and user-friendly interactive command line applications in Python" optional = false python-versions = ">=3.8" groups = ["main"] files = [ - {file = "cmd2-2.5.8-py3-none-any.whl", hash = "sha256:aeb6eb6cd6d783bb7d92d37aa920bcfa7379690ba9ab1188576562f73a13471c"}, - {file = "cmd2-2.5.8.tar.gz", hash = "sha256:ddf29beaa7c9d4e9806eefad528a59c372ca97b4c0d83e019fef0e37c44f4497"}, + {file = "cmd2-2.5.9-py3-none-any.whl", hash = "sha256:b2621661fe48a5a94343bd0f3285c18ca51ed9edda61406b6898895be0eb99ad"}, + {file = "cmd2-2.5.9.tar.gz", hash = "sha256:09bb13637832bc818aad5577ccdf5dbeb0c9fbe5b9412ff78d5084f7846f83ab"}, ] [package.dependencies] -gnureadline = {version = "*", markers = "platform_system == \"Darwin\""} -pyperclip = "*" -pyreadline3 = {version = "*", markers = "platform_system == \"Windows\""} -wcwidth = "*" - -[package.extras] -build = ["build", "setuptools", "setuptools-scm"] -dev = ["codecov", "doc8", "invoke", "mypy", "pytest", "pytest-cov", "pytest-mock", "ruff", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme", "twine"] -docs = ["setuptools", "setuptools_scm", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme"] -test = ["codecov", "coverage", "pytest", "pytest-cov", "pytest-mock"] -validate = ["mypy", "ruff", "types-setuptools"] +gnureadline = {version = ">=8", markers = "platform_system == \"Darwin\""} +pyperclip = ">=1.8" +pyreadline3 = {version = ">=3.4", markers = "platform_system == \"Windows\""} +wcwidth = ">=0.2.10" [[package]] name = "colorama" @@ -465,14 +458,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.124.0" +version = "6.124.1" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"}, - {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"}, + {file = "hypothesis-6.124.1-py3-none-any.whl", hash = "sha256:40c8be982d3a79b26d5ae11b6606189784f1654f3c750ffcb99fc5b352d5e2ba"}, + {file = "hypothesis-6.124.1.tar.gz", hash = "sha256:6e21995c3cb3198ef7e60853acce1fbaa6c16de59c2fb3158845664dfe639bd9"}, ] [package.dependencies] @@ -565,14 +558,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.201" +version = "7.1.203" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.201-py3-none-any.whl", hash = "sha256:1c1f3821147376c46dbff56001093cd7810d475e28667a91ddddcc9026d1f54f"}, - {file = "kframework-7.1.201.tar.gz", hash = "sha256:1e06fabbc3df5b6f8d2d9cc04f510e9942a7809e142a5aeba858797ab2274a87"}, + {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"}, + {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"}, ] [package.dependencies] @@ -1347,4 +1340,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "9f73da57ce718b188a20971ff3ac6b977ffe9db590c9a04bfb97912333e05776" +content-hash = "b0a69c3c9e80b3b1e5ce5e72fdd2e3bebbd95f61db1f32e86f82e6b39f979df5" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index bab6c59869..245e1d1e9d 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.201" +kframework = "7.1.203" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 9351ead2950313a4d41cd84884580521b2fbe44c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Jan 2025 23:07:59 -0700 Subject: [PATCH 2/2] Update dependency: deps/k_release (#2689) * deps/k_release: Set Version 7.1.204 * kevm-pyk/: sync poetry files pyk version 7.1.204 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.205 * kevm-pyk/: sync poetry files pyk version 7.1.205 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/deps/k_release b/deps/k_release index 5f3b9106f0..9aa8cae8e0 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.203 +7.1.205 diff --git a/flake.lock b/flake.lock index cca1248604..e95d9108ff 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1737378419, - "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=", + "lastModified": 1737403363, + "narHash": "sha256-W+qMyPgbgoeFugC9vQKOoHUHdbLqvS2X7ObhcMEQxOU=", "owner": "runtimeverification", "repo": "k", - "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9", + "rev": "ab00be0b289ac0fe59c845ffb82c8c4a107f50ff", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.203", + "ref": "v7.1.205", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 7bb16c713e..94040c8561 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.203"; + k-framework.url = "github:runtimeverification/k/v7.1.205"; 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 49bd3ba55e..da711625ea 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -558,14 +558,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.203" +version = "7.1.205" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"}, - {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"}, + {file = "kframework-7.1.205-py3-none-any.whl", hash = "sha256:4e09f6b86b0431dcb76efe0f364ecb4da3bf8a52e7d4c8d6422f85412c944c3a"}, + {file = "kframework-7.1.205.tar.gz", hash = "sha256:d9d6b8fa39fc0271d475bb404e6e4bab1f56d33ff1111d667c56f9b1205b7d09"}, ] [package.dependencies] @@ -1340,4 +1340,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "b0a69c3c9e80b3b1e5ce5e72fdd2e3bebbd95f61db1f32e86f82e6b39f979df5" +content-hash = "078ccc2831e11dc7c644f4699f64c21e993e6ee443ab7ab3eeb619556e23db62" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 245e1d1e9d..7eae257bbe 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.203" +kframework = "7.1.205" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]