diff --git a/poetry.lock b/poetry.lock index 342e25b3b..d571ad4cb 100644 --- a/poetry.lock +++ b/poetry.lock @@ -430,7 +430,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"] [[package]] name = "kevm-pyk" -version = "1.0.325" +version = "1.0.327" description = "" optional = false python-versions = "^3.10" @@ -446,8 +446,8 @@ xdg-base-dirs = "^6.0.0" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.325" -resolved_reference = "5401023b19c6e06592be8a3ba834d9599c9274bd" +reference = "v1.0.327" +resolved_reference = "2211dcd214ca03f13609369f19bc4ae51f760eb4" subdirectory = "kevm-pyk" [[package]] @@ -1081,4 +1081,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e337f3aa7cebed75a300095640b4facee7cc6bc58d13209c8a3bd3770cfcfe33" +content-hash = "168c52b8455dbdea04a44128cc402576dc0d4bfb382546240eef2cea11cc8f02" diff --git a/pyproject.toml b/pyproject.toml index 5a82f53f6..4cae59425 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ kontrol = "kontrol.__main__:main" [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.325", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.327", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*"