From 6cda8d9173724c62e1800cd75f0c990010449c91 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:43:14 +0000 Subject: [PATCH 01/19] deps/k_release: Set Version 7.1.124 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index e85246a8e..9255de696 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.123 +7.1.124 From 644e6256e580ab23c02b563cee1120df4d63e8e4 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:44:00 +0000 Subject: [PATCH 02/19] krypto/: sync poetry files pyk version 7.1.124 --- krypto/poetry.lock | 8 ++++---- krypto/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index 5d1edd63f..749269b95 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.123" +version = "7.1.124" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.123-py3-none-any.whl", hash = "sha256:b98081331a8f1d2902df61911726c3fb80b95f7da1d330102a58dd6bd3e5c83c"}, - {file = "kframework-7.1.123.tar.gz", hash = "sha256:9174ac133734cfa0f899088f401073e4c160cc1b6b565947a474aaa89876fe0a"}, + {file = "kframework-7.1.124-py3-none-any.whl", hash = "sha256:cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad"}, + {file = "kframework-7.1.124.tar.gz", hash = "sha256:2b5fcba289c67ac2250ed99216b6b0fe71b90b9d1ee14b58cf9a2a0443601caa"}, ] [package.dependencies] @@ -1054,4 +1054,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f8588e1af0f9f7720a9600cad71a0040e4869f1ab6c46902d834716ee53854fb" +content-hash = "25cf23db6567b3674b40dcd38b5d782325fce816bbacedd21082fdff3e5fdc02" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index 1378ac437..c68a9d32a 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.123" +kframework = "7.1.124" [tool.isort] profile = "black" From 32f20907f910f27bb540d23b7d862eb93ad41344 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:44:08 +0000 Subject: [PATCH 03/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 8b449a0e8..dfe25a497 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1724866053, - "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", + "lastModified": 1724878946, + "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", "owner": "runtimeverification", "repo": "k", - "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", + "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.123", + "ref": "v7.1.124", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 159765db1..38ad3d57c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.123"; + k-framework.url = "github:runtimeverification/k/v7.1.124"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From a4c52cd79b2f8e9236ce8b8818c4880f107290f8 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:41:48 +0000 Subject: [PATCH 04/19] deps/k_release: Set Version 7.1.125 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9255de696..4578ffe50 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.124 +7.1.125 From 684b37ec9be44c23c590779df928942e84c69995 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:42:30 +0000 Subject: [PATCH 05/19] krypto/: sync poetry files pyk version 7.1.125 --- krypto/poetry.lock | 8 ++++---- krypto/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index 749269b95..e8c150b20 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.124" +version = "7.1.125" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.124-py3-none-any.whl", hash = "sha256:cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad"}, - {file = "kframework-7.1.124.tar.gz", hash = "sha256:2b5fcba289c67ac2250ed99216b6b0fe71b90b9d1ee14b58cf9a2a0443601caa"}, + {file = "kframework-7.1.125-py3-none-any.whl", hash = "sha256:34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f"}, + {file = "kframework-7.1.125.tar.gz", hash = "sha256:4e6b4296b2beefd30662d9e401bd910e4dff713b2bfee53468f453e6769f30a3"}, ] [package.dependencies] @@ -1054,4 +1054,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "25cf23db6567b3674b40dcd38b5d782325fce816bbacedd21082fdff3e5fdc02" +content-hash = "8421de26f8b9f118684f4ec000f966fed25e345db321528dd0a38251b37cc867" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index c68a9d32a..815054de5 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.124" +kframework = "7.1.125" [tool.isort] profile = "black" From 0b3c0ca2074ae7d8ebb7a011c59a63bc9413c206 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:42:39 +0000 Subject: [PATCH 06/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index dfe25a497..3127cffc5 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1724878946, - "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", + "lastModified": 1724947368, + "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", "owner": "runtimeverification", "repo": "k", - "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", + "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.124", + "ref": "v7.1.125", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 38ad3d57c..2152c5010 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.124"; + k-framework.url = "github:runtimeverification/k/v7.1.125"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From e5223d83d5d203bea3e645fdf38715c124c0fff0 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:56:08 +0000 Subject: [PATCH 07/19] deps/k_release: Set Version 7.1.126 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 4578ffe50..7da32b3c2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.125 +7.1.126 From 25d69f5481681e1d61c528373b8591bc1df118b8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:56:49 +0000 Subject: [PATCH 08/19] krypto/: sync poetry files pyk version 7.1.126 --- krypto/poetry.lock | 8 ++++---- krypto/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index e8c150b20..7df2f98ba 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.125" +version = "7.1.126" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.125-py3-none-any.whl", hash = "sha256:34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f"}, - {file = "kframework-7.1.125.tar.gz", hash = "sha256:4e6b4296b2beefd30662d9e401bd910e4dff713b2bfee53468f453e6769f30a3"}, + {file = "kframework-7.1.126-py3-none-any.whl", hash = "sha256:5c371480f9e0de4339ffe2084031381f06698ce61657d01d960a9a7183c12209"}, + {file = "kframework-7.1.126.tar.gz", hash = "sha256:e7205a6c45ef5e80ffdfb284814199492a49f66e38435e1bc9945b4f7ef3f13f"}, ] [package.dependencies] @@ -1054,4 +1054,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "8421de26f8b9f118684f4ec000f966fed25e345db321528dd0a38251b37cc867" +content-hash = "30d856ce6e14151837e49beeef7ecc75030fe2b5ca52b8c6d5d32ef8468e0e25" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index 815054de5..104bf703b 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.125" +kframework = "7.1.126" [tool.isort] profile = "black" From bf4284957abcc2dcb0e81fc967552155c61092be Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:56:58 +0000 Subject: [PATCH 09/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 3127cffc5..0fd0a50db 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1724947368, - "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", + "lastModified": 1725269299, + "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", "owner": "runtimeverification", "repo": "k", - "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", + "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.125", + "ref": "v7.1.126", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 2152c5010..83c8e02dd 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.125"; + k-framework.url = "github:runtimeverification/k/v7.1.126"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From c956d67195b6b0f8bc5d37dc0c6d928a6cabaf93 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:40:01 +0000 Subject: [PATCH 10/19] deps/k_release: Set Version 7.1.127 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7da32b3c2..d30bac1a6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.126 +7.1.127 From 0520350f17ac7511d2b01791e26f06db66fa3fa8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:40:44 +0000 Subject: [PATCH 11/19] krypto/: sync poetry files pyk version 7.1.127 --- krypto/poetry.lock | 8 ++++---- krypto/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index 7df2f98ba..2a3be21e0 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.126" +version = "7.1.127" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.126-py3-none-any.whl", hash = "sha256:5c371480f9e0de4339ffe2084031381f06698ce61657d01d960a9a7183c12209"}, - {file = "kframework-7.1.126.tar.gz", hash = "sha256:e7205a6c45ef5e80ffdfb284814199492a49f66e38435e1bc9945b4f7ef3f13f"}, + {file = "kframework-7.1.127-py3-none-any.whl", hash = "sha256:b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a"}, + {file = "kframework-7.1.127.tar.gz", hash = "sha256:ad3db47c2fedd1e9376550e4cd714b80b4eee951b8c0fb23c4e80512036f19b2"}, ] [package.dependencies] @@ -1054,4 +1054,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "30d856ce6e14151837e49beeef7ecc75030fe2b5ca52b8c6d5d32ef8468e0e25" +content-hash = "a68600dfea0528e9c685ec553d6f266cd955c4b70a7bbbf62c762e87d6ece43c" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index 104bf703b..5abe60cd5 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.126" +kframework = "7.1.127" [tool.isort] profile = "black" From c4318af0f28083e623b366e5cbfbf0f859eaa80f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:40:53 +0000 Subject: [PATCH 12/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 0fd0a50db..b66b4fd94 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1725269299, - "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", + "lastModified": 1725278621, + "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", "owner": "runtimeverification", "repo": "k", - "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", + "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.126", + "ref": "v7.1.127", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 83c8e02dd..e52ee36fd 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.126"; + k-framework.url = "github:runtimeverification/k/v7.1.127"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 021e4a62a4cb52b31c4ee4db70839f048953f8a7 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:17:30 +0000 Subject: [PATCH 13/19] deps/k_release: Set Version 7.1.129 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d30bac1a6..0f1750412 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.127 +7.1.129 From d0f5b2d8622ec30cfb81cad4c8434cf4432b6204 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:18:13 +0000 Subject: [PATCH 14/19] krypto/: sync poetry files pyk version 7.1.129 --- krypto/poetry.lock | 14 +++++++------- krypto/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index 2a3be21e0..e987dc1e8 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.127" +version = "7.1.129" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.127-py3-none-any.whl", hash = "sha256:b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a"}, - {file = "kframework-7.1.127.tar.gz", hash = "sha256:ad3db47c2fedd1e9376550e4cd714b80b4eee951b8c0fb23c4e80512036f19b2"}, + {file = "kframework-7.1.129-py3-none-any.whl", hash = "sha256:640b8485da1704384e25c8570f64c4a4ed9586d0510a9abdca845e908816296b"}, + {file = "kframework-7.1.129.tar.gz", hash = "sha256:52aeae85efeb7c16c5aff3b985860b6290d10072c3bebdd2acfae7c2b13e65ef"}, ] [package.dependencies] @@ -914,13 +914,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.0.0" +version = "74.1.1" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.0.0-py3-none-any.whl", hash = "sha256:0274581a0037b638b9fc1c6883cc71c0210865aaa76073f7882376b641b84e8f"}, - {file = "setuptools-74.0.0.tar.gz", hash = "sha256:a85e96b8be2b906f3e3e789adec6a9323abf79758ecfa3065bd740d81158b11e"}, + {file = "setuptools-74.1.1-py3-none-any.whl", hash = "sha256:fc91b5f89e392ef5b77fe143b17e32f65d3024744fba66dc3afe07201684d766"}, + {file = "setuptools-74.1.1.tar.gz", hash = "sha256:2353af060c06388be1cecbf5953dcdb1f38362f87a2356c480b6b4d5fcfc8847"}, ] [package.extras] @@ -1054,4 +1054,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a68600dfea0528e9c685ec553d6f266cd955c4b70a7bbbf62c762e87d6ece43c" +content-hash = "aa27935acb7f9e8478ed5129daffc6efa8e23ef62d86c27f0f341704d28717be" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index 5abe60cd5..50d52e14f 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.127" +kframework = "7.1.129" [tool.isort] profile = "black" From 13d68ba427d42f58443d7452181193a2cb7299f7 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:18:22 +0000 Subject: [PATCH 15/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index b66b4fd94..ff0ac0c17 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1725278621, - "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", + "lastModified": 1725377777, + "narHash": "sha256-yP+1b+iw82AEaCBDDQHmqp6QM5v+aZGEAEFyZbAOh9I=", "owner": "runtimeverification", "repo": "k", - "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", + "rev": "240d9ff350772995c9922e035076f6cc9a2a2a9e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.127", + "ref": "v7.1.129", "repo": "k", "type": "github" } @@ -284,17 +284,17 @@ "treefmt-nix": "treefmt-nix" }, "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "lastModified": 1725253878, + "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9", "type": "github" }, "original": { "owner": "nix-community", + "ref": "2024.9.219347", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", "type": "github" } }, diff --git a/flake.nix b/flake.nix index e52ee36fd..d28b771b8 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.127"; + k-framework.url = "github:runtimeverification/k/v7.1.129"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 1113620fb5b88e0237f81de1eb0495be73bd6f81 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 21:07:07 +0000 Subject: [PATCH 16/19] deps/k_release: Set Version 7.1.131 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0f1750412..d5d966726 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.129 +7.1.131 From a35b5a72c46128e2f20ce3899c29b486f54dbae6 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 21:07:50 +0000 Subject: [PATCH 17/19] krypto/: sync poetry files pyk version 7.1.131 --- krypto/poetry.lock | 44 ++++++++++++++++++++++--------------------- krypto/pyproject.toml | 2 +- 2 files changed, 24 insertions(+), 22 deletions(-) diff --git a/krypto/poetry.lock b/krypto/poetry.lock index e987dc1e8..d1604a84f 100644 --- a/krypto/poetry.lock +++ b/krypto/poetry.lock @@ -472,13 +472,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.129" +version = "7.1.131" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.129-py3-none-any.whl", hash = "sha256:640b8485da1704384e25c8570f64c4a4ed9586d0510a9abdca845e908816296b"}, - {file = "kframework-7.1.129.tar.gz", hash = "sha256:52aeae85efeb7c16c5aff3b985860b6290d10072c3bebdd2acfae7c2b13e65ef"}, + {file = "kframework-7.1.131-py3-none-any.whl", hash = "sha256:b16de689e8b4c70f6484b5b399b09a9dbe35ffbc847fce719d7c17de53d2ee9f"}, + {file = "kframework-7.1.131.tar.gz", hash = "sha256:2052038a3c8627f3127a3efb5de41d8fce462c3119f91d47a958d2c8e8687553"}, ] [package.dependencies] @@ -487,7 +487,7 @@ coloredlogs = ">=15.0.1,<16.0.0" filelock = ">=3.9.0,<4.0.0" graphviz = ">=0.20.1,<0.21.0" hypothesis = ">=6.103.1,<7.0.0" -psutil = "5.9.5" +psutil = ">=5.9.5,<6.0.0" pybind11 = ">=2.10.3,<3.0.0" pytest = "*" textual = ">=0.27.0,<0.28.0" @@ -708,25 +708,27 @@ testing = ["pytest", "pytest-benchmark"] [[package]] name = "psutil" -version = "5.9.5" +version = "5.9.8" description = "Cross-platform lib for process and system monitoring in Python." optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*" +python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*, !=3.5.*" files = [ - {file = "psutil-5.9.5-cp27-cp27m-macosx_10_9_x86_64.whl", hash = "sha256:be8929ce4313f9f8146caad4272f6abb8bf99fc6cf59344a3167ecd74f4f203f"}, - {file = "psutil-5.9.5-cp27-cp27m-manylinux2010_i686.whl", hash = "sha256:ab8ed1a1d77c95453db1ae00a3f9c50227ebd955437bcf2a574ba8adbf6a74d5"}, - {file = "psutil-5.9.5-cp27-cp27m-manylinux2010_x86_64.whl", hash = "sha256:4aef137f3345082a3d3232187aeb4ac4ef959ba3d7c10c33dd73763fbc063da4"}, - {file = "psutil-5.9.5-cp27-cp27mu-manylinux2010_i686.whl", hash = "sha256:ea8518d152174e1249c4f2a1c89e3e6065941df2fa13a1ab45327716a23c2b48"}, - {file = "psutil-5.9.5-cp27-cp27mu-manylinux2010_x86_64.whl", hash = "sha256:acf2aef9391710afded549ff602b5887d7a2349831ae4c26be7c807c0a39fac4"}, - {file = "psutil-5.9.5-cp27-none-win32.whl", hash = "sha256:5b9b8cb93f507e8dbaf22af6a2fd0ccbe8244bf30b1baad6b3954e935157ae3f"}, - {file = "psutil-5.9.5-cp27-none-win_amd64.whl", hash = "sha256:8c5f7c5a052d1d567db4ddd231a9d27a74e8e4a9c3f44b1032762bd7b9fdcd42"}, - {file = "psutil-5.9.5-cp36-abi3-macosx_10_9_x86_64.whl", hash = "sha256:3c6f686f4225553615612f6d9bc21f1c0e305f75d7d8454f9b46e901778e7217"}, - {file = "psutil-5.9.5-cp36-abi3-manylinux_2_12_i686.manylinux2010_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:7a7dd9997128a0d928ed4fb2c2d57e5102bb6089027939f3b722f3a210f9a8da"}, - {file = "psutil-5.9.5-cp36-abi3-manylinux_2_12_x86_64.manylinux2010_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:89518112647f1276b03ca97b65cc7f64ca587b1eb0278383017c2a0dcc26cbe4"}, - {file = "psutil-5.9.5-cp36-abi3-win32.whl", hash = "sha256:104a5cc0e31baa2bcf67900be36acde157756b9c44017b86b2c049f11957887d"}, - {file = "psutil-5.9.5-cp36-abi3-win_amd64.whl", hash = "sha256:b258c0c1c9d145a1d5ceffab1134441c4c5113b2417fafff7315a917a026c3c9"}, - {file = "psutil-5.9.5-cp38-abi3-macosx_11_0_arm64.whl", hash = "sha256:c607bb3b57dc779d55e1554846352b4e358c10fff3abf3514a7a6601beebdb30"}, - {file = "psutil-5.9.5.tar.gz", hash = "sha256:5410638e4df39c54d957fc51ce03048acd8e6d60abc0f5107af51e5fb566eb3c"}, + {file = "psutil-5.9.8-cp27-cp27m-macosx_10_9_x86_64.whl", hash = "sha256:26bd09967ae00920df88e0352a91cff1a78f8d69b3ecabbfe733610c0af486c8"}, + {file = "psutil-5.9.8-cp27-cp27m-manylinux2010_i686.whl", hash = "sha256:05806de88103b25903dff19bb6692bd2e714ccf9e668d050d144012055cbca73"}, + {file = "psutil-5.9.8-cp27-cp27m-manylinux2010_x86_64.whl", hash = "sha256:611052c4bc70432ec770d5d54f64206aa7203a101ec273a0cd82418c86503bb7"}, + {file = "psutil-5.9.8-cp27-cp27mu-manylinux2010_i686.whl", hash = "sha256:50187900d73c1381ba1454cf40308c2bf6f34268518b3f36a9b663ca87e65e36"}, + {file = "psutil-5.9.8-cp27-cp27mu-manylinux2010_x86_64.whl", hash = "sha256:02615ed8c5ea222323408ceba16c60e99c3f91639b07da6373fb7e6539abc56d"}, + {file = "psutil-5.9.8-cp27-none-win32.whl", hash = "sha256:36f435891adb138ed3c9e58c6af3e2e6ca9ac2f365efe1f9cfef2794e6c93b4e"}, + {file = "psutil-5.9.8-cp27-none-win_amd64.whl", hash = "sha256:bd1184ceb3f87651a67b2708d4c3338e9b10c5df903f2e3776b62303b26cb631"}, + {file = "psutil-5.9.8-cp36-abi3-macosx_10_9_x86_64.whl", hash = "sha256:aee678c8720623dc456fa20659af736241f575d79429a0e5e9cf88ae0605cc81"}, + {file = "psutil-5.9.8-cp36-abi3-manylinux_2_12_i686.manylinux2010_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:8cb6403ce6d8e047495a701dc7c5bd788add903f8986d523e3e20b98b733e421"}, + {file = "psutil-5.9.8-cp36-abi3-manylinux_2_12_x86_64.manylinux2010_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:d06016f7f8625a1825ba3732081d77c94589dca78b7a3fc072194851e88461a4"}, + {file = "psutil-5.9.8-cp36-cp36m-win32.whl", hash = "sha256:7d79560ad97af658a0f6adfef8b834b53f64746d45b403f225b85c5c2c140eee"}, + {file = "psutil-5.9.8-cp36-cp36m-win_amd64.whl", hash = "sha256:27cc40c3493bb10de1be4b3f07cae4c010ce715290a5be22b98493509c6299e2"}, + {file = "psutil-5.9.8-cp37-abi3-win32.whl", hash = "sha256:bc56c2a1b0d15aa3eaa5a60c9f3f8e3e565303b465dbf57a1b730e7a2b9844e0"}, + {file = "psutil-5.9.8-cp37-abi3-win_amd64.whl", hash = "sha256:8db4c1b57507eef143a15a6884ca10f7c73876cdf5d51e713151c1236a0e68cf"}, + {file = "psutil-5.9.8-cp38-abi3-macosx_11_0_arm64.whl", hash = "sha256:d16bbddf0693323b8c6123dd804100241da461e41d6e332fb0ba6058f630f8c8"}, + {file = "psutil-5.9.8.tar.gz", hash = "sha256:6be126e3225486dff286a8fb9a06246a5253f4c7c53b475ea5f5ac934e64194c"}, ] [package.extras] @@ -1054,4 +1056,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "aa27935acb7f9e8478ed5129daffc6efa8e23ef62d86c27f0f341704d28717be" +content-hash = "751ee24cf043c5d57eeb21a0c39828dcaeeccbec42122868e322eb2d6e8f4a1e" diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml index 50d52e14f..e5c1bdb48 100644 --- a/krypto/pyproject.toml +++ b/krypto/pyproject.toml @@ -29,7 +29,7 @@ pytest-cov = "*" pytest-mock = "*" pytest-xdist = "*" pyupgrade = "*" -kframework = "7.1.129" +kframework = "7.1.131" [tool.isort] profile = "black" From fc4c3247686be476c7aa5ef8ea855043dcf00ea8 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 21:07:59 +0000 Subject: [PATCH 18/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index ff0ac0c17..eaea75bc2 100644 --- a/flake.lock +++ b/flake.lock @@ -171,16 +171,16 @@ ] }, "locked": { - "lastModified": 1725377777, - "narHash": "sha256-yP+1b+iw82AEaCBDDQHmqp6QM5v+aZGEAEFyZbAOh9I=", + "lastModified": 1725395202, + "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=", "owner": "runtimeverification", "repo": "k", - "rev": "240d9ff350772995c9922e035076f6cc9a2a2a9e", + "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.129", + "ref": "v7.1.131", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index d28b771b8..1104d5833 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Blockchain K plugin"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.129"; + k-framework.url = "github:runtimeverification/k/v7.1.131"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 6ea0944751695e599b449674d1c11ff27a4f6ebc Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 4 Sep 2024 19:00:53 +0000 Subject: [PATCH 19/19] .github/workflows/Dockerfile: add poetry install step to dockerfile --- .github/workflows/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile index 2af10516b..f79348742 100644 --- a/.github/workflows/Dockerfile +++ b/.github/workflows/Dockerfile @@ -34,3 +34,5 @@ USER ${USER}:${GROUP} ENV PATH=/home/${USER}/.local/bin:${PATH} RUN pip install pytest \ && pytest --version +RUN curl -sSL https://install.python-poetry.org | python3 - \ + && poetry --version