diff --git a/deps/k_release b/deps/k_release index 30c25a124..6da8e9a46 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.330 +7.1.333 diff --git a/deps/kevm_release b/deps/kevm_release index e3f485f25..3a275fad6 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.909 +1.0.910 diff --git a/flake.lock b/flake.lock index b22a91f5a..b92102024 100644 --- a/flake.lock +++ b/flake.lock @@ -323,16 +323,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1780406844, - "narHash": "sha256-6T8TAiAAjI2wHzvPWmTdRZW4hR8lf3C4ChqIJQZgL00=", + "lastModified": 1780590347, + "narHash": "sha256-iYTKRQzsC56EfHNuDO/O9MbMFmNV9c2CM4NwOXSeSc4=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "ce904db16331b0cd07e1a9f06d34224aa461d02d", + "rev": "515eccf4a8ebbb0fe8ff807d15a96ce096ce2670", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.149", + "ref": "v0.1.150", "repo": "haskell-backend", "type": "github" } @@ -437,16 +437,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1780501157, - "narHash": "sha256-bwxmVCazM25/RdtKjK7QvY3o/WN/yIfcWtXdKoR4y3Q=", + "lastModified": 1780676015, + "narHash": "sha256-+VgM7JxjCOcqgY1xZ+pVQr9/Hk4Gy0+1cJH/Lv+xskk=", "owner": "runtimeverification", "repo": "k", - "rev": "6e87368a81672bc5fb7b3f2fbafc68426f6d5346", + "rev": "69f2b84533fd66be2013ab4a2bea9c3f59f01fca", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.330", + "ref": "v7.1.333", "repo": "k", "type": "github" } @@ -479,16 +479,16 @@ "uv2nix": "uv2nix_2" }, "locked": { - "lastModified": 1780511868, - "narHash": "sha256-Rk1n9Z00lu5QOUbOjh5MG2xtnU5BjxmCzflEBYMbtrI=", + "lastModified": 1780686018, + "narHash": "sha256-RRnZud1EfZA3h05ZCKhWn0dUkV33SMuxAf1nfTsh4Hk=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "68ae57c9ef87997d114de96ff034bdfcce695e3c", + "rev": "b78f0a3401effd1a18dbcb58022358d11be46a44", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.909", + "ref": "v1.0.910", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 3ebace957..61808efb6 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4"; nixpkgs.follows = "rv-nix-tools/nixpkgs"; - kevm.url = "github:runtimeverification/evm-semantics/v1.0.909"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.910"; kevm.inputs.nixpkgs.follows = "nixpkgs"; k-framework.follows = "kevm/k-framework"; diff --git a/pyproject.toml b/pyproject.toml index 948712eed..fa6794a32 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -8,7 +8,7 @@ version = "1.0.0" description = "Foundry integration for KEVM" requires-python = "~=3.10" dependencies = [ - "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.909#subdirectory=kevm-pyk", + "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.910#subdirectory=kevm-pyk", "eth-utils>=5,<6", "pycryptodome>=3.20.0,<4", "pyevmasm>=0.2.3,<0.3", diff --git a/uv.lock b/uv.lock index e94837cb9..fc8ed1103 100644 --- a/uv.lock +++ b/uv.lock @@ -748,15 +748,15 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.155.1" +version = "6.155.2" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/49/ef/4a94c12429986a90076057513e084bf32106a9bdc62c8e29f58673dd85a2/hypothesis-6.155.1.tar.gz", hash = "sha256:07c102031612b98d7c1be15ca3608c43e1234d9d07e3a190a53fa01536700196", size = 477300, upload-time = "2026-05-29T23:12:57.515Z" } +sdist = { url = "https://files.pythonhosted.org/packages/f5/04/64032a1dccd2233615c8a3f701bbb563558575ed017496a24b6d81762c91/hypothesis-6.155.2.tar.gz", hash = "sha256:ae36880287c9c5defe9f199d3d2b67d9947a4da2a46e6c57373cbdf2345b20e1", size = 477765, upload-time = "2026-06-05T16:32:23.63Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/26/6e/8c9cf32201238617454303b1605dfa667d90cd1ef51226f92d9c2b3b8f7c/hypothesis-6.155.1-py3-none-any.whl", hash = "sha256:2753f469df3ba3c483b08e0c37dbcbc41d8316ebb921abcc07493ee9c8a7d187", size = 543715, upload-time = "2026-05-29T23:12:54.77Z" }, + { url = "https://files.pythonhosted.org/packages/ec/6e/e735f27ac1a530a4cd0a31cd970ec495a3a11830fdc5d281cc292593b330/hypothesis-6.155.2-py3-none-any.whl", hash = "sha256:c85ce6dcd630a90ce501f1d1dd1bc84b97f5649ca8a27e134c8cbf5aa480b1a5", size = 544213, upload-time = "2026-06-05T16:32:21.15Z" }, ] [[package]] @@ -800,8 +800,8 @@ wheels = [ [[package]] name = "kevm-pyk" -version = "1.0.909" -source = { git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.909#68ae57c9ef87997d114de96ff034bdfcce695e3c" } +version = "1.0.910" +source = { git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.910#b78f0a3401effd1a18dbcb58022358d11be46a44" } dependencies = [ { name = "frozendict" }, { name = "kframework" }, @@ -811,7 +811,7 @@ dependencies = [ [[package]] name = "kframework" -version = "7.1.330" +version = "7.1.333" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -830,9 +830,9 @@ dependencies = [ { name = "tomli-w" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/90/2d/f83307cdd2c2d69e94d710a9661664f5cf40a487bef5063aa554910c2e1b/kframework-7.1.330.tar.gz", hash = "sha256:67c3ed3e3dd0eb34072ec7f3ead28b30c99b29b3579d2d05ec68f186a3f62b13", size = 247950, upload-time = "2026-06-03T16:28:57.956Z" } +sdist = { url = "https://files.pythonhosted.org/packages/cb/cc/84becdbfc25485424a4693e68821d5a9d7ebc5d2b767c239f6839f5566f4/kframework-7.1.333.tar.gz", hash = "sha256:38ea0e9789d8635b7bbc705018c2ba686418f289be9016938d5779c8d9ceea49", size = 250649, upload-time = "2026-06-05T16:56:39.019Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/b5/e1/aeec3de0ba4581f100e8071277e98d82a9bdc8acf557b0e05139fea31cf2/kframework-7.1.330-py3-none-any.whl", hash = "sha256:e82c4ed22cb7a50fa218c63678f1df9805c4661b6e408c334ef7c69226bff21d", size = 299676, upload-time = "2026-06-03T16:28:56.532Z" }, + { url = "https://files.pythonhosted.org/packages/74/9e/00474f5a0c3c472b7d650ea4f592adae1bd5894303d3736139e2411322da/kframework-7.1.333-py3-none-any.whl", hash = "sha256:10b55ef7a52e3302fb857ea3adde376d65902701883bf6d788dfa6288fdccd03", size = 302347, upload-time = "2026-06-05T16:56:37.755Z" }, ] [[package]] @@ -875,7 +875,7 @@ dev = [ requires-dist = [ { name = "eth-abi", specifier = ">=5.2.0" }, { name = "eth-utils", specifier = ">=5,<6" }, - { name = "kevm-pyk", git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.909" }, + { name = "kevm-pyk", git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.910" }, { name = "openzeppelin-solidity-grammar-parser", specifier = ">=0.0.5" }, { name = "pycryptodome", specifier = ">=3.20.0,<4" }, { name = "pyevmasm", specifier = ">=0.2.3,<0.3" },