From a33ab8d95a74d7d37357b8748b765727e76a26c4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Jan 2025 02:26:10 -0700 Subject: [PATCH] Update dependency: deps/kevm_release (#949) * deps/kevm_release: Set Version 1.0.785 * Sync Poetry files: kevm-pyk version 1.0.785 * deps/k_release: sync release file version 7.1.208 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kevm_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- poetry.lock | 27 ++++++++++++++------------- pyproject.toml | 2 +- 6 files changed, 26 insertions(+), 25 deletions(-) diff --git a/deps/k_release b/deps/k_release index 5f759ce58..f9e3570ff 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.207 +7.1.208 diff --git a/deps/kevm_release b/deps/kevm_release index ae69e3ab0..9aee76637 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.784 +1.0.785 diff --git a/flake.lock b/flake.lock index c8c2e5b45..d10a7138b 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1737656969, - "narHash": "sha256-rgt44+Zt9NLeYtBfbxSCKmuS+/YrCPKOoq1s5ggv7wQ=", + "lastModified": 1737981043, + "narHash": "sha256-RExPlGshUJ7K3gvtFqcLvRDJTMnKk/mcdOph1KmTJQ8=", "owner": "runtimeverification", "repo": "k", - "rev": "53ae31ec1518a054776e8ba7b31a4c369f8af023", + "rev": "1fc791c78edbea92ea2df41b3c555ae2a56bec64", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.207", + "ref": "v7.1.208", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1738011727, - "narHash": "sha256-o5O5ylZUpRtYFQVGgn8nHo3DH3TZEnIU9me5rRVaNDQ=", + "lastModified": 1738051333, + "narHash": "sha256-6CTuC/8ulxdQX5M/H6TpFye8CQuEOPDITkayoU7K1TE=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "e1d0c5716f31c1830a98236e0a5b969ea333e5d8", + "rev": "04ddb6de7415805a436d0cbd49a1a106f09fb4e9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.784", + "ref": "v1.0.785", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index f11026751..59defbd5f 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.784"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.785"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; diff --git a/poetry.lock b/poetry.lock index c5a59a206..0de1632b4 100644 --- a/poetry.lock +++ b/poetry.lock @@ -719,22 +719,23 @@ files = [ [[package]] name = "isort" -version = "5.13.2" +version = "6.0.0" description = "A Python utility / library to sort Python imports." optional = false -python-versions = ">=3.8.0" +python-versions = ">=3.9.0" groups = ["dev"] files = [ - {file = "isort-5.13.2-py3-none-any.whl", hash = "sha256:8ca5e72a8d85860d5a3fa69b8745237f2939afe12dbf656afbcb47fe72d947a6"}, - {file = "isort-5.13.2.tar.gz", hash = "sha256:48fdfcb9face5d58a4f6dde2e72a1fb8dcaf8ab26f95ab49fab84c2ddefb0109"}, + {file = "isort-6.0.0-py3-none-any.whl", hash = "sha256:567954102bb47bb12e0fae62606570faacddd441e45683968c8d1734fb1af892"}, + {file = "isort-6.0.0.tar.gz", hash = "sha256:75d9d8a1438a9432a7d7b54f2d3b45cad9a4a0fdba43617d9873379704a8bdf1"}, ] [package.extras] -colors = ["colorama (>=0.4.6)"] +colors = ["colorama"] +plugins = ["setuptools"] [[package]] name = "kevm-pyk" -version = "1.0.784" +version = "1.0.785" description = "" optional = false python-versions = "^3.10" @@ -743,27 +744,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.207" +kframework = "7.1.208" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.784" -resolved_reference = "e1d0c5716f31c1830a98236e0a5b969ea333e5d8" +reference = "v1.0.785" +resolved_reference = "04ddb6de7415805a436d0cbd49a1a106f09fb4e9" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.207" +version = "7.1.208" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.207-py3-none-any.whl", hash = "sha256:aef7de704bcd404899def82460cb14beccd57a95d29b106e7cf379c7daaa3aca"}, - {file = "kframework-7.1.207.tar.gz", hash = "sha256:1acb6aa7b9bac5e170420015d6e5246f924e480287e68e4fa9fc20eb9874b228"}, + {file = "kframework-7.1.208-py3-none-any.whl", hash = "sha256:02e53a932a03e4b054d9e0cade8cd65eb4152a7180914ffaea8bf0ca2dc821c8"}, + {file = "kframework-7.1.208.tar.gz", hash = "sha256:47ff8b2cc24c7ce57432cd94a89c32ee5c1a505c4eb6c19530195293f96d6ad8"}, ] [package.dependencies] @@ -1599,4 +1600,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "fc80f19f06a078f3cc1e2ea9c6037692d191399d48b4f1a177fa51e675df601e" +content-hash = "22368ea6ce76667a048f8b75787eb0bdad91b43e5dfa175b10065084bc6e0607" diff --git a/pyproject.toml b/pyproject.toml index 298bfc3e3..47e67ded0 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.784", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.785", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"