From 53e6fde9be9b095fcc0bc5fa992220a6280a3d51 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:45:37 +0000 Subject: [PATCH 01/13] 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 31b42e71a14dcb7ca7208df4ee7d1ec6fe2a90f7 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:46:22 +0000 Subject: [PATCH 02/13] Set Version: 0.1.103 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 91c96fdf8..5950146bb 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.102 +0.1.103 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 128d56010..24c5df52c 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pykwasm" -version = "0.1.102" +version = "0.1.103" description = "" authors = [ "Runtime Verification, Inc. ", From 86b5145848a955b6dc9bac399ffb02df34827f4f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:47:47 +0000 Subject: [PATCH 03/13] pykwasm/: sync poetry files 7.1.125 --- pykwasm/poetry.lock | 8 ++++---- pykwasm/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index e355b412e..350c8e30a 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -591,13 +591,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] @@ -1256,4 +1256,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "5952d926a03f4266c1b9159a7b70bc44d3008ff5993a518b7abd3902bb9eaa88" +content-hash = "72868a5f618d7d269de1ce747ea7d21939a537bb8361549e0265cbe91e14e710" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 24c5df52c..483faf2fd 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.124" +kframework = "7.1.125" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 9b5fe115123b6132025432be2eb2f83474c57d20 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:47:51 +0000 Subject: [PATCH 04/13] 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 5628413e8..f538caf18 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,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 9e53f158a..8cf5200a2 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; 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 4f844282c0b0b8b848bde42767ed5a3aa40e2f36 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:00:04 +0000 Subject: [PATCH 05/13] 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 9d963815d89bde80ac69bda54704f9e353f82dd1 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:01:24 +0000 Subject: [PATCH 06/13] pykwasm/: sync poetry files 7.1.126 --- pykwasm/poetry.lock | 8 ++++---- pykwasm/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 350c8e30a..16fe5990b 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -591,13 +591,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] @@ -1256,4 +1256,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "72868a5f618d7d269de1ce747ea7d21939a537bb8361549e0265cbe91e14e710" +content-hash = "6f374dede8d9c5dad10b43b4b515700842ab2d66fa21e136273f1d99805f79a8" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 483faf2fd..55d5d992c 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.125" +kframework = "7.1.126" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 5b01daf7cc48b86b6429ba934f1b674e3c35dcab Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:01:29 +0000 Subject: [PATCH 07/13] 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 f538caf18..96bae457a 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,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 8cf5200a2..945a9af31 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; 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 0dfbb5c497ce040d88259b742b0ac88d1fda2495 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:42:21 +0000 Subject: [PATCH 08/13] 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 d5d4b8a29b26a480a06e64963b8f937879f365d9 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 14:26:44 +0000 Subject: [PATCH 09/13] pykwasm/: sync poetry files 7.1.127 --- pykwasm/poetry.lock | 14 +++++++------- pykwasm/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 16fe5990b..044ca7f55 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -591,13 +591,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] @@ -1105,13 +1105,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] @@ -1256,4 +1256,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "6f374dede8d9c5dad10b43b4b515700842ab2d66fa21e136273f1d99805f79a8" +content-hash = "91391a214401dc42644b4ed5887297d07e1f0bdf84e9c102962446ebb7cca1a6" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 55d5d992c..de4b8b96d 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.126" +kframework = "7.1.127" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 0b2649867204b49e30ad0dbb6e90182535d57607 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 14:26:49 +0000 Subject: [PATCH 10/13] 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 96bae457a..72957dfcc 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,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 945a9af31..2792333a5 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; 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 19d1dc81ccaf7cdcbef7aa50968c448741895483 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:19:57 +0000 Subject: [PATCH 11/13] 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 95e2b21b3190214f45c599e7c5d54f5a238f2cca Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:21:14 +0000 Subject: [PATCH 12/13] pykwasm/: sync poetry files 7.1.129 --- pykwasm/poetry.lock | 8 ++++---- pykwasm/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 044ca7f55..74250fadf 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -591,13 +591,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] @@ -1256,4 +1256,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "91391a214401dc42644b4ed5887297d07e1f0bdf84e9c102962446ebb7cca1a6" +content-hash = "c86aedef17d3ce7e002a062debe6bc89fae806ff6275c10e1e130944644c4a1f" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index de4b8b96d..0048e0095 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.127" +kframework = "7.1.129" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From ec252a7ee97bbb4b62c4a77a50dd2186cc052b59 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:21:18 +0000 Subject: [PATCH 13/13] 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 72957dfcc..92a1b7e96 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,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" } @@ -216,17 +216,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 2792333a5..a5c810d1a 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; 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";