From 304c658e6d06233da966d154f30568e55b4d53de Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 12 Jun 2024 02:26:47 -0600 Subject: [PATCH] Update dependency: deps/kevm_release (#621) * deps/kevm_release: Set Version 1.0.599 * Set Version: 0.1.310 * Sync Poetry files: kevm-pyk version 1.0.599 * deps/k_release: sync release file version 7.0.127 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kevm_release | 2 +- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- package/version | 2 +- poetry.lock | 16 ++++++++-------- pyproject.toml | 4 ++-- src/kontrol/__init__.py | 2 +- 8 files changed, 27 insertions(+), 27 deletions(-) diff --git a/deps/k_release b/deps/k_release index 725ddf321..62555b1c3 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.126 +7.0.127 diff --git a/deps/kevm_release b/deps/kevm_release index 0d0748891..d246a51a7 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.598 +1.0.599 diff --git a/flake.lock b/flake.lock index 7b3ae7d01..13553d1e3 100644 --- a/flake.lock +++ b/flake.lock @@ -236,16 +236,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1718055750, - "narHash": "sha256-h/vDw9eC8nJ8XdW1AVf3PDsPzDzPZUWo0a9i7GwPDWk=", + "lastModified": 1718130530, + "narHash": "sha256-JeJivHS9KIH4AwkSmzT9DCE6WordqZylJ9+S8T81m5Y=", "owner": "runtimeverification", "repo": "k", - "rev": "0ca007c930b50e4d70fc82aa1ff18b707e8362fe", + "rev": "7c41078044f1b088fa89ecb1c1ce3894591e3da3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.126", + "ref": "v7.0.127", "repo": "k", "type": "github" } @@ -287,16 +287,16 @@ ] }, "locked": { - "lastModified": 1718126712, - "narHash": "sha256-LEkeamYgojTrLNn+LAf4iCbf0UuRroHE4oVqb66ZcGY=", + "lastModified": 1718174877, + "narHash": "sha256-kmKk+tEbsSXyiFKefJYEbLeA9Cx+huySNvFewD/2dBM=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "70aa404f42fc82f4b0b7c557206dfc2a3a003197", + "rev": "71a19f1a085efd1cf2987954101f500b7c02a6ce", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.598", + "ref": "v1.0.599", "repo": "evm-semantics", "type": "github" } @@ -497,17 +497,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1718055750, - "narHash": "sha256-h/vDw9eC8nJ8XdW1AVf3PDsPzDzPZUWo0a9i7GwPDWk=", + "lastModified": 1718130530, + "narHash": "sha256-JeJivHS9KIH4AwkSmzT9DCE6WordqZylJ9+S8T81m5Y=", "owner": "runtimeverification", "repo": "k", - "rev": "0ca007c930b50e4d70fc82aa1ff18b707e8362fe", + "rev": "7c41078044f1b088fa89ecb1c1ce3894591e3da3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.126", + "ref": "v7.0.127", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index ab26af7bb..5e00f3681 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.598"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.599"; nixpkgs.follows = "kevm/nixpkgs"; nixpkgs-pyk.follows = "kevm/nixpkgs-pyk"; k-framework.follows = "kevm/k-framework"; diff --git a/package/version b/package/version index 626c1b0cf..7933c2399 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.309 +0.1.310 diff --git a/poetry.lock b/poetry.lock index c7d68f63a..469870494 100644 --- a/poetry.lock +++ b/poetry.lock @@ -434,7 +434,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.598" +version = "1.0.599" description = "" optional = false python-versions = "^3.10" @@ -443,14 +443,14 @@ develop = false [package.dependencies] pathos = "*" -pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.126", subdirectory = "pyk"} +pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.127", subdirectory = "pyk"} tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.598" -resolved_reference = "70aa404f42fc82f4b0b7c557206dfc2a3a003197" +reference = "v1.0.599" +resolved_reference = "71a19f1a085efd1cf2987954101f500b7c02a6ce" subdirectory = "kevm-pyk" [[package]] @@ -809,7 +809,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.126" +version = "7.0.127" description = "" optional = false python-versions = "^3.10" @@ -831,8 +831,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.126" -resolved_reference = "0ca007c930b50e4d70fc82aa1ff18b707e8362fe" +reference = "v7.0.127" +resolved_reference = "7c41078044f1b088fa89ecb1c1ce3894591e3da3" subdirectory = "pyk" [[package]] @@ -1112,4 +1112,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d5d3c96302938ba68033bc2b157e36b79ef2dcd3124b63fc4f49b812fa0dca43" +content-hash = "fc3589b222f2d707e358d90afa4b6a84afa99e9beda7b6602b6a3400bdd7f9cf" diff --git a/pyproject.toml b/pyproject.toml index 1ccfac127..16d70071e 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.309" +version = "0.1.310" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.598", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.599", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py index 8a2f1cf8d..0f37b9ce0 100644 --- a/src/kontrol/__init__.py +++ b/src/kontrol/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '0.1.309' +VERSION: Final = '0.1.310'