From cb4289a3e3b663a6260633f13b3a3647ca23aaf1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 5 Dec 2023 19:29:53 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#276) * deps/pyk_release: Set Version v0.1.526 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.1.36 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.527 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.1.37 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.528 * Set Version: 0.2.3 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.1.39 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.529 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.530 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.1.41 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 50 +++++++++++++++++++-------------------- flake.nix | 4 ++-- kmir/poetry.lock | 28 +++++++++++----------- kmir/pyproject.toml | 4 ++-- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 8 files changed, 47 insertions(+), 47 deletions(-) diff --git a/deps/k_release b/deps/k_release index c7d7bcb6e..bde92e26d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.35 +6.1.41 diff --git a/deps/pyk_release b/deps/pyk_release index 367a7fcc0..708d59be4 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.525 +v0.1.530 diff --git a/flake.lock b/flake.lock index 22f3aec30..0699afe3d 100644 --- a/flake.lock +++ b/flake.lock @@ -18,17 +18,17 @@ ] }, "locked": { - "lastModified": 1701231950, - "narHash": "sha256-tDMOnzs4qv7EYygfhYuEvuTK96GJBS5IAC2c8KesB/U=", + "lastModified": 1701710836, + "narHash": "sha256-i98zbzx5mA6dh2Tet9B9I4+JohyaQg2ET8ueAe9hizs=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "f2ae5990cc61618e97c0350ffea7485574b246d1", + "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "f2ae5990cc61618e97c0350ffea7485574b246d1", + "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11", "type": "github" } }, @@ -37,11 +37,11 @@ "systems": "systems" }, "locked": { - "lastModified": 1694529238, - "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", + "lastModified": 1701680307, + "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=", "owner": "numtide", "repo": "flake-utils", - "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", + "rev": "4022d587cbbfd70fe950c1e2083a02621806a725", "type": "github" }, "original": { @@ -92,17 +92,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1701192512, - "narHash": "sha256-VWytUWtgTCaEYuRlFdRMQxt+La/xaPbC8KlxemyMBf0=", + "lastModified": 1701257709, + "narHash": "sha256-WoZ+XLi48Uqo558muURSY+SeThu2+VrO699r8UQI81g=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "827252a324f651f361ac62de40dbf8888a089503", + "rev": "0be07d293a1167615ef9342bb1820350f794e893", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "827252a324f651f361ac62de40dbf8888a089503", + "rev": "0be07d293a1167615ef9342bb1820350f794e893", "type": "github" } }, @@ -137,16 +137,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1701439419, - "narHash": "sha256-yGFiJyxgmHaeDB1or9aNn9xqcHpkD1Jwd60TVi2gq2E=", + "lastModified": 1701793707, + "narHash": "sha256-zYW7hB/BuRPoLUqBZRJkSbXYj7XwIi4b2XfunMRwaXc=", "owner": "runtimeverification", "repo": "k", - "rev": "549dc1e2e6a5fa1dc6ea40c35c42ebce47bf4587", + "rev": "2c4429696d1e053d80c8bfa69b0d9e85d78cc822", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.35", + "ref": "v6.1.41", "repo": "k", "type": "github" } @@ -169,11 +169,11 @@ ] }, "locked": { - "lastModified": 1701348593, - "narHash": "sha256-kBtj9cf2VF4vid7w8C95OPjC7wWlN8lFFVsFL2J7f3w=", + "lastModified": 1701789957, + "narHash": "sha256-8gSsO9P2JwmVDuu1Cn+hIrc2CztYTtWX33WPf5SETto=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4cbbb3a13dfb92903d9a955b1d7da4f38c6ef5fd", + "rev": "04dd60e70c62fe73785da321f964ee438f84ca91", "type": "github" }, "original": { @@ -321,16 +321,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701458619, - "narHash": "sha256-8A31wHmB31rzBulxAGhEJvNWep9QY7tN9D3CMYXSsC0=", + "lastModified": 1701805413, + "narHash": "sha256-LmFRU+vTM87uHcMny1fBRaQSirbO3gu3hH3Vm3QXPO8=", "owner": "runtimeverification", "repo": "pyk", - "rev": "4a1a2c990078361259bbdaaaac41dd85c0cf1802", + "rev": "00e07a30cf0049a33ae1df1c28c6d3f95792e2ab", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.525", + "ref": "v0.1.530", "repo": "pyk", "type": "github" } @@ -395,11 +395,11 @@ }, "stacklock2nix": { "locked": { - "lastModified": 1696895532, - "narHash": "sha256-QXQ7frsy7D8V81oE6HQBZhlL48Vr7iPR5fSZfNaTdg0=", + "lastModified": 1700633677, + "narHash": "sha256-ATrA3tZZYo9aj9IAZZNqyvtkz4Ub1Q3q5OgADwxImTA=", "owner": "cdepillabout", "repo": "stacklock2nix", - "rev": "10d531672cada2e02ac49b1b18293e7a94938a38", + "rev": "84694f48ddd8e49b96a02216ca2ab406fba25e65", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 0883fa5af..cef3a562e 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = " A flake for KMIR Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v6.1.35"; + k-framework.url = "github:runtimeverification/k/v6.1.41"; 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.525"; + pyk.url = "github:runtimeverification/pyk/v0.1.530"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 148a50723..e6824943d 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -211,14 +211,14 @@ pyflakes = ">=3.1.0,<3.2.0" [[package]] name = "flake8-bugbear" -version = "23.11.28" +version = "23.12.2" description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle." category = "dev" optional = false python-versions = ">=3.8.1" files = [ - {file = "flake8-bugbear-23.11.28.tar.gz", hash = "sha256:0ba6c44eaa0e4782da94c5c2607159a0e73569369246cd179cc143a0e16b78ba"}, - {file = "flake8_bugbear-23.11.28-py3-none-any.whl", hash = "sha256:8d0f351d954fd860851710cd8b5b28742b2339c0e58848b103418dd9cddb9aa4"}, + {file = "flake8-bugbear-23.12.2.tar.gz", hash = "sha256:32b2903e22331ae04885dae25756a32a8c666c85142e933f43512a70f342052a"}, + {file = "flake8_bugbear-23.12.2-py3-none-any.whl", hash = "sha256:83324bad4d90fee4bf64dd69c61aff94debf8073fbd807c8b6a36eec7a2f0719"}, ] [package.dependencies] @@ -291,14 +291,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "6.9.0" +version = "7.0.0" description = "Read metadata from Python packages" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-6.9.0-py3-none-any.whl", hash = "sha256:1c8dc6839ddc9771412596926f24cb5a553bbd40624ee2c7e55e531542bed3b8"}, - {file = "importlib_metadata-6.9.0.tar.gz", hash = "sha256:e8acb523c335a91822674e149b46c0399ec4d328c4d1f6e49c273da5ff0201b9"}, + {file = "importlib_metadata-7.0.0-py3-none-any.whl", hash = "sha256:d97503976bb81f40a193d41ee6570868479c69d5068651eb039c40d850c59d67"}, + {file = "importlib_metadata-7.0.0.tar.gz", hash = "sha256:7fc841f8b8332803464e5dc1c63a2e59121f46ca186c0e2e182e80bf8c1319f7"}, ] [package.dependencies] @@ -532,14 +532,14 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.0.0" +version = "4.1.0" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a \"user data dir\"." category = "dev" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "platformdirs-4.0.0-py3-none-any.whl", hash = "sha256:118c954d7e949b35437270383a3f2531e99dd93cf7ce4dc8340d3356d30f173b"}, - {file = "platformdirs-4.0.0.tar.gz", hash = "sha256:cb633b2bcf10c51af60beb0ab06d2f1d69064b43abf4c185ca6b28865f3f9731"}, + {file = "platformdirs-4.1.0-py3-none-any.whl", hash = "sha256:11c8f37bcca40db96d8144522d925583bdb7a31f7b0e37e3ed4318400a8e2380"}, + {file = "platformdirs-4.1.0.tar.gz", hash = "sha256:906d548203468492d432bcb294d4bc2fff751bf84971fbb2c10918cc206ee420"}, ] [package.extras] @@ -646,7 +646,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.525" +version = "0.1.530" description = "" category = "main" optional = false @@ -668,8 +668,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.525" -resolved_reference = "4a1a2c990078361259bbdaaaac41dd85c0cf1802" +reference = "v0.1.530" +resolved_reference = "00e07a30cf0049a33ae1df1c28c6d3f95792e2ab" [[package]] name = "pyperclip" @@ -893,4 +893,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "36d44b76f7d77ba9b13b4ab577efddbb11c511e22b4ad33d92aec696b9d7fbed" +content-hash = "b6f14d306649f30498bc1422ed15cff4ae69aac3bf4478f6f8b8b54447157842" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 47601ac44..3ce9323c1 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.2" +version = "0.2.3" 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/pyk.git", tag = "v0.1.525" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.530" } 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 a37e826b7..a461b317a 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.2' +VERSION: Final = '0.2.3' diff --git a/package/version b/package/version index ee1372d33..717903969 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.2 +0.2.3