diff --git a/deps/kevm_release b/deps/kevm_release index 2bae0e18d..f988f2e8d 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.297 +1.0.307 diff --git a/flake.lock b/flake.lock index 07711f9c4..1d4a53320 100644 --- a/flake.lock +++ b/flake.lock @@ -1080,16 +1080,16 @@ "solc": "solc" }, "locked": { - "lastModified": 1695202939, - "narHash": "sha256-wD+2/S9v53S9NQ0zmq8T+5x+7PeNr14rjcr7sfpy/Ik=", + "lastModified": 1695826936, + "narHash": "sha256-5DVhni22x5kTp295+iPc3n5zV6t2pNluLSjZj+U4xw4=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "a9231d467aacbdf987a0d2304bf7361c8d135e05", + "rev": "9529af53bffea08fca660a007fdd992ad3a9dddd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.297", + "ref": "v1.0.307", "repo": "evm-semantics", "type": "github" } @@ -1726,16 +1726,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695114282, - "narHash": "sha256-B2xZMDk0mZVntA/jY276vt58NYe7trhZAFT2kg3q3jE=", + "lastModified": 1695658775, + "narHash": "sha256-o3DRBtLwa7+mSU1FeGs2mDBelpQ4yuDx1AmMEWkSy6o=", "owner": "runtimeverification", "repo": "pyk", - "rev": "89b7f4bd0f8a9d8ec8755d9a48cca57c5c709107", + "rev": "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.446", + "ref": "v0.1.448", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 11b6c5467..cfb18ddc2 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.297"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.307"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; diff --git a/package/version b/package/version index 9767cc98e..20f49513e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.10 +0.1.11 diff --git a/poetry.lock b/poetry.lock index 81a5f1eb8..2beadd0d7 100644 --- a/poetry.lock +++ b/poetry.lock @@ -434,7 +434,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"] [[package]] name = "kevm-pyk" -version = "1.0.297" +version = "1.0.307" description = "" optional = false python-versions = "^3.10" @@ -443,15 +443,15 @@ develop = false [package.dependencies] pathos = "*" -pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.446"} +pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.448"} tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.297" -resolved_reference = "a9231d467aacbdf987a0d2304bf7361c8d135e05" +reference = "v1.0.307" +resolved_reference = "9529af53bffea08fca660a007fdd992ad3a9dddd" subdirectory = "kevm-pyk" [[package]] @@ -812,7 +812,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.446" +version = "0.1.448" description = "" optional = false python-versions = "^3.10" @@ -832,8 +832,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.446" -resolved_reference = "89b7f4bd0f8a9d8ec8755d9a48cca57c5c709107" +reference = "v0.1.448" +resolved_reference = "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b" [[package]] name = "pyperclip" @@ -935,13 +935,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.11.1" +version = "3.13.0" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.8.1" files = [ - {file = "pyupgrade-3.11.1-py2.py3-none-any.whl", hash = "sha256:6e9dd362394b3068123e06ca268de5845d41e2bb29f387b38323cc1009fb3100"}, - {file = "pyupgrade-3.11.1.tar.gz", hash = "sha256:3e6c7689d2f3ae418c6a60ee981477fe9130eccaed3e33dac6c21274cf7d45f4"}, + {file = "pyupgrade-3.13.0-py2.py3-none-any.whl", hash = "sha256:8add43ca1fea6eaeb6815b0b987d1f6ff49ec48085169b2a32e9a797e2d2f8fd"}, + {file = "pyupgrade-3.13.0.tar.gz", hash = "sha256:92220ef0408ff5898bce8ce7845c33bf7bb79c8ff852c5a1dc4305e6333cd60b"}, ] [package.dependencies] @@ -1056,13 +1056,13 @@ files = [ [[package]] name = "xdg-base-dirs" -version = "6.0.0" +version = "6.0.1" description = "Variables defined by the XDG Base Directory Specification" optional = false python-versions = ">=3.10,<4.0" files = [ - {file = "xdg_base_dirs-6.0.0-py3-none-any.whl", hash = "sha256:71b878d3b6c80923a8ddd7c4fb25f9f694c6796aa79214c3fe32dd49a13dcc82"}, - {file = "xdg_base_dirs-6.0.0.tar.gz", hash = "sha256:3bc8813e260a78acba2f718b48eb00b5ff82bd9f02688b54b9e4ccd8a65d42cc"}, + {file = "xdg_base_dirs-6.0.1-py3-none-any.whl", hash = "sha256:63f6ebc1721ced2e86c340856e004ef829501a30a37e17079c52cfaf0e1741b9"}, + {file = "xdg_base_dirs-6.0.1.tar.gz", hash = "sha256:b4c8f4ba72d1286018b25eea374ec6fbf4fddda3d4137edf50de95de53e195a6"}, ] [[package]] @@ -1083,4 +1083,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d8fcb978b46e0a9bcac433318bf1d2fad0c73583766a9e441fe53af45d2f94b9" +content-hash = "6f5203f66ac71d4451a4c3e2e20f7c072eba7fa323c72b5e836cc73b48e3b291" diff --git a/pyproject.toml b/pyproject.toml index e23c867ce..8fec9a60a 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.10" +version = "0.1.11" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", @@ -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.297", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.307", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*"