From fa9efd590db83049323ff7e48712cf9e589bb172 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 27 May 2024 20:55:06 -0600 Subject: [PATCH] Update dependency: deps/k_release (#358) * deps/k_release: Set Version 7.0.86 * Set Version: 0.2.56 * deps/k_release: Set Version 7.0.87 * deps/k_release: Set Version 7.0.88 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.89 * deps/k_release: Set Version 7.0.90 * deps/k_release: Set Version 7.0.91 * deps/k_release: Set Version 7.0.92 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.93 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.94 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.95 * deps/k_release: Set Version 7.0.96 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.97 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 74 +++++++++++++++++++-------------------- flake.nix | 4 +-- kmir/poetry.lock | 20 +++++------ kmir/pyproject.toml | 4 +-- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 7 files changed, 54 insertions(+), 54 deletions(-) diff --git a/deps/k_release b/deps/k_release index a598e2225..66af7ef4c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.85 +7.0.97 diff --git a/flake.lock b/flake.lock index c26ba2c6e..d99d865b9 100644 --- a/flake.lock +++ b/flake.lock @@ -82,17 +82,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716288119, - "narHash": "sha256-XGs+/L+SFWHli6IyQ9U6Q332PW2YnWz5b1pNz3YPofI=", + "lastModified": 1716472952, + "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" } }, @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716391524, - "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", + "lastModified": 1716842546, + "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", "owner": "runtimeverification", "repo": "k", - "rev": "af40d82ed362d29d568ca10393589f760dbbd565", + "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.85", + "ref": "v7.0.97", "repo": "k", "type": "github" } @@ -160,16 +160,16 @@ ] }, "locked": { - "lastModified": 1716382185, - "narHash": "sha256-auHzs6CVstUbqIqAxx8jKteZJGNWh/DpJ3NHqqZ/e30=", + "lastModified": 1716543761, + "narHash": "sha256-YQIrz7KjDiwLtHMzRYxzt1+rcCUdeGDmBQl+zWOq5us=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "be6fcbf90d2501f99adbeaefc75d0c98acdb68ef", + "rev": "0b0bdaeaf5acfed9034c40bec68b285dc5fac4dc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.24", + "ref": "v0.1.31", "repo": "llvm-backend", "type": "github" } @@ -198,49 +198,49 @@ }, "nixpkgs": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, "nixpkgs_2": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, "nixpkgs_3": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -314,17 +314,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716391524, - "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", + "lastModified": 1716842546, + "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", "owner": "runtimeverification", "repo": "k", - "rev": "af40d82ed362d29d568ca10393589f760dbbd565", + "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.85", + "ref": "v7.0.97", "repo": "k", "type": "github" } @@ -377,11 +377,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { @@ -395,11 +395,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { @@ -413,11 +413,11 @@ "nixpkgs": "nixpkgs_3" }, "locked": { - "lastModified": 1715010438, - "narHash": "sha256-Do1CWSXjmmun4HvsIymchDhe6EvVS46BTpM466bwNcc=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "dbffdf9266aa237da45c0b08f6750ced7c1cd686", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index a3cd39b1c..6562101c3 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.85"; + k-framework.url = "github:runtimeverification/k/v7.0.97"; 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.85?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.97?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/kmir/poetry.lock b/kmir/poetry.lock index c2f54f277..c1ce9040a 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.85" +version = "7.0.97" 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.85" -resolved_reference = "af40d82ed362d29d568ca10393589f760dbbd565" +reference = "v7.0.97" +resolved_reference = "791b8fa2dc96437e96a8110203bc60f514b9f43c" subdirectory = "pyk" [[package]] name = "pyperclip" @@ -844,14 +844,14 @@ files = [ [[package]] name = "typing-extensions" -version = "4.11.0" +version = "4.12.0" description = "Backported and Experimental Type Hints for Python 3.8+" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "typing_extensions-4.11.0-py3-none-any.whl", hash = "sha256:c1f94d72897edaf4ce775bb7558d5b79d8126906a14ea5ed1635921406c0387a"}, - {file = "typing_extensions-4.11.0.tar.gz", hash = "sha256:83f085bd5ca59c80295fc2a82ab5dac679cbe02b9f33f7d83af68e241bea51b0"}, + {file = "typing_extensions-4.12.0-py3-none-any.whl", hash = "sha256:b349c66bea9016ac22978d800cfff206d5f9816951f12a7d0ec5578b0a819594"}, + {file = "typing_extensions-4.12.0.tar.gz", hash = "sha256:8cbcdc8606ebcb0d95453ad7dc5065e6237b6aa230a31e81d0f440c30fed5fd8"}, ] [[package]] @@ -895,14 +895,14 @@ files = [ [[package]] name = "zipp" -version = "3.18.2" +version = "3.19.0" description = "Backport of pathlib-compatible object wrapper for zip files" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "zipp-3.18.2-py3-none-any.whl", hash = "sha256:dce197b859eb796242b0622af1b8beb0a722d52aa2f57133ead08edd5bf5374e"}, - {file = "zipp-3.18.2.tar.gz", hash = "sha256:6278d9ddbcfb1f1089a88fde84481528b07b0e10474e09dcfe53dad4069fa059"}, + {file = "zipp-3.19.0-py3-none-any.whl", hash = "sha256:96dc6ad62f1441bcaccef23b274ec471518daf4fbbc580341204936a5a3dddec"}, + {file = "zipp-3.19.0.tar.gz", hash = "sha256:952df858fb3164426c976d9338d3961e8e8b3758e2e059e0f754b8c4262625ee"}, ] [package.extras] @@ -912,4 +912,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b25a9a1562e80e338083a0bd0eb6323c2980faf9168fd08f43a63c689072a652" +content-hash = "1e57f08ef495b8947a7d1c51c057f3a6c580ceefa4ca92842923a8b9289001a3" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index ce59d292d..5b969738e 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.55" +version = "0.2.56" 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.85", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.97", 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 06659de0a..6ad6d9007 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.55' +VERSION: Final = '0.2.56' diff --git a/package/version b/package/version index b98cb0f0b..df8332cdc 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.55 +0.2.56