diff --git a/poetry.lock b/poetry.lock index aaa7cfb01..0e040797a 100644 --- a/poetry.lock +++ b/poetry.lock @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.781" +version = "1.0.782" description = "" optional = false python-versions = "^3.10" @@ -750,8 +750,8 @@ tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.781" -resolved_reference = "4c7262e74e9496871841d59f65bd697e65032bfa" +reference = "v1.0.782" +resolved_reference = "d55a8918168188bb56cc9327e81b45972f58cb71" subdirectory = "kevm-pyk" [[package]] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "b91263147f5ba4c40b4dea758112f15de4b70e363996fa08ccb50b4206c6e793" +content-hash = "8d08046c5ce682c277847dfd4a7afb6d204dc11860322177423d8294c8835901" diff --git a/pyproject.toml b/pyproject.toml index c3e32d742..0aeb0dc83 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.781", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.782", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"