diff --git a/deps/k_release b/deps/k_release index 1a0d3e258..a598e2225 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.71 +7.0.85 diff --git a/flake.lock b/flake.lock index 9f0a7464d..c26ba2c6e 100644 --- a/flake.lock +++ b/flake.lock @@ -82,17 +82,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715857203, - "narHash": "sha256-JrT/ectLjfID38zRPhg/g3oixinnBL3sChqYXqp0BpI=", + "lastModified": 1716288119, + "narHash": "sha256-XGs+/L+SFWHli6IyQ9U6Q332PW2YnWz5b1pNz3YPofI=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "b27210141c06c5698201dc3f1fabc90bd09ffe59", + "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "b27210141c06c5698201dc3f1fabc90bd09ffe59", + "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", "type": "github" } }, @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716069760, - "narHash": "sha256-vpTcL2DGZzbPohu7tR/hfZvsd25wM4B3cuSu1g+hF6g=", + "lastModified": 1716391524, + "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", "owner": "runtimeverification", "repo": "k", - "rev": "4741d8b4793002a210757d04f68d861511b3eeb5", + "rev": "af40d82ed362d29d568ca10393589f760dbbd565", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.71", + "ref": "v7.0.85", "repo": "k", "type": "github" } @@ -160,16 +160,16 @@ ] }, "locked": { - "lastModified": 1715284351, - "narHash": "sha256-wO2MgweSgNRKzKrHwUn5Bi1O9dsL4HA3qVAmW5KscGQ=", + "lastModified": 1716382185, + "narHash": "sha256-auHzs6CVstUbqIqAxx8jKteZJGNWh/DpJ3NHqqZ/e30=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "da09d4e96132e6cb6f723143bf652ac512c293ab", + "rev": "be6fcbf90d2501f99adbeaefc75d0c98acdb68ef", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.12", + "ref": "v0.1.24", "repo": "llvm-backend", "type": "github" } @@ -314,17 +314,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716069760, - "narHash": "sha256-vpTcL2DGZzbPohu7tR/hfZvsd25wM4B3cuSu1g+hF6g=", + "lastModified": 1716391524, + "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", "owner": "runtimeverification", "repo": "k", - "rev": "4741d8b4793002a210757d04f68d861511b3eeb5", + "rev": "af40d82ed362d29d568ca10393589f760dbbd565", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.71", + "ref": "v7.0.85", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index c26df3b04..a3cd39b1c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = " A flake for KMIR Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.0.71"; + k-framework.url = "github:runtimeverification/k/v7.0.85"; 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.71?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.85?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 4f084480c..c2f54f277 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -649,7 +649,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.71" +version = "7.0.85" description = "" category = "main" optional = false @@ -671,8 +671,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.71" -resolved_reference = "4741d8b4793002a210757d04f68d861511b3eeb5" +reference = "v7.0.85" +resolved_reference = "af40d82ed362d29d568ca10393589f760dbbd565" subdirectory = "pyk" [[package]] name = "pyperclip" @@ -699,14 +699,14 @@ files = [ [[package]] name = "pytest" -version = "8.2.0" +version = "8.2.1" description = "pytest: simple powerful testing with Python" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.2.0-py3-none-any.whl", hash = "sha256:1733f0620f6cda4095bbf0d9ff8022486e91892245bb9e7d5542c018f612f233"}, - {file = "pytest-8.2.0.tar.gz", hash = "sha256:d507d4482197eac0ba2bae2e9babf0672eb333017bcedaa5fb1a3d42c1174b3f"}, + {file = "pytest-8.2.1-py3-none-any.whl", hash = "sha256:faccc5d332b8c3719f40283d0d44aa5cf101cec36f88cde9ed8f2bc0538612b1"}, + {file = "pytest-8.2.1.tar.gz", hash = "sha256:5046e5b46d8e4cac199c373041f26be56fdb81eb4e67dc11d4e10811fc3408fd"}, ] [package.dependencies] @@ -795,20 +795,19 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "69.5.1" +version = "70.0.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" category = "dev" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-69.5.1-py3-none-any.whl", hash = "sha256:c636ac361bc47580504644275c9ad802c50415c7522212252c033bd15f301f32"}, - {file = "setuptools-69.5.1.tar.gz", hash = "sha256:6c1fccdac05a97e598fb0ae3bbed5904ccb317337a51139dcd51453611bbb987"}, + {file = "setuptools-70.0.0-py3-none-any.whl", hash = "sha256:54faa7f2e8d2d11bcd2c07bed282eef1046b5c080d1c32add737d7b5817b1ad4"}, + {file = "setuptools-70.0.0.tar.gz", hash = "sha256:f211a66637b8fa059bb28183da127d4e86396c991a942b028c6650d4319c3fd0"}, ] [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -testing = ["build[virtualenv]", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.9)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "mypy (==1.9)", "packaging (>=23.2)", "pip (>=19.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.2.1)", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] -testing-integration = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "packaging (>=23.2)", "pytest", "pytest-enabler", "pytest-xdist", "tomli", "virtualenv (>=13.0.0)", "wheel"] +docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +testing = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "mypy (==1.9)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.2.1)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "textual" @@ -913,4 +912,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c8ba0723c4770b368d713df6a2130c1d3584471d0d1dd194cc00356d78fc5f60" +content-hash = "b25a9a1562e80e338083a0bd0eb6323c2980faf9168fd08f43a63c689072a652" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 5f7dafef2..ce59d292d 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.2.54" +version = "0.2.55" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" filelock = "3.9.0" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.71", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.85", subdirectory = "pyk" } pytest-timeout = "2.1.0" [tool.poetry.group.dev.dependencies] diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 34b2182e7..06659de0a 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from .kmir import KMIR -VERSION: Final = '0.2.54' +VERSION: Final = '0.2.55' diff --git a/package/version b/package/version index 71ff411c5..b98cb0f0b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.54 +0.2.55