From 97843b02325c25d1dc9c59e999b340451171580e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 01:43:11 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2414) * deps/k_release: Set Version 7.0.43 * Set Version: 1.0.544 * kevm-pyk/: sync poetry files pyk version v7.0.43 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.44 * kevm-pyk/: sync poetry files pyk version v7.0.44 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 30 +++++++++++++++--------------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 26 insertions(+), 26 deletions(-) diff --git a/deps/k_release b/deps/k_release index 09d82e0001..2985029ec9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.42 +7.0.44 diff --git a/flake.lock b/flake.lock index e269747fb1..62563f2e17 100644 --- a/flake.lock +++ b/flake.lock @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1714991206, - "narHash": "sha256-AQZRWvBDB0X+LNb/vEtgi4K9b67pt8NdUJdpT3nsKpM=", + "lastModified": 1715020093, + "narHash": "sha256-J1NHYxD5lfL+mVqeKCgjEWJABDKCHgsGUTB9uDQHqy8=", "owner": "runtimeverification", "repo": "k", - "rev": "b69a5f82b1d536c9285d88fa5a5141bbbc6713a8", + "rev": "cb1e4a406a873b09463154f5844d45748c4f1fee", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.42", + "ref": "v7.0.44", "repo": "k", "type": "github" } @@ -293,16 +293,16 @@ ] }, "locked": { - "lastModified": 1714492963, - "narHash": "sha256-8n1EeaHCeDzaGXf4fVLrrUg4dJinczv/bFX/qrB21Fk=", + "lastModified": 1714989740, + "narHash": "sha256-fEBjIMcRHCnv96Qw2UlXNxMsye82uD9aN/6LQFqfCpQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "d7fb8af288bc2c46551d80d75d3e1b55fcdef7cb", + "rev": "8d4130e7d9a091edf4cd8c1a3a48ab55f3f6bdd0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.3", + "ref": "v0.1.5", "repo": "llvm-backend", "type": "github" } @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1714991206, - "narHash": "sha256-AQZRWvBDB0X+LNb/vEtgi4K9b67pt8NdUJdpT3nsKpM=", + "lastModified": 1715020093, + "narHash": "sha256-J1NHYxD5lfL+mVqeKCgjEWJABDKCHgsGUTB9uDQHqy8=", "owner": "runtimeverification", "repo": "k", - "rev": "b69a5f82b1d536c9285d88fa5a5141bbbc6713a8", + "rev": "cb1e4a406a873b09463154f5844d45748c4f1fee", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.42", + "ref": "v7.0.44", "repo": "k", "type": "github" } @@ -553,11 +553,11 @@ "nixpkgs": "nixpkgs_3" }, "locked": { - "lastModified": 1712915401, - "narHash": "sha256-mJsmecp+dZjYrQZ5l671ydRU/jfBJJRYtmTy/A1uH8M=", + "lastModified": 1715010438, + "narHash": "sha256-Do1CWSXjmmun4HvsIymchDhe6EvVS46BTpM466bwNcc=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "1a233c3c238a411f6d6a84d4e4b5a18ddd1f002b", + "rev": "dbffdf9266aa237da45c0b08f6750ced7c1cd686", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index e174ecd7f9..a08064228d 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.0.42"; + k-framework.url = "github:runtimeverification/k/v7.0.44"; 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.0.42?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.44?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 1ebe7346e5..2257ebc16d 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.42" +version = "7.0.44" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.42" -resolved_reference = "b69a5f82b1d536c9285d88fa5a5141bbbc6713a8" +reference = "v7.0.44" +resolved_reference = "cb1e4a406a873b09463154f5844d45748c4f1fee" subdirectory = "pyk" [[package]] @@ -1117,4 +1117,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "49db9a2c6e0df4ff56e6388fb0e9b4a1463ad22eff8ad307995cb9b5a8b4849e" +content-hash = "566693ee82ef0f4cfe27fcfb75b4daded067d1a535ce01a3c81b3f0e8154f7ef" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 26c78ca716..0a1d32cdac 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.543" +version = "1.0.544" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.42", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.44", subdirectory = "pyk" } 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 f6c18c8d75..3c7122d125 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.543' +VERSION: Final = '1.0.544' diff --git a/package/version b/package/version index eafbe8307b..2fa6312ae0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.543 +1.0.544