From 701893a95831dae5dec4ff92b76b4d3ff8748be4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 6 Sep 2024 18:31:40 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2610) * deps/k_release: Set Version 7.1.133 * kevm-pyk/: sync poetry files pyk version 7.1.133 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.134 * kevm-pyk/: sync poetry files pyk version 7.1.134 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.136 * kevm-pyk/: sync poetry files pyk version 7.1.136 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops Co-authored-by: Everett Hildenbrandt --- deps/k_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/deps/k_release b/deps/k_release index 9a7b57e20a..8e7f4b46e4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.132 +7.1.136 diff --git a/flake.lock b/flake.lock index 43c6872024..cb055e8a43 100644 --- a/flake.lock +++ b/flake.lock @@ -352,16 +352,16 @@ ] }, "locked": { - "lastModified": 1725592237, - "narHash": "sha256-lXkjqwVP+ZAeowuMiKZkvymHmqZxkWCNif2CrtTGGGE=", + "lastModified": 1725644575, + "narHash": "sha256-X3OfMN53Cdae4XC0XkazqDYxCQ6ikLIhxIvt3ZbBi2E=", "owner": "runtimeverification", "repo": "k", - "rev": "e08b089f1d608d9537f2498bd1d3c6fc43f877d8", + "rev": "62e06f466f3fef150598894798fa340d68bb3fdb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.132", + "ref": "v7.1.136", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index a968c78a40..078b012831 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.132"; + k-framework.url = "github:runtimeverification/k/v7.1.136"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index e179c77d7a..614c0b3dec 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.132" +version = "7.1.136" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.132-py3-none-any.whl", hash = "sha256:ab18f9590aca280ca3a2055c6519c8a4b3fd6ede07fd31cea66157d3c7a7a5ff"}, - {file = "kframework-7.1.132.tar.gz", hash = "sha256:67ca4e4937e82411d8f3d773b77844b568724995cc2cb65c39505f051321e979"}, + {file = "kframework-7.1.136-py3-none-any.whl", hash = "sha256:a5d8e6ad82fc4d8ed69d08fbeb041730e415d99c7ee22bc5b43468cee0beb741"}, + {file = "kframework-7.1.136.tar.gz", hash = "sha256:a4cf220d67f88a45bcbb65c20744ea14996ba01d7e082124fc60e65d150778bc"}, ] [package.dependencies] @@ -1188,4 +1188,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "abd656cf1d716e02b1287070d61075de76b3d5b7ed180c5fc13c728af579ebc0" +content-hash = "79b25ec176da346059ac503c92928e75b94bea9a93b81e5a3dd55fc9a9f1b3b7" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5293bd748f..204707e9a3 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.132" +kframework = "7.1.136" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]