From d805508c07668d9d5d4b6eb4575de3562ec1c41a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 13:30:30 +0000 Subject: [PATCH 01/20] deps/k_release: Set Version 7.1.31 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index f4791f968..3d9b34cba 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.30 +7.1.31 From 7592781f65c174469272324de3d9ea8d91857d65 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 13:31:57 +0000 Subject: [PATCH 02/20] pykwasm/: sync poetry files 7.1.31 --- pykwasm/poetry.lock | 30 +++++++++++++++--------------- pykwasm/pyproject.toml | 2 +- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 2666fae6b..0a2fc86f3 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.104.0" +version = "6.104.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.104.0-py3-none-any.whl", hash = "sha256:4aaa38b57625abae0d377b2460b80a5847504dcce22985e3381e4373079d45d0"}, - {file = "hypothesis-6.104.0.tar.gz", hash = "sha256:f3f376491380aab841d706c562034c0118616dca7ce23e07b1a744c99f38d26b"}, + {file = "hypothesis-6.104.1-py3-none-any.whl", hash = "sha256:a0a898fa78ecaefe76ad248901dc274e598f29198c6015b3053f7f7827670e0e"}, + {file = "hypothesis-6.104.1.tar.gz", hash = "sha256:4033898019a6149823d2feeb8d214921b4ac2d342a05d6b02e40a3ca4be07eea"}, ] [package.dependencies] @@ -527,13 +527,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "7.2.1" +version = "8.0.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.2.1-py3-none-any.whl", hash = "sha256:ffef94b0b66046dd8ea2d619b701fe978d9264d38f3998bc4c27ec3b146a87c8"}, - {file = "importlib_metadata-7.2.1.tar.gz", hash = "sha256:509ecb2ab77071db5137c655e24ceb3eee66e7bbc6574165d0d114d9fc4bbe68"}, + {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, + {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, ] [package.dependencies] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.30" +version = "7.1.31" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.30-py3-none-any.whl", hash = "sha256:7f8de5d3b797593145aa69d92d89ce169e46a1254bb0d48354f1faedaeb1dcdd"}, - {file = "kframework-7.1.30.tar.gz", hash = "sha256:d3a07d7dd8b8af7e3e336254035ec3e08f12002e94d927a5bde2cef2c2b3225a"}, + {file = "kframework-7.1.31-py3-none-any.whl", hash = "sha256:560c444ebe0cc4d47acef151a084ca594143e1fc052823ccf31892729d4c9e8c"}, + {file = "kframework-7.1.31.tar.gz", hash = "sha256:69ee1176304865adb168dfdb617f6c17b94184f572755e29e2ab66548fad984a"}, ] [package.dependencies] @@ -905,17 +905,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.12.0" +version = "2.13.0" description = "Seamless operability between C++11 and Python" optional = false -python-versions = ">=3.6" +python-versions = ">=3.7" files = [ - {file = "pybind11-2.12.0-py3-none-any.whl", hash = "sha256:df8d60b94f9e714d81013db233393d430ebf9f3551642b82291cf1b14d1afdbd"}, - {file = "pybind11-2.12.0.tar.gz", hash = "sha256:5e3c557a84b06b969247630407fc4d985bed157b4253b13153b8e8e165e0c3dc"}, + {file = "pybind11-2.13.0-py3-none-any.whl", hash = "sha256:da2eaf03b9973f3e9fdfb4880a716b5770f6bfdc2da32d2e92120173d687a553"}, + {file = "pybind11-2.13.0.tar.gz", hash = "sha256:1dbab243bdbd72d9f3e9cd0a63f65500b6d09d61c20fab43edf8c5c2ad3a7538"}, ] [package.extras] -global = ["pybind11-global (==2.12.0)"] +global = ["pybind11-global (==2.13.0)"] [[package]] name = "pycodestyle" @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "179f114c65c725f22aa54cf2abbe0621be3c8c0d49de9c846679af3180169957" +content-hash = "739d49ce3ae20a3a8fe39732b8ca060f548fa9724c3c9446de37bbea9de1c61b" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 0924280e6..e139aabb6 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.30" +kframework = "7.1.31" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 51406c590e588cb7a00f57831a8bcb237f7ff0e1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 13:32:05 +0000 Subject: [PATCH 03/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 45afdae8c..1a4797c1f 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719331365, - "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", + "lastModified": 1719406201, + "narHash": "sha256-hrVqDwPOnaKc2Xd+GP7BUhwMVktxTECEKL2DPHcLWRc=", "owner": "runtimeverification", "repo": "k", - "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", + "rev": "1d3a8ac9a8a86e49a046066f37d472018d6f3fcb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.30", + "ref": "v7.1.31", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719331365, - "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", + "lastModified": 1719406201, + "narHash": "sha256-hrVqDwPOnaKc2Xd+GP7BUhwMVktxTECEKL2DPHcLWRc=", "owner": "runtimeverification", "repo": "k", - "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", + "rev": "1d3a8ac9a8a86e49a046066f37d472018d6f3fcb", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.30", + "ref": "v7.1.31", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index ffb1dfdf3..de4961201 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.30"; + k-framework.url = "github:runtimeverification/k/v7.1.31"; 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.1.30?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.31?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From bbaf3dcad703de8fc4bd41d9d67704bc6da3caa9 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 13:37:22 +0000 Subject: [PATCH 04/20] Set Version: 0.1.71 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index f0768f091..7c3ae4e02 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.70 +0.1.71 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index e139aabb6..d48e63652 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.70" +version = "0.1.71" description = "" authors = [ "Runtime Verification, Inc. ", From 348294386fb22b195b45c4635a1ae232bfc442ef Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 15:42:42 +0000 Subject: [PATCH 05/20] deps/k_release: Set Version 7.1.32 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3d9b34cba..21f6ce6a7 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.31 +7.1.32 From 06532b5714bff54a085c37c2fea745336dad5642 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 15:44:00 +0000 Subject: [PATCH 06/20] pykwasm/: sync poetry files 7.1.32 --- 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 0a2fc86f3..64f7f0dde 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.31" +version = "7.1.32" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.31-py3-none-any.whl", hash = "sha256:560c444ebe0cc4d47acef151a084ca594143e1fc052823ccf31892729d4c9e8c"}, - {file = "kframework-7.1.31.tar.gz", hash = "sha256:69ee1176304865adb168dfdb617f6c17b94184f572755e29e2ab66548fad984a"}, + {file = "kframework-7.1.32-py3-none-any.whl", hash = "sha256:3874da6cedd1fd9e7c0f85cde1887806d5fdd35a0470e1ec6c428cd1debd848a"}, + {file = "kframework-7.1.32.tar.gz", hash = "sha256:8790793bb539123ccccfe8571703ed8316013eb8e21b4e4a4b01282aa1a3f0c6"}, ] [package.dependencies] @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "739d49ce3ae20a3a8fe39732b8ca060f548fa9724c3c9446de37bbea9de1c61b" +content-hash = "f2309ade403d3f7661c8b3a6be5411bed3c8b0470e1cb72fda2cea00c6f5e660" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index d48e63652..649071e58 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.31" +kframework = "7.1.32" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 9130b6b514ef18b8125d7d4ca27f0db8f22221a4 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 15:44:07 +0000 Subject: [PATCH 07/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 1a4797c1f..85ab2b961 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719406201, - "narHash": "sha256-hrVqDwPOnaKc2Xd+GP7BUhwMVktxTECEKL2DPHcLWRc=", + "lastModified": 1719414215, + "narHash": "sha256-eNSg8EwWEjO7wqgWLiXdaWiSV6jLiK/GNAIZmCdJ+No=", "owner": "runtimeverification", "repo": "k", - "rev": "1d3a8ac9a8a86e49a046066f37d472018d6f3fcb", + "rev": "e2a2ca82da67f97f9aedcb084f58483e6088fc84", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.31", + "ref": "v7.1.32", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719406201, - "narHash": "sha256-hrVqDwPOnaKc2Xd+GP7BUhwMVktxTECEKL2DPHcLWRc=", + "lastModified": 1719414215, + "narHash": "sha256-eNSg8EwWEjO7wqgWLiXdaWiSV6jLiK/GNAIZmCdJ+No=", "owner": "runtimeverification", "repo": "k", - "rev": "1d3a8ac9a8a86e49a046066f37d472018d6f3fcb", + "rev": "e2a2ca82da67f97f9aedcb084f58483e6088fc84", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.31", + "ref": "v7.1.32", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index de4961201..cdc8e4063 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.31"; + k-framework.url = "github:runtimeverification/k/v7.1.32"; 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.1.31?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.32?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From 3f7bbfb5fbf7c0bf575b7af7b0784baec7a6befb Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 16:47:40 +0000 Subject: [PATCH 08/20] deps/k_release: Set Version 7.1.33 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 21f6ce6a7..ce63b3e76 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.32 +7.1.33 From 105cad9140bca571c22a6f44576af33a841cf7c3 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 16:49:03 +0000 Subject: [PATCH 09/20] pykwasm/: sync poetry files 7.1.33 --- 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 64f7f0dde..8be7caa8d 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.32" +version = "7.1.33" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.32-py3-none-any.whl", hash = "sha256:3874da6cedd1fd9e7c0f85cde1887806d5fdd35a0470e1ec6c428cd1debd848a"}, - {file = "kframework-7.1.32.tar.gz", hash = "sha256:8790793bb539123ccccfe8571703ed8316013eb8e21b4e4a4b01282aa1a3f0c6"}, + {file = "kframework-7.1.33-py3-none-any.whl", hash = "sha256:a15562f6223494e9959a881548be445948fa562db5d70e70620cb39fa01cc663"}, + {file = "kframework-7.1.33.tar.gz", hash = "sha256:5e79abeccf65f170bae06301c07b16639ffcda8e78354e2dfdac9f471cc03a01"}, ] [package.dependencies] @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f2309ade403d3f7661c8b3a6be5411bed3c8b0470e1cb72fda2cea00c6f5e660" +content-hash = "3fcaf3131971dd2986b4f8c2e325096310d9eaf40cb51a8433dda7d89942f00a" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 649071e58..db9821737 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.32" +kframework = "7.1.33" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 1715e95a55f98d70a9bb6b8869ace8a0c1d5df07 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 16:49:09 +0000 Subject: [PATCH 10/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 85ab2b961..4c0678280 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719414215, - "narHash": "sha256-eNSg8EwWEjO7wqgWLiXdaWiSV6jLiK/GNAIZmCdJ+No=", + "lastModified": 1719417706, + "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", "owner": "runtimeverification", "repo": "k", - "rev": "e2a2ca82da67f97f9aedcb084f58483e6088fc84", + "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.32", + "ref": "v7.1.33", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719414215, - "narHash": "sha256-eNSg8EwWEjO7wqgWLiXdaWiSV6jLiK/GNAIZmCdJ+No=", + "lastModified": 1719417706, + "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", "owner": "runtimeverification", "repo": "k", - "rev": "e2a2ca82da67f97f9aedcb084f58483e6088fc84", + "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.32", + "ref": "v7.1.33", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index cdc8e4063..91a9610f1 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.32"; + k-framework.url = "github:runtimeverification/k/v7.1.33"; 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.1.32?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.33?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From d3ac528097ce71914525297b65049e3488025777 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 22:14:27 +0000 Subject: [PATCH 11/20] deps/k_release: Set Version 7.1.36 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ce63b3e76..26b2b5613 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.33 +7.1.36 From db511265c5c08c4fb5997bf97596975001f228b9 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 22:14:41 +0000 Subject: [PATCH 12/20] Set Version: 0.1.72 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 7c3ae4e02..8076b7dca 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.71 +0.1.72 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index db9821737..54478d374 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.71" +version = "0.1.72" description = "" authors = [ "Runtime Verification, Inc. ", From 7b90f2038d8e556af0474a9320aa9bd8c3522dcd Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 22:16:23 +0000 Subject: [PATCH 13/20] pykwasm/: sync poetry files 7.1.36 --- pykwasm/poetry.lock | 16 ++++++++-------- pykwasm/pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 8be7caa8d..ea60d2ee2 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.33" +version = "7.1.36" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.33-py3-none-any.whl", hash = "sha256:a15562f6223494e9959a881548be445948fa562db5d70e70620cb39fa01cc663"}, - {file = "kframework-7.1.33.tar.gz", hash = "sha256:5e79abeccf65f170bae06301c07b16639ffcda8e78354e2dfdac9f471cc03a01"}, + {file = "kframework-7.1.36-py3-none-any.whl", hash = "sha256:c1e139b78552e75467affc4015a13b37562ce427512de52b903d1b47ab1b0d05"}, + {file = "kframework-7.1.36.tar.gz", hash = "sha256:771bf1f7a8f660dda27b96fda3c7bb8650a47f9b86b00e948f650cba4c5742a7"}, ] [package.dependencies] @@ -905,17 +905,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.13.0" +version = "2.13.1" description = "Seamless operability between C++11 and Python" optional = false python-versions = ">=3.7" files = [ - {file = "pybind11-2.13.0-py3-none-any.whl", hash = "sha256:da2eaf03b9973f3e9fdfb4880a716b5770f6bfdc2da32d2e92120173d687a553"}, - {file = "pybind11-2.13.0.tar.gz", hash = "sha256:1dbab243bdbd72d9f3e9cd0a63f65500b6d09d61c20fab43edf8c5c2ad3a7538"}, + {file = "pybind11-2.13.1-py3-none-any.whl", hash = "sha256:97881536abe0cd4260a9ccc5bf6d1cf3113318f08af1feb82d4b9f95e93f0aa4"}, + {file = "pybind11-2.13.1.tar.gz", hash = "sha256:65be498b1cac516161add1508e65375674916bebf2570d057dc9c3c7bcbbc7b0"}, ] [package.extras] -global = ["pybind11-global (==2.13.0)"] +global = ["pybind11-global (==2.13.1)"] [[package]] name = "pycodestyle" @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "3fcaf3131971dd2986b4f8c2e325096310d9eaf40cb51a8433dda7d89942f00a" +content-hash = "fcf7b1dd92fa0004c90b446ad76384044175456899277ce5f3016fa0a17c4dda" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 54478d374..f4f82f0f0 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.33" +kframework = "7.1.36" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From a4ef488ca6959bbe92b4d07148c1bce03178ad03 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 22:16:37 +0000 Subject: [PATCH 14/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 4 ++-- 2 files changed, 18 insertions(+), 18 deletions(-) diff --git a/flake.lock b/flake.lock index 4c0678280..ddf540cbd 100644 --- a/flake.lock +++ b/flake.lock @@ -82,16 +82,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1719218678, - "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", + "lastModified": 1719489268, + "narHash": "sha256-J480ZO5k/WjMbwCIfrhy+Kg4p+r5qgbIbCunkn1DhnA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a6f5646a160c277e6e252552eee86563309a9776", + "rev": "e82bc74a95ce6a78c6f8fec7cb255a36aa99e0c6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.19", + "ref": "v0.1.25", "repo": "haskell-backend", "type": "github" } @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719417706, - "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", + "lastModified": 1719524027, + "narHash": "sha256-692ymj4dGjFpboX1l+IwGv6/tjRBdf7Zvc6zMauTPyI=", "owner": "runtimeverification", "repo": "k", - "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", + "rev": "bce3f74888e0cfe3f8479e80c8141583250f5c9c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.33", + "ref": "v7.1.36", "repo": "k", "type": "github" } @@ -160,16 +160,16 @@ ] }, "locked": { - "lastModified": 1718910118, - "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", + "lastModified": 1719488252, + "narHash": "sha256-f6ppPl1kYpFX8MY3Jji6ky6BDpY6QrvQJ4wy0PCjqp4=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", + "rev": "9dfc379039bfa3a257d92feac6323eb246a8e995", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.51", + "ref": "v0.1.52", "repo": "llvm-backend", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719417706, - "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", + "lastModified": 1719524027, + "narHash": "sha256-692ymj4dGjFpboX1l+IwGv6/tjRBdf7Zvc6zMauTPyI=", "owner": "runtimeverification", "repo": "k", - "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", + "rev": "bce3f74888e0cfe3f8479e80c8141583250f5c9c", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.33", + "ref": "v7.1.36", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 91a9610f1..7ea48e268 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.33"; + k-framework.url = "github:runtimeverification/k/v7.1.36"; 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.1.33?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.36?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From 9194f5b179d6c8bee075c2364828eec742ead464 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 23:07:24 +0000 Subject: [PATCH 15/20] deps/k_release: Set Version 7.1.37 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 26b2b5613..c57840060 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.36 +7.1.37 From c3c792d1b6eb9c4e29c3714bb21ccdb67753c672 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 23:08:34 +0000 Subject: [PATCH 16/20] pykwasm/: sync poetry files 7.1.37 --- 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 ea60d2ee2..43faddcfd 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.36" +version = "7.1.37" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.36-py3-none-any.whl", hash = "sha256:c1e139b78552e75467affc4015a13b37562ce427512de52b903d1b47ab1b0d05"}, - {file = "kframework-7.1.36.tar.gz", hash = "sha256:771bf1f7a8f660dda27b96fda3c7bb8650a47f9b86b00e948f650cba4c5742a7"}, + {file = "kframework-7.1.37-py3-none-any.whl", hash = "sha256:fac43e992ea85df94dcd172ae5fc179d73610c7670f912333c6717c716c68be3"}, + {file = "kframework-7.1.37.tar.gz", hash = "sha256:c51ce4fab873396c59703fca0214c6e24c7f5da157b66c4c3a6a50e91d701eec"}, ] [package.dependencies] @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "fcf7b1dd92fa0004c90b446ad76384044175456899277ce5f3016fa0a17c4dda" +content-hash = "e9d1f02bd77101e53c5415f0e037297c573156d193d4f8dc1610fcc50816c664" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index f4f82f0f0..095ab5d56 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.36" +kframework = "7.1.37" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 85ade9f4c8154703776ec1e21f7e2ddc869ae5c2 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 23:08:39 +0000 Subject: [PATCH 17/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index ddf540cbd..d953350e3 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719524027, - "narHash": "sha256-692ymj4dGjFpboX1l+IwGv6/tjRBdf7Zvc6zMauTPyI=", + "lastModified": 1719527217, + "narHash": "sha256-W5npa70WYrR3IHrGKkG61xbMHy8C4z8T+hhjkxkrj8w=", "owner": "runtimeverification", "repo": "k", - "rev": "bce3f74888e0cfe3f8479e80c8141583250f5c9c", + "rev": "8fcfac296f57ff95a3a9a8b5c637295bc301d4a4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.36", + "ref": "v7.1.37", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719524027, - "narHash": "sha256-692ymj4dGjFpboX1l+IwGv6/tjRBdf7Zvc6zMauTPyI=", + "lastModified": 1719527217, + "narHash": "sha256-W5npa70WYrR3IHrGKkG61xbMHy8C4z8T+hhjkxkrj8w=", "owner": "runtimeverification", "repo": "k", - "rev": "bce3f74888e0cfe3f8479e80c8141583250f5c9c", + "rev": "8fcfac296f57ff95a3a9a8b5c637295bc301d4a4", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.36", + "ref": "v7.1.37", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 7ea48e268..80a387134 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.36"; + k-framework.url = "github:runtimeverification/k/v7.1.37"; 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.1.36?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.37?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From 4509200f0084644472110e01e26506e638ce7b2e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 28 Jun 2024 02:52:40 +0000 Subject: [PATCH 18/20] deps/k_release: Set Version 7.1.38 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c57840060..d38368efb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.37 +7.1.38 From 235870961dddee46ebb2dd2112ff0a9d11d9759e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 28 Jun 2024 02:53:48 +0000 Subject: [PATCH 19/20] pykwasm/: sync poetry files 7.1.38 --- 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 43faddcfd..49f2af4af 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.37" +version = "7.1.38" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.37-py3-none-any.whl", hash = "sha256:fac43e992ea85df94dcd172ae5fc179d73610c7670f912333c6717c716c68be3"}, - {file = "kframework-7.1.37.tar.gz", hash = "sha256:c51ce4fab873396c59703fca0214c6e24c7f5da157b66c4c3a6a50e91d701eec"}, + {file = "kframework-7.1.38-py3-none-any.whl", hash = "sha256:02392990d05ae5080cab5059c4f9a048b12ca9e6d960a4ecf90ae9e0fcc03366"}, + {file = "kframework-7.1.38.tar.gz", hash = "sha256:ce11064a15d1713f54a2b53d305f54cc2f1bedd21f26fc3581a89e4dda532d1b"}, ] [package.dependencies] @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e9d1f02bd77101e53c5415f0e037297c573156d193d4f8dc1610fcc50816c664" +content-hash = "6b675488d128ed113f25b698792c3e13e937473b7f2b02c6dfacf739b0acf363" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 095ab5d56..2c90b5d0f 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.37" +kframework = "7.1.38" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 6afb0142c35f4876ef0642be9f2be1b2d42565eb Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 28 Jun 2024 02:53:54 +0000 Subject: [PATCH 20/20] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index d953350e3..9585ee36c 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719527217, - "narHash": "sha256-W5npa70WYrR3IHrGKkG61xbMHy8C4z8T+hhjkxkrj8w=", + "lastModified": 1719540040, + "narHash": "sha256-C0PHWixU6vzsV57MmUQALpPq15dEjst3KDiO/UDyl2k=", "owner": "runtimeverification", "repo": "k", - "rev": "8fcfac296f57ff95a3a9a8b5c637295bc301d4a4", + "rev": "c0fca4528a346b8486cb6789692f045cc2997681", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.37", + "ref": "v7.1.38", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719527217, - "narHash": "sha256-W5npa70WYrR3IHrGKkG61xbMHy8C4z8T+hhjkxkrj8w=", + "lastModified": 1719540040, + "narHash": "sha256-C0PHWixU6vzsV57MmUQALpPq15dEjst3KDiO/UDyl2k=", "owner": "runtimeverification", "repo": "k", - "rev": "8fcfac296f57ff95a3a9a8b5c637295bc301d4a4", + "rev": "c0fca4528a346b8486cb6789692f045cc2997681", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.37", + "ref": "v7.1.38", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 80a387134..8288c3959 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.37"; + k-framework.url = "github:runtimeverification/k/v7.1.38"; 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.1.37?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.38?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; };