From ecc16a832b85fa8d54626f84dbf44ca38483d72c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 8 Jul 2024 17:21:45 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2517) * deps/k_release: Set Version 7.1.45 * Set Version: 1.0.634 * kevm-pyk/: sync poetry files pyk version 7.1.45 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 18 +++++++++--------- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 24 insertions(+), 24 deletions(-) diff --git a/deps/k_release b/deps/k_release index 466cdc88f7..4821a70d9c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.44 +7.1.45 diff --git a/flake.lock b/flake.lock index 3384897bcd..275fd8e0ab 100644 --- a/flake.lock +++ b/flake.lock @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1720086145, - "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=", + "lastModified": 1720451961, + "narHash": "sha256-TGh1W3W+QzcLGT2dkYvCz40y84Yg5qHTQDlpGJZqAy8=", "owner": "runtimeverification", "repo": "k", - "rev": "e6d4f896d7c51efd68f11c77141d457625472c43", + "rev": "2a52ce4ce38f5d25c904f8e7a3402cb7a52efd88", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.44", + "ref": "v7.1.45", "repo": "k", "type": "github" } @@ -419,17 +419,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1720086145, - "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=", + "lastModified": 1720451961, + "narHash": "sha256-TGh1W3W+QzcLGT2dkYvCz40y84Yg5qHTQDlpGJZqAy8=", "owner": "runtimeverification", "repo": "k", - "rev": "e6d4f896d7c51efd68f11c77141d457625472c43", + "rev": "2a52ce4ce38f5d25c904f8e7a3402cb7a52efd88", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.44", + "ref": "v7.1.45", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 2b0afbf136..42c68b665e 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.44"; + k-framework.url = "github:runtimeverification/k/v7.1.45"; 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.44?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.45?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 838c7824a4..a8bacc88b3 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -390,13 +390,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.105.0" +version = "6.105.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.105.0-py3-none-any.whl", hash = "sha256:383bb2d8b37d8090e82847d7cb1130b9ef04bf8c71addd099f7ee1f7139f00d8"}, - {file = "hypothesis-6.105.0.tar.gz", hash = "sha256:45078be3168c06a0426afca6f139829b28dfea9d2ea79fa1bd498b9783b11c16"}, + {file = "hypothesis-6.105.1-py3-none-any.whl", hash = "sha256:d8993472a7bccfc20172e02ba8636bb0067add92d1fa05e95a40bab02c1e8305"}, + {file = "hypothesis-6.105.1.tar.gz", hash = "sha256:d4eedb42193da9507623f4fe27fd38f715ec19ad30ad7c30e3b25594c0b491dc"}, ] [package.dependencies] @@ -405,10 +405,10 @@ exceptiongroup = {version = ">=1.0.0", markers = "python_version < \"3.11\""} sortedcontainers = ">=2.1.0,<3.0.0" [package.extras] -all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.58)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.6)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] +all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.59)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] cli = ["black (>=19.10b0)", "click (>=7.0)", "rich (>=9.0.0)"] codemods = ["libcst (>=0.3.16)"] -crosshair = ["crosshair-tool (>=0.0.58)", "hypothesis-crosshair (>=0.0.6)"] +crosshair = ["crosshair-tool (>=0.0.59)", "hypothesis-crosshair (>=0.0.7)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -481,13 +481,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.44" +version = "7.1.45" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.44-py3-none-any.whl", hash = "sha256:4ded11b61e1b79c23bd75d8e2a2895a49c5a0188692b11a394f1975ce0ee7d06"}, - {file = "kframework-7.1.44.tar.gz", hash = "sha256:5f932b796a8b8421744b42968daddf4fd815e2b278a9873717377202536094ac"}, + {file = "kframework-7.1.45-py3-none-any.whl", hash = "sha256:a8dff4bda25a1510b9673d2b1be5bd70bb359b556c1384d8261ad2d8cfdbeff9"}, + {file = "kframework-7.1.45.tar.gz", hash = "sha256:350b4f7ec2bb67d75eba02e5499e7bd290c58ce4c03852aaa4077dd9be0e1761"}, ] [package.dependencies] @@ -1157,4 +1157,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e6d6d178d1666ab572602fc577235e7fe922ca40355465f91db063428b9ca0c7" +content-hash = "69bb8cc346beecd57643d3a3b205b0a7e5287d408c924087936a250d225f3de2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 0f0061e71c..06c547d7f4 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.633" +version = "1.0.634" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.44" +kframework = "7.1.45" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index e0bd0ba099..9c3d9ea590 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.633' +VERSION: Final = '1.0.634' diff --git a/package/version b/package/version index 1d72122341..3dfdd38f8e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.633 +1.0.634