From 0475fa5b832a980f6739ba4f69713553beb0e5a9 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 14 Nov 2023 02:41:32 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2172) * deps/pyk_release: Set Version v0.1.498 * Set Version: 1.0.356 * kevm-pyk/: sync poetry files pyk version v0.1.498 * deps/k_release: sync release file version 6.1.8 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.499 * kevm-pyk/: sync poetry files pyk version v0.1.499 * deps/k_release: sync release file version 6.1.9 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.500 * kevm-pyk/: sync poetry files pyk version v0.1.500 * deps/k_release: sync release file version 6.1.10 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 98 +++++++++++++++---------------- flake.nix | 4 +- kevm-pyk/poetry.lock | 14 ++--- kevm-pyk/pyproject.toml | 4 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 8 files changed, 64 insertions(+), 64 deletions(-) diff --git a/deps/k_release b/deps/k_release index 186d9d5393..0c1fa2fc49 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.7 +6.1.10 diff --git a/deps/pyk_release b/deps/pyk_release index e841db1f43..f2ef5a7238 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.497 +v0.1.500 diff --git a/flake.lock b/flake.lock index 9cf981bbed..b4a8ad3423 100644 --- a/flake.lock +++ b/flake.lock @@ -149,22 +149,6 @@ "type": "github" } }, - "flake-compat": { - "flake": false, - "locked": { - "lastModified": 1696426674, - "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, "flake-utils": { "inputs": { "systems": "systems" @@ -259,11 +243,9 @@ "k-framework": { "inputs": { "booster-backend": "booster-backend", - "flake-compat": "flake-compat", "flake-utils": "flake-utils", "haskell-backend": "haskell-backend", "llvm-backend": "llvm-backend", - "mavenix": "mavenix", "nixpkgs": [ "k-framework", "haskell-backend", @@ -272,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1699660460, - "narHash": "sha256-pcNc+uPgpaU8hmmFXj3QV9UGTztb1xlKjxYdahVPe88=", + "lastModified": 1699909407, + "narHash": "sha256-MVqxGM65EY8KfOHwXnA3UDMB8MqQ5GOKpw95F9SafCg=", "owner": "runtimeverification", "repo": "k", - "rev": "6c5492b3df45923f5c92e92cb15819e408ec850e", + "rev": "7faf239a91615c7d15b1cb7650401cbe15ed9a7c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.7", + "ref": "v6.1.10", "repo": "k", "type": "github" } @@ -307,10 +289,7 @@ "inputs": { "fmt-src": "fmt-src", "immer-src": "immer-src", - "mavenix": [ - "k-framework", - "mavenix" - ], + "mavenix": "mavenix", "nixpkgs": [ "k-framework", "haskell-backend", @@ -324,11 +303,11 @@ ] }, "locked": { - "lastModified": 1699555417, - "narHash": "sha256-ViA4Q9ZQx+Mvx1LVWG9QZQldhbJimDqXgkTJUWXX3wg=", + "lastModified": 1699905783, + "narHash": "sha256-flKLsCM7pjyioY14TTza9LqXhYGW2AQt2EfeYiXm8Vg=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0e24009e09ac3f96b796a9bb11d078dc3b49fdc3", + "rev": "29bb01e45da52e13549f4f9a38dac91aacb6d0bd", "type": "github" }, "original": { @@ -339,28 +318,20 @@ }, "mavenix": { "inputs": { - "nixpkgs": [ - "k-framework", - "haskell-backend", - "nixpkgs" - ], - "utils": [ - "k-framework", - "flake-utils" - ] + "nixpkgs": "nixpkgs_2", + "utils": "utils" }, "locked": { - "lastModified": 1656435814, - "narHash": "sha256-Gx4QoWB9eI437/66iqTr6AUjxGgN6WslqrQ57s+sL6A=", - "owner": "goodlyrottenapple", + "lastModified": 1643802645, + "narHash": "sha256-BynM25iwp/l3FyrcHqiNJdDxvN6IxSM3/zkFR6PD3B0=", + "owner": "nix-community", "repo": "mavenix", - "rev": "0cbd57b2494d52909b27f57d03580acc66bf0298", + "rev": "ce9ddfd7f361190e8e8dcfaf6b8282eebbb3c7cb", "type": "github" }, "original": { - "owner": "goodlyrottenapple", + "owner": "nix-community", "repo": "mavenix", - "rev": "0cbd57b2494d52909b27f57d03580acc66bf0298", "type": "github" } }, @@ -402,6 +373,20 @@ } }, "nixpkgs_2": { + "locked": { + "lastModified": 1621552131, + "narHash": "sha256-AD/AEXv+QOYAg0PIqMYv2nbGOGTIwfOGKtz3rE+y+Tc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "d42cd445dde587e9a993cd9434cb43da07c4c5de", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_3": { "locked": { "lastModified": 1698675399, "narHash": "sha256-nj+LNEeVXGP31vxoL3x7HW7+oEiyoLVDqwMg30yFBMA=", @@ -466,20 +451,20 @@ "poetry2nix", "flake-utils" ], - "nixpkgs": "nixpkgs_2", + "nixpkgs": "nixpkgs_3", "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1699865008, - "narHash": "sha256-ZJ+SWGKsgjWLg7Yny0/mtZY23x7Lhx3HyoFcTpkaLEY=", + "lastModified": 1699947831, + "narHash": "sha256-5lJTvaTTB2/eY9au/ubhI6QRfZ3ELv4oN5W1DugdUyk=", "owner": "runtimeverification", "repo": "pyk", - "rev": "f28b2f48f4512ca0ba0338fe584442f172f15222", + "rev": "ea1e4ebac62b67ab1f3cedd821faa8610d6db935", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.497", + "ref": "v0.1.500", "repo": "pyk", "type": "github" } @@ -647,6 +632,21 @@ "type": "github" } }, + "utils": { + "locked": { + "lastModified": 1620759905, + "narHash": "sha256-WiyWawrgmyN0EdmiHyG2V+fqReiVi8bM9cRdMaKQOFg=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "b543720b25df6ffdfcf9227afafc5b8c1fabfae8", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, "xbyak": { "flake": false, "locked": { diff --git a/flake.nix b/flake.nix index af02e7389a..1514d707cd 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/v6.1.7"; + k-framework.url = "github:runtimeverification/k/v6.1.10"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.497"; + pyk.url = "github:runtimeverification/pyk/v0.1.500"; 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 9eecf25b35..e06587c22f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -813,7 +813,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.497" +version = "0.1.500" description = "" optional = false python-versions = "^3.10" @@ -833,8 +833,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.497" -resolved_reference = "f28b2f48f4512ca0ba0338fe584442f172f15222" +reference = "v0.1.500" +resolved_reference = "ea1e4ebac62b67ab1f3cedd821faa8610d6db935" [[package]] name = "pyperclip" @@ -1060,13 +1060,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.9" +version = "0.2.10" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.9-py2.py3-none-any.whl", hash = "sha256:9a929bd8380f6cd9571a968a9c8f4353ca58d7cd812a4822bba831f8d685b223"}, - {file = "wcwidth-0.2.9.tar.gz", hash = "sha256:a675d1a4a2d24ef67096a04b85b02deeecd8e226f57b5e3a72dbb9ed99d27da8"}, + {file = "wcwidth-0.2.10-py2.py3-none-any.whl", hash = "sha256:aec5179002dd0f0d40c456026e74a729661c9d468e1ed64405e3a6c2176ca36f"}, + {file = "wcwidth-0.2.10.tar.gz", hash = "sha256:390c7454101092a6a5e43baad8f83de615463af459201709556b6e4b1c861f97"}, ] [[package]] @@ -1098,4 +1098,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e849f8a99b0173379344fec48f1fe397da31de1669683ff8560f1ac3ab2c05da" +content-hash = "73922b123cea551c9c418c662b612ca351d7cd41598afa2ad13bfb2de8704ce6" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 03ed3789f5..e0a3b26cb0 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.355" +version = "1.0.356" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.497" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.500" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 2a2e8cff01..5b5a0af88f 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.355' +VERSION: Final = '1.0.356' diff --git a/package/version b/package/version index 79c812d1d1..51a921de2b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.355 +1.0.356