diff --git a/deps/k_release b/deps/k_release index c73b21b805..c6acbd069a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.25 +6.3.29 diff --git a/deps/pyk_release b/deps/pyk_release index c25df638b1..2ad1b69ebf 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.685 +v0.1.691 diff --git a/flake.lock b/flake.lock index f30acdf8e0..32ccd73360 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1709250127, - "narHash": "sha256-FQt90pGfL9rfEvPpME5JLg/1HMsObNZRTo1F7CrCpK4=", + "lastModified": 1709307733, + "narHash": "sha256-ys1ajyEhjC9iV9FSG/PsG/PEEWoerdhvLAPmlDRBVVc=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" } }, @@ -232,17 +232,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709046454, - "narHash": "sha256-ZCuQ7Mi99OkUocDJ+FKZQI5NZQjyEKPks7lg7b/rTKc=", + "lastModified": 1709251475, + "narHash": "sha256-1F5e9DGmS2YeWirHkc5PsG3xFH4EsNRGYbagUv2EP2I=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" } }, @@ -277,16 +277,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1709554158, - "narHash": "sha256-OnVgXOsw6JFtkg8RDnRgtmBP6VGLfB+bmkDjt9S7NKA=", + "lastModified": 1709827372, + "narHash": "sha256-/olarrcbIhIhcRlwRSMuAv7DyyO2YhtbSkucKN52nB0=", "owner": "runtimeverification", "repo": "k", - "rev": "aceff4aac9bdd69b4443cce5fb5c96ca6c15c761", + "rev": "bea8cf38cf5963aa47bef31250edcfcadf2905c5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.3.25", + "ref": "v6.3.29", "repo": "k", "type": "github" } @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709746007, - "narHash": "sha256-PLrAz6xjASwjyXcvd+ooNAyhJTI+ORRf3ZZhUU2U7A4=", + "lastModified": 1709859653, + "narHash": "sha256-p8DZ6hJkhdxu79YNp1wwzcrtt3fIC1aD5g4J+OviW4Y=", "owner": "runtimeverification", "repo": "pyk", - "rev": "03a8ca03c8f93dcc78aecc335a262c4f1524edb2", + "rev": "e8537c085944d51c35fdd2ea50de46375c3b9d59", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.685", + "ref": "v0.1.691", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 80b7efda8f..aee8bc0155 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.3.25"; + k-framework.url = "github:runtimeverification/k/v6.3.29"; 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.685"; + pyk.url = "github:runtimeverification/pyk/v0.1.691"; 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 2ad21825e2..be26a87c43 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 1.7.1 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.8.2 and should not be changed by hand. [[package]] name = "attrs" @@ -390,22 +390,22 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "7.0.1" +version = "7.0.2" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.0.1-py3-none-any.whl", hash = "sha256:4805911c3a4ec7c3966410053e9ec6a1fecd629117df5adee56dfc9432a1081e"}, - {file = "importlib_metadata-7.0.1.tar.gz", hash = "sha256:f238736bb06590ae52ac1fab06a3a9ef1d8dce2b7a35b5ab329371d6c8f5d2cc"}, + {file = "importlib_metadata-7.0.2-py3-none-any.whl", hash = "sha256:f4bc4c0c070c490abf4ce96d715f68e95923320370efb66143df00199bb6c100"}, + {file = "importlib_metadata-7.0.2.tar.gz", hash = "sha256:198f568f3230878cb1b44fbd7975f87906c22336dba2e4a7f05278c281fbd792"}, ] [package.dependencies] zipp = ">=0.5" [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (<7.2.5)", "sphinx (>=3.5)", "sphinx-lint"] +docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] perf = ["ipython"] -testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] +testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] [[package]] name = "iniconfig" @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.685" +version = "0.1.691" 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/pyk.git" -reference = "v0.1.685" -resolved_reference = "03a8ca03c8f93dcc78aecc335a262c4f1524edb2" +reference = "v0.1.691" +resolved_reference = "e8537c085944d51c35fdd2ea50de46375c3b9d59" [[package]] name = "pyperclip" @@ -918,17 +918,17 @@ dev = ["pre-commit", "pytest-asyncio", "tox"] [[package]] name = "pytest-timeout" -version = "2.2.0" +version = "2.3.1" description = "pytest plugin to abort hanging tests" optional = false python-versions = ">=3.7" files = [ - {file = "pytest-timeout-2.2.0.tar.gz", hash = "sha256:3b0b95dabf3cb50bac9ef5ca912fa0cfc286526af17afc806824df20c2f72c90"}, - {file = "pytest_timeout-2.2.0-py3-none-any.whl", hash = "sha256:bde531e096466f49398a59f2dde76fa78429a09a12411466f88a07213e220de2"}, + {file = "pytest-timeout-2.3.1.tar.gz", hash = "sha256:12397729125c6ecbdaca01035b9e5239d4db97352320af155b3f5de1ba5165d9"}, + {file = "pytest_timeout-2.3.1-py3-none-any.whl", hash = "sha256:68188cb703edfc6a18fad98dc25a3c61e9f24d644b0b70f33af545219fc7813e"}, ] [package.dependencies] -pytest = ">=5.0.0" +pytest = ">=7.0.0" [[package]] name = "pytest-xdist" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a8485dc68762ea3d5a7e880dd2d663e3b1800b490924d97eeee9b4939c53f1ce" +content-hash = "b1d772d719acb370ce5a01f969bf4b2513a4fd7273a45478c85b19556c072eb2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 4cd626bb18..1efd7776cd 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.489" +version = "1.0.490" 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.685" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.691" } 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 0f1ce6ba9d..a78a28de51 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.489' +VERSION: Final = '1.0.490' diff --git a/package/version b/package/version index eb9688348e..7021ba06ec 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.489 +1.0.490