diff --git a/deps/k_release b/deps/k_release index 41622ff506..81c95b2f68 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.105 +7.1.108 diff --git a/flake.lock b/flake.lock index d7a4e54806..e39a33e2df 100644 --- a/flake.lock +++ b/flake.lock @@ -167,16 +167,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722860063, - "narHash": "sha256-5K3BIIbwkMpN4idvAHRrw0JzHRL6Au4ui+7NqkX+c3w=", + "lastModified": 1723630441, + "narHash": "sha256-BbJwGKi2kwbSIegUZTuZvzOoA9g/NRn7mwsgOhKpFvg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "7047b0964349727e54425c2c81478caf3dad757c", + "rev": "8d4aafc4bc2cb6ab9d992030c6482b712309608f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.58", + "ref": "v0.1.67", "repo": "haskell-backend", "type": "github" } @@ -220,16 +220,16 @@ ] }, "locked": { - "lastModified": 1723622670, - "narHash": "sha256-UCwCFO1LpmvoF5qSviNip69LCDS3ROTc3hvEjhfp3D8=", + "lastModified": 1723662167, + "narHash": "sha256-0v0d0NRVnCGpC0j9v4ysE4X/cPiTiaH5PvC3PsngIno=", "owner": "runtimeverification", "repo": "k", - "rev": "13aad50dab1be810bff4b722281a2f6bc56e6c62", + "rev": "af833cab5788c1320f1e106f542447bb05e8a7b1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.105", + "ref": "v7.1.108", "repo": "k", "type": "github" } @@ -445,17 +445,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1723622670, - "narHash": "sha256-UCwCFO1LpmvoF5qSviNip69LCDS3ROTc3hvEjhfp3D8=", + "lastModified": 1723662167, + "narHash": "sha256-0v0d0NRVnCGpC0j9v4ysE4X/cPiTiaH5PvC3PsngIno=", "owner": "runtimeverification", "repo": "k", - "rev": "13aad50dab1be810bff4b722281a2f6bc56e6c62", + "rev": "af833cab5788c1320f1e106f542447bb05e8a7b1", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.105", + "ref": "v7.1.108", "repo": "k", "type": "github" } @@ -714,16 +714,16 @@ "z3": { "flake": false, "locked": { - "lastModified": 1674011426, - "narHash": "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=", + "lastModified": 1709835916, + "narHash": "sha256-MIbP3QgKIGF/qUMTupaO7xD46LbmH69kF/394Sajhkg=", "owner": "Z3Prover", "repo": "z3", - "rev": "3012293c35eadbfd73e5b94adbe50b0cc44ffb83", + "rev": "3049f578a8f98a0b0992eca193afe57a73b30ca3", "type": "github" }, "original": { "owner": "Z3Prover", - "ref": "z3-4.12.1", + "ref": "z3-4.13.0", "repo": "z3", "type": "github" } diff --git a/flake.nix b/flake.nix index 7d44598e5c..4418616802 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.105"; + k-framework.url = "github:runtimeverification/k/v7.1.108"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.105?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.108?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 8e7ddeb099..2284c2062f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -501,13 +501,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.105" +version = "7.1.108" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.105-py3-none-any.whl", hash = "sha256:cb133d4e250034eff8cedcfb64bfb76d345b14bb9c5553ca75fd47f70a4607c6"}, - {file = "kframework-7.1.105.tar.gz", hash = "sha256:2acb1ac8204d5b6eb30a8af5a84766bf63bde55ed14be4ddb31e5fe73eba5765"}, + {file = "kframework-7.1.108-py3-none-any.whl", hash = "sha256:f6f1f55e155af4574a019a117ab5f94d377fc81918fe851887f39feb3a92c7d4"}, + {file = "kframework-7.1.108.tar.gz", hash = "sha256:8033b0ccaab0d5f0c505f9a97883413df51b0ce26b77dd14fd0ff6dc5f1a8aa4"}, ] [package.dependencies] @@ -1178,4 +1178,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a2d969cc04d2f8b56e4bd24afef385386853c38f3d8ec9472ebf99fcc126b4ff" +content-hash = "5690e81ce638334efb51ab67daa74d5d06589e99ddd4b451a9ef196ff9b989ec" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index a1e10bb59e..6a6b2536f7 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.105" +kframework = "7.1.108" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]