From 9e6c5989c05626b1e438206b1be029fda4a4eb26 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 16:11:26 +0000 Subject: [PATCH 1/7] deps/k_release: Set Version 7.1.150 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index acf79a8b2..72dff9e51 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.149 +7.1.150 From f5465baef0a69ad90cd369e5a2f2c891104228cd Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 16:11:40 +0000 Subject: [PATCH 2/7] Set Version: 0.1.108 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index c72cf6b05..68a31b00e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.107 +0.1.108 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index a4f1dd7f8..106550993 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.107" +version = "0.1.108" description = "" authors = [ "Runtime Verification, Inc. ", From 133b0825a3af89361d1344e009b0fcdf5e5e2d40 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 16:12:57 +0000 Subject: [PATCH 3/7] pykwasm/: sync poetry files 7.1.150 --- 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 41f50582a..2f686053b 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.149" +version = "7.1.150" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.149-py3-none-any.whl", hash = "sha256:2999608dd3a62556145c0e59608abde14812289b930fad44854ede3a3101c995"}, - {file = "kframework-7.1.149.tar.gz", hash = "sha256:dff520a7478a02fc9cbb041b379cc8a1a06fb6557bd1dbd1df0fb6f8d9f20f46"}, + {file = "kframework-7.1.150-py3-none-any.whl", hash = "sha256:e31fd668ac7cb7d44d36c4abbacaecee293a056744a8aff5a67ccde5725409ce"}, + {file = "kframework-7.1.150.tar.gz", hash = "sha256:d3bcf827091bdac8ae885c304c327da9779ee6f013d78c764741eebc87fe4729"}, ] [package.dependencies] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "1e3640ccbb3738523e0b76fa6b856eaad04b67049588e1b25e4a20244f9720f6" +content-hash = "19aefec96743ad1fceb219f745c61d91622a63b18a540c07ab2739a486a7c3e0" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 106550993..a42c610d5 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.149" +kframework = "7.1.150" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From accd30402283876cfaa81fa5c3b6c3c2feb55ec1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 16:13:01 +0000 Subject: [PATCH 4/7] 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 8d561906d..dabaa6097 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726963552, - "narHash": "sha256-01rb87Oc9cDh1MinneK/c96DbdQMVwnym9uYz1gKec4=", + "lastModified": 1727278052, + "narHash": "sha256-wrQ8ljp/BKJmR1PcDe+u9BdRZmKj9uDNGQWCY+AfuqE=", "owner": "runtimeverification", "repo": "k", - "rev": "7e06a35da4f5f757a8373c6cbf83e86f492bc75a", + "rev": "4d030ce509f0e4954a0f3d4f8f607801b652b5b4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.149", + "ref": "v7.1.150", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index f404f2ad5..e1dbee4ff 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.149"; + k-framework.url = "github:runtimeverification/k/v7.1.150"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 64029483180bfab499f32552bdc6eda2629d7488 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 20:38:30 +0000 Subject: [PATCH 5/7] deps/k_release: Set Version 7.1.151 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 72dff9e51..1ef9950c9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.150 +7.1.151 From 6daf6babfdb8f29ef522218f0e4b913e286e324f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 20:39:41 +0000 Subject: [PATCH 6/7] pykwasm/: sync poetry files 7.1.151 --- 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 2f686053b..a25c78ef2 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.150" +version = "7.1.151" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.150-py3-none-any.whl", hash = "sha256:e31fd668ac7cb7d44d36c4abbacaecee293a056744a8aff5a67ccde5725409ce"}, - {file = "kframework-7.1.150.tar.gz", hash = "sha256:d3bcf827091bdac8ae885c304c327da9779ee6f013d78c764741eebc87fe4729"}, + {file = "kframework-7.1.151-py3-none-any.whl", hash = "sha256:8ac212711a7b9e0ae8953884b779a0b215ef7c4145816dbd588342f5c3b00268"}, + {file = "kframework-7.1.151.tar.gz", hash = "sha256:057025b23bbdb0903c9abf5fcd57bddd667643b23d22fa9fd1b1b0d2786011de"}, ] [package.dependencies] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "19aefec96743ad1fceb219f745c61d91622a63b18a540c07ab2739a486a7c3e0" +content-hash = "36c8cc052aa1dcf8ec3c3233f8cee466dbae103c9dd7f072f5d71f2b974f6571" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index a42c610d5..ebfd219b5 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.150" +kframework = "7.1.151" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From c38ff3e18b8be172e1ed50c7fcd5cd6919472759 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 25 Sep 2024 20:39:46 +0000 Subject: [PATCH 7/7] 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 dabaa6097..cf779a74a 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1727278052, - "narHash": "sha256-wrQ8ljp/BKJmR1PcDe+u9BdRZmKj9uDNGQWCY+AfuqE=", + "lastModified": 1727294569, + "narHash": "sha256-0acBhM4McFJ93BO0pamzHr6ekLWgiH4gvw2428JX7wY=", "owner": "runtimeverification", "repo": "k", - "rev": "4d030ce509f0e4954a0f3d4f8f607801b652b5b4", + "rev": "d0d2553f1254991600a830b108d98fe9febc1f5a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.150", + "ref": "v7.1.151", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1726776150, - "narHash": "sha256-A4OX0ZV4/AS+tztmLG52v/ayMV43WscbF6lLKOaoPrw=", + "lastModified": 1727116141, + "narHash": "sha256-htGQy05VRhuAWdMkUzCf67gkKRGSHfJUeXU5bc2Z27Q=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "c023bc5eb734c1718243d66613044e895e8fcf7e", + "rev": "b830daaa6392ff256e62970cab89deeaaf7aab95", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.94", + "ref": "v0.1.95", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index e1dbee4ff..b393b8227 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.150"; + k-framework.url = "github:runtimeverification/k/v7.1.151"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils";