diff --git a/deps/k_release b/deps/k_release index 31ef8ee690..a76029451a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.174 +6.0.190 diff --git a/deps/pyk_release b/deps/pyk_release index c5179d2b05..8a2511b073 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.486 +v0.1.491 diff --git a/flake.lock b/flake.lock index 36fe1adcf9..1f893af1f5 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1698380696, - "narHash": "sha256-+2ll6O1nn53Fgm09R+Bz4otMs5jn3Xeo2nx0tfhmnH0=", + "lastModified": 1698748998, + "narHash": "sha256-rtn0XdiVUJe+ilvu+KowIf5nOfzxC/Uqs44g9gy4kgI=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", + "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", + "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", "type": "github" } }, @@ -230,11 +230,11 @@ ] }, "locked": { - "lastModified": 1696410815, - "narHash": "sha256-uku47D/L+VzO3sVoZbnexPQPGeQtMwMFBesyaA1vKtE=", + "lastModified": 1699089190, + "narHash": "sha256-t9W8eIeJBUVt6n8sfDrG9J/t0B4KZ73M3ARis+DwQhM=", "owner": "shazow", "repo": "foundry.nix", - "rev": "a56126a754d73f85d904768fed569a9e250388d9", + "rev": "fc064153ac002e825724ff2091cd91e7d501ffef", "type": "github" }, "original": { @@ -251,17 +251,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1697702407, - "narHash": "sha256-r9c5qpgoejKJePbxqq01QkHx/wZNypY/fUSugsapF8w=", + "lastModified": 1698659846, + "narHash": "sha256-zpISCikITipLGr8D//8QpgW9YWKKrJ764QSu3pM6LSU=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb", + "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb", + "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", "type": "github" } }, @@ -298,16 +298,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1698399750, - "narHash": "sha256-5l1tHDW848AQAniqPsITLn51ywV+s+5YILjR0CYFmQ8=", + "lastModified": 1698953137, + "narHash": "sha256-JZgH9005gkHJQ+pR4ld6bWPQ7bhXw29anISgU8XgFtc=", "owner": "runtimeverification", "repo": "k", - "rev": "5f141fe4cd5c945015c4ac45946d37c7afedb3df", + "rev": "13a89f4c6a5c5ed2780ce1cffb6bd62bcfbc6be7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.174", + "ref": "v6.0.190", "repo": "k", "type": "github" } @@ -350,11 +350,11 @@ ] }, "locked": { - "lastModified": 1697808331, - "narHash": "sha256-3jDWLywHyoOT2VdyITBl9yzHMw9GX6fRUXqDofjbFKE=", + "lastModified": 1698757479, + "narHash": "sha256-gE4AEKCcckGeJ9hgHeuHunFRweBwXI/dxTkTnjOr0tI=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "480b54218da5f82876f25c70cb96c441f1a8eecd", + "rev": "44a675f1c1d4b53d6f174d67fe9776ddb4c89419", "type": "github" }, "original": { @@ -376,15 +376,15 @@ ] }, "locked": { - "lastModified": 1643802645, - "narHash": "sha256-BynM25iwp/l3FyrcHqiNJdDxvN6IxSM3/zkFR6PD3B0=", - "owner": "nix-community", + "lastModified": 1689018333, + "narHash": "sha256-sthxx50rj0E7gv38oeMj8GZOp7i1776P1qZsM7pVLd0=", + "owner": "goodlyrottenapple", "repo": "mavenix", - "rev": "ce9ddfd7f361190e8e8dcfaf6b8282eebbb3c7cb", + "rev": "153d69e62f87e5dd37d35492cc3e35dd80d2b5fa", "type": "github" }, "original": { - "owner": "nix-community", + "owner": "goodlyrottenapple", "repo": "mavenix", "type": "github" } @@ -495,16 +495,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1698684955, - "narHash": "sha256-IO1mqA/Z4Mv9FF91qw4TfSWnBA0mse5snx3owKunnQc=", + "lastModified": 1699000029, + "narHash": "sha256-IKjTlhnmB4CvVRtpFho9XV3x12lvfSYERn8MggDvUhU=", "owner": "runtimeverification", "repo": "pyk", - "rev": "23a97935da94cded4392bc028cdf16bd6f7edd5b", + "rev": "11ec5230566ec2b8336000e636a5d814a4dc56d1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.486", + "ref": "v0.1.491", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 7bddead332..8ed72d2766 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.0.174"; + k-framework.url = "github:runtimeverification/k/v6.0.190"; 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.486"; + pyk.url = "github:runtimeverification/pyk/v0.1.491"; 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 adf2eb4d7b..34cfd2dbba 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -261,13 +261,13 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.13.0" +version = "3.13.1" description = "A platform independent file lock." optional = false python-versions = ">=3.8" files = [ - {file = "filelock-3.13.0-py3-none-any.whl", hash = "sha256:a552f4fde758f4eab33191e9548f671970f8b06d436d31388c9aa1e5861a710f"}, - {file = "filelock-3.13.0.tar.gz", hash = "sha256:63c6052c82a1a24c873a549fbd39a26982e8f35a3016da231ead11a5be9dad44"}, + {file = "filelock-3.13.1-py3-none-any.whl", hash = "sha256:57dbda9b35157b05fb3e58ee91448612eb674172fab98ee235ccb0b5bee19a1c"}, + {file = "filelock-3.13.1.tar.gz", hash = "sha256:521f5f56c50f8426f5e03ad3b281b490a87ef15bc6c526f168290f0c7148d44e"}, ] [package.extras] @@ -812,7 +812,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.486" +version = "0.1.491" description = "" optional = false python-versions = "^3.10" @@ -832,8 +832,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.486" -resolved_reference = "23a97935da94cded4392bc028cdf16bd6f7edd5b" +reference = "v0.1.491" +resolved_reference = "11ec5230566ec2b8336000e636a5d814a4dc56d1" [[package]] name = "pyperclip" @@ -1059,13 +1059,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.8" +version = "0.2.9" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.8-py2.py3-none-any.whl", hash = "sha256:77f719e01648ed600dfa5402c347481c0992263b81a027344f3e1ba25493a704"}, - {file = "wcwidth-0.2.8.tar.gz", hash = "sha256:8705c569999ffbb4f6a87c6d1b80f324bd6db952f5eb0b95bc07517f4c1813d4"}, + {file = "wcwidth-0.2.9-py2.py3-none-any.whl", hash = "sha256:9a929bd8380f6cd9571a968a9c8f4353ca58d7cd812a4822bba831f8d685b223"}, + {file = "wcwidth-0.2.9.tar.gz", hash = "sha256:a675d1a4a2d24ef67096a04b85b02deeecd8e226f57b5e3a72dbb9ed99d27da8"}, ] [[package]] @@ -1097,4 +1097,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a094e40f60ce5510e6e469413de96eaf1e633b13fe2473b03793a49dc5929af4" +content-hash = "067494744a75edf9b36705a0cba9a7bb676c73868b6f48da64745bf3e2b82418" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 474096642e..79199577c1 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.337" +version = "1.0.338" description = "" authors = [ "Runtime Verification, Inc. ", @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.486" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.491" } 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 e10cfe6b55..a0efb32ab4 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.337' +VERSION: Final = '1.0.338' diff --git a/package/version b/package/version index 1e12fc6419..425236cb7a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.337 +1.0.338