From 29963d5950969143099a42abdb945757ca1e5069 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 11 Sep 2024 20:14:56 +0000 Subject: [PATCH 01/29] deps/k_release: Set Version 7.1.141 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8161d8ff1..0713df056 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.140 +7.1.141 From 41d0ed5bd1085e3386fe667e72925146278dd39e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 11 Sep 2024 20:15:09 +0000 Subject: [PATCH 02/29] Set Version: 0.1.107 --- package/version | 2 +- pykwasm/pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 9e3db2aa1..c72cf6b05 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.106 +0.1.107 diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 1fdf494a1..492c81616 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.106" +version = "0.1.107" description = "" authors = [ "Runtime Verification, Inc. ", From 6e07816c75c3fdfb08d48e879c1466ebe9895ca6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 11 Sep 2024 20:16:26 +0000 Subject: [PATCH 03/29] pykwasm/: sync poetry files 7.1.141 --- pykwasm/poetry.lock | 28 ++++++++++++++++------------ pykwasm/pyproject.toml | 2 +- 2 files changed, 17 insertions(+), 13 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 0b0ef8450..26b409964 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -547,22 +547,26 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.4.0" +version = "8.5.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.4.0-py3-none-any.whl", hash = "sha256:66f342cc6ac9818fc6ff340576acd24d65ba0b3efabb2b4ac08b598965a4a2f1"}, - {file = "importlib_metadata-8.4.0.tar.gz", hash = "sha256:9a547d3bc3608b025f93d403fdd1aae741c24fbb8314df4b155675742ce303c5"}, + {file = "importlib_metadata-8.5.0-py3-none-any.whl", hash = "sha256:45e54197d28b7a7f1559e60b95e7c567032b602131fbd588f1497f47880aa68b"}, + {file = "importlib_metadata-8.5.0.tar.gz", hash = "sha256:71522656f0abace1d072b9e5481a48f07c138e00f079c38c8f883823f9c26bd7"}, ] [package.dependencies] -zipp = ">=0.5" +zipp = ">=3.20" [package.extras] +check = ["pytest-checkdocs (>=2.4)", "pytest-ruff (>=0.2.1)"] +cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] +enabler = ["pytest-enabler (>=2.2)"] perf = ["ipython"] -test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] +test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-perf (>=0.9.2)"] +type = ["pytest-mypy"] [[package]] name = "iniconfig" @@ -591,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.140" +version = "7.1.141" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.140-py3-none-any.whl", hash = "sha256:416e0488bff3977e006541e36e8e7b1178d1692e6bc3c2e6bb6cabcf578da397"}, - {file = "kframework-7.1.140.tar.gz", hash = "sha256:336a1905994db38145ee0503196b5d3ea183b45503e5a6c76bf3728d81eae2f2"}, + {file = "kframework-7.1.141-py3-none-any.whl", hash = "sha256:3a882a19a33397ae0da1e6e7d2fe9709c9f274bd5c12cdc06b1d999e3437956d"}, + {file = "kframework-7.1.141.tar.gz", hash = "sha256:608b61a6d63641981c79d03fa73242546016b338dc97837771bea949c911e693"}, ] [package.dependencies] @@ -987,13 +991,13 @@ files = [ [[package]] name = "pyreadline3" -version = "3.4.1" +version = "3.4.3" description = "A python implementation of GNU readline." optional = false python-versions = "*" files = [ - {file = "pyreadline3-3.4.1-py3-none-any.whl", hash = "sha256:b0efb6516fd4fb07b45949053826a62fa4cb353db5be2bbb4a7aa1fdd1e345fb"}, - {file = "pyreadline3-3.4.1.tar.gz", hash = "sha256:6f3d1f7b8a31ba32b73917cefc1f28cc660562f39aea8646d30bd6eff21f7bae"}, + {file = "pyreadline3-3.4.3-py3-none-any.whl", hash = "sha256:f832c5898f4f9a0f81d48a8c499b39d0179de1a465ea3def1a7e7231840b4ed6"}, + {file = "pyreadline3-3.4.3.tar.gz", hash = "sha256:ebab0baca37f50e2faa1dd99a6da1c75de60e0d68a3b229c134bbd12786250e2"}, ] [[package]] @@ -1258,4 +1262,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f971d517a2c94317fb2ea7b66963e3f5b40388c076d0d9d125cf92f2576adb14" +content-hash = "321c0e897d01156203b1cae388b090357e03617e9a29f404cc44f750a3c990d0" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 492c81616..1fc9ed998 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.140" +kframework = "7.1.141" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 43f710ae3edc0d666b4bb5beb6b7eec9a2030a74 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 11 Sep 2024 20:16:30 +0000 Subject: [PATCH 04/29] 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 04ffa970b..ee32ef5a8 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726050015, - "narHash": "sha256-0vP3wxiB89QRtKLxuIcftcFO0qoknKzq1zBDZlC43lA=", + "lastModified": 1726082574, + "narHash": "sha256-W1JOg08SAi1oBi6e6ir7Nf9FnKDRyv2WAcG+A/0LQOY=", "owner": "runtimeverification", "repo": "k", - "rev": "8914fd6f709de5b2113f75b3805cebdd5335f7c7", + "rev": "032607d473d381367f975092a909d55781f18a38", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.140", + "ref": "v7.1.141", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index f9d049bc2..47181f529 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.140"; + k-framework.url = "github:runtimeverification/k/v7.1.141"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From b63b809f62219e56136f09702fcbbf8d809c53b1 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 12 Sep 2024 20:21:32 +0000 Subject: [PATCH 05/29] deps/k_release: Set Version 7.1.142 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0713df056..67639f4f2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.141 +7.1.142 From 745a862f6fd8a2c47abeb7ee8f52106877c6b07d Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 12 Sep 2024 20:22:45 +0000 Subject: [PATCH 06/29] pykwasm/: sync poetry files 7.1.142 --- 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 26b409964..8e018134e 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.141" +version = "7.1.142" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.141-py3-none-any.whl", hash = "sha256:3a882a19a33397ae0da1e6e7d2fe9709c9f274bd5c12cdc06b1d999e3437956d"}, - {file = "kframework-7.1.141.tar.gz", hash = "sha256:608b61a6d63641981c79d03fa73242546016b338dc97837771bea949c911e693"}, + {file = "kframework-7.1.142-py3-none-any.whl", hash = "sha256:41dc2f26ea3acff1d79fd6e87519cedba94f3a9de8e313066a7fbb7654710c4c"}, + {file = "kframework-7.1.142.tar.gz", hash = "sha256:e55b516f8c5ecf0b1d166b89f3845b4207f07b86fa5843d8f0aab4cb9a9888ef"}, ] [package.dependencies] @@ -1262,4 +1262,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "321c0e897d01156203b1cae388b090357e03617e9a29f404cc44f750a3c990d0" +content-hash = "718185f94e749bf3358d1f48f953ff2b57c1e6e4965a4b53834bfbd6c1a97343" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 1fc9ed998..ac3b6c6ef 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.141" +kframework = "7.1.142" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From c3dfa43618e5d2a59cd169bb9f55d90c9b498b40 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 12 Sep 2024 20:22:50 +0000 Subject: [PATCH 07/29] flake.{nix,lock}: update Nix derivations --- flake.lock | 34 +++++++++++++++++----------------- flake.nix | 2 +- 2 files changed, 18 insertions(+), 18 deletions(-) diff --git a/flake.lock b/flake.lock index ee32ef5a8..3fbd88382 100644 --- a/flake.lock +++ b/flake.lock @@ -21,11 +21,11 @@ "systems": "systems_2" }, "locked": { - "lastModified": 1694529238, - "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", + "lastModified": 1710146030, + "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", + "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a", "type": "github" }, "original": { @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726082574, - "narHash": "sha256-W1JOg08SAi1oBi6e6ir7Nf9FnKDRyv2WAcG+A/0LQOY=", + "lastModified": 1726170219, + "narHash": "sha256-pQG1D9oDG24h7I/ekTI96IGZ7ikWrip0m4o1uDFIBZc=", "owner": "runtimeverification", "repo": "k", - "rev": "032607d473d381367f975092a909d55781f18a38", + "rev": "6e23a83e5380f9eae45a73e3956776f2e666da35", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.141", + "ref": "v7.1.142", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1724355360, - "narHash": "sha256-wy+g2rVUn2dYoZ/JSA8x0cWNWYDxnxLpAzaucjUBciQ=", + "lastModified": 1726098480, + "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b9d2a6da360e2b14a60a22928d625f43fb71ae02", + "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.84", + "ref": "v0.1.88", "repo": "llvm-backend", "type": "github" } @@ -174,11 +174,11 @@ ] }, "locked": { - "lastModified": 1693660503, - "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=", + "lastModified": 1703863825, + "narHash": "sha256-rXwqjtwiGKJheXB43ybM8NwWB8rO2dSRrEqes0S7F5Y=", "owner": "nix-community", "repo": "nix-github-actions", - "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0", + "rev": "5163432afc817cf8bd1f031418d1869e4c9d5547", "type": "github" }, "original": { @@ -371,11 +371,11 @@ ] }, "locked": { - "lastModified": 1697388351, - "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=", + "lastModified": 1719749022, + "narHash": "sha256-ddPKHcqaKCIFSFc/cvxS14goUhCOAwsM1PbMr0ZtHMg=", "owner": "numtide", "repo": "treefmt-nix", - "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a", + "rev": "8df5ff62195d4e67e2264df0b7f5e8c9995fd0bd", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 47181f529..efbee445c 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.141"; + k-framework.url = "github:runtimeverification/k/v7.1.142"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From e0ee068ededad72702537a12984b0351f77a6173 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 16:14:49 +0000 Subject: [PATCH 08/29] deps/k_release: Set Version 7.1.143 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 67639f4f2..715fb9f0e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.142 +7.1.143 From e6315a074a8b993790a8464f36ef5c23e3786c49 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 16:16:12 +0000 Subject: [PATCH 09/29] pykwasm/: sync poetry files 7.1.143 --- pykwasm/poetry.lock | 53 ++++++++++++++++++++++-------------------- pykwasm/pyproject.toml | 2 +- 2 files changed, 29 insertions(+), 26 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 8e018134e..23e506a98 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -514,13 +514,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.112.0" +version = "6.112.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.112.0-py3-none-any.whl", hash = "sha256:1e6adbd9534c0d691690b5006904327ea37c851d4e15262a22094aa77879e84d"}, - {file = "hypothesis-6.112.0.tar.gz", hash = "sha256:06ea8857e1e711a1a6f24154a3c8c4eab04b041993206aaa267f98b859fd6ef5"}, + {file = "hypothesis-6.112.1-py3-none-any.whl", hash = "sha256:93631b1498b20d2c205ed304cbd41d50e9c069d78a9c773c1324ca094c5e30ce"}, + {file = "hypothesis-6.112.1.tar.gz", hash = "sha256:b070d7a1bb9bd84706c31885c9aeddc138e2b36a9c112a91984f49501c567856"}, ] [package.dependencies] @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.142" +version = "7.1.143" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.142-py3-none-any.whl", hash = "sha256:41dc2f26ea3acff1d79fd6e87519cedba94f3a9de8e313066a7fbb7654710c4c"}, - {file = "kframework-7.1.142.tar.gz", hash = "sha256:e55b516f8c5ecf0b1d166b89f3845b4207f07b86fa5843d8f0aab4cb9a9888ef"}, + {file = "kframework-7.1.143-py3-none-any.whl", hash = "sha256:69db516b0e86c039c7c979f4d784ac17a4643776f9ac62ed14d07979e89d4bb4"}, + {file = "kframework-7.1.143.tar.gz", hash = "sha256:af1dc36428b1700e529f52c00ab0fdab485bc12078da2fb2785576a11a93be0e"}, ] [package.dependencies] @@ -845,13 +845,13 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.3.2" +version = "4.3.3" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.3.2-py3-none-any.whl", hash = "sha256:eb1c8582560b34ed4ba105009a4badf7f6f85768b30126f351328507b2beb617"}, - {file = "platformdirs-4.3.2.tar.gz", hash = "sha256:9e5e27a08aa095dd127b9f2e764d74254f482fef22b0970773bfba79d091ab8c"}, + {file = "platformdirs-4.3.3-py3-none-any.whl", hash = "sha256:50a5450e2e84f44539718293cbb1da0a0885c9d14adf21b77bae4e66fc99d9b5"}, + {file = "platformdirs-4.3.3.tar.gz", hash = "sha256:d4e0b7d8ec176b341fb03cb11ca12d0276faa8c485f9cd218f613840463fc2c0"}, ] [package.extras] @@ -931,17 +931,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.13.5" +version = "2.13.6" description = "Seamless operability between C++11 and Python" optional = false python-versions = ">=3.7" files = [ - {file = "pybind11-2.13.5-py3-none-any.whl", hash = "sha256:dc35a98b61a0d23ee8599b317664f5be7e259fdc369a3b810b1ebbc3f5674d27"}, - {file = "pybind11-2.13.5.tar.gz", hash = "sha256:ae33f635322f9d9741abde0c5f348bf9373f6c22298883395e586cb43c55574e"}, + {file = "pybind11-2.13.6-py3-none-any.whl", hash = "sha256:237c41e29157b962835d356b370ededd57594a26d5894a795960f0047cb5caf5"}, + {file = "pybind11-2.13.6.tar.gz", hash = "sha256:ba6af10348c12b24e92fa086b39cfba0eff619b61ac77c406167d813b096d39a"}, ] [package.extras] -global = ["pybind11-global (==2.13.5)"] +global = ["pybind11-global (==2.13.6)"] [[package]] name = "pycodestyle" @@ -991,15 +991,18 @@ files = [ [[package]] name = "pyreadline3" -version = "3.4.3" +version = "3.5.2" description = "A python implementation of GNU readline." optional = false -python-versions = "*" +python-versions = ">=3.8" files = [ - {file = "pyreadline3-3.4.3-py3-none-any.whl", hash = "sha256:f832c5898f4f9a0f81d48a8c499b39d0179de1a465ea3def1a7e7231840b4ed6"}, - {file = "pyreadline3-3.4.3.tar.gz", hash = "sha256:ebab0baca37f50e2faa1dd99a6da1c75de60e0d68a3b229c134bbd12786250e2"}, + {file = "pyreadline3-3.5.2-py3-none-any.whl", hash = "sha256:a87d56791e2965b2b187e2ea33dcf664600842c997c0623c95cf8ef07db83de9"}, + {file = "pyreadline3-3.5.2.tar.gz", hash = "sha256:ba82292e52c5a3bb256b291af0c40b457c1e8699cac9a873abbcaac8aef3a1bb"}, ] +[package.extras] +dev = ["build", "flake8", "pytest", "twine"] + [[package]] name = "pytest" version = "8.3.3" @@ -1111,18 +1114,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.1.2" +version = "75.1.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.1.2-py3-none-any.whl", hash = "sha256:5f4c08aa4d3ebcb57a50c33b1b07e94315d7fc7230f7115e47fc99776c8ce308"}, - {file = "setuptools-74.1.2.tar.gz", hash = "sha256:95b40ed940a1c67eb70fc099094bd6e99c6ee7c23aa2306f4d2697ba7916f9c6"}, + {file = "setuptools-75.1.0-py3-none-any.whl", hash = "sha256:35ab7fd3bcd95e6b7fd704e4a1539513edad446c097797f2985e0e4b960772f2"}, + {file = "setuptools-75.1.0.tar.gz", hash = "sha256:d59a21b17a275fb872a9c3dae73963160ae079f1049ed956880cd7c09b120538"}, ] [package.extras] check = ["pytest-checkdocs (>=2.4)", "pytest-ruff (>=0.2.1)", "ruff (>=0.5.2)"] -core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] +core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.collections", "jaraco.functools", "jaraco.text (>=3.7)", "more-itertools", "more-itertools (>=8.8)", "packaging", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier", "towncrier (<24.7)"] enabler = ["pytest-enabler (>=2.2)"] @@ -1242,13 +1245,13 @@ files = [ [[package]] name = "zipp" -version = "3.20.1" +version = "3.20.2" description = "Backport of pathlib-compatible object wrapper for zip files" optional = false python-versions = ">=3.8" files = [ - {file = "zipp-3.20.1-py3-none-any.whl", hash = "sha256:9960cd8967c8f85a56f920d5d507274e74f9ff813a0ab8889a5b5be2daf44064"}, - {file = "zipp-3.20.1.tar.gz", hash = "sha256:c22b14cc4763c5a5b04134207736c107db42e9d3ef2d9779d465f5f1bcba572b"}, + {file = "zipp-3.20.2-py3-none-any.whl", hash = "sha256:a817ac80d6cf4b23bf7f2828b7cabf326f15a001bea8b1f9b49631780ba28350"}, + {file = "zipp-3.20.2.tar.gz", hash = "sha256:bc9eb26f4506fda01b81bcde0ca78103b6e62f991b381fec825435c836edbc29"}, ] [package.extras] @@ -1262,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "718185f94e749bf3358d1f48f953ff2b57c1e6e4965a4b53834bfbd6c1a97343" +content-hash = "2035d4a0fb58b7bbafa23fdc5412b66bbd939ce517ee5a7e1a3cb1c117b7e0e0" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index ac3b6c6ef..256237ed9 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.142" +kframework = "7.1.143" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From de46bb63c690f715aeef8be4896018145caf3eff Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 16:16:17 +0000 Subject: [PATCH 10/29] 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 3fbd88382..a952c9619 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726170219, - "narHash": "sha256-pQG1D9oDG24h7I/ekTI96IGZ7ikWrip0m4o1uDFIBZc=", + "lastModified": 1726586819, + "narHash": "sha256-0/NKFZ76IfIJJG2CpXttyi3fdeQ6VQDFGESCbUEnFOg=", "owner": "runtimeverification", "repo": "k", - "rev": "6e23a83e5380f9eae45a73e3956776f2e666da35", + "rev": "833c71ebb06ce32dd26bf36cccd0fdcbf4ef0f02", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.142", + "ref": "v7.1.143", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index efbee445c..536bae56d 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.142"; + k-framework.url = "github:runtimeverification/k/v7.1.143"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From f2fe9fa8fa0dae13b4d6b5630caf0bc11cd4b47b Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 18:48:24 +0000 Subject: [PATCH 11/29] deps/k_release: Set Version 7.1.144 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 715fb9f0e..7db889e00 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.143 +7.1.144 From 4f46dafadbacc90009223826dcebf49e56ac375c Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 18:49:52 +0000 Subject: [PATCH 12/29] pykwasm/: sync poetry files 7.1.144 --- 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 23e506a98..3b32b9c21 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.143" +version = "7.1.144" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.143-py3-none-any.whl", hash = "sha256:69db516b0e86c039c7c979f4d784ac17a4643776f9ac62ed14d07979e89d4bb4"}, - {file = "kframework-7.1.143.tar.gz", hash = "sha256:af1dc36428b1700e529f52c00ab0fdab485bc12078da2fb2785576a11a93be0e"}, + {file = "kframework-7.1.144-py3-none-any.whl", hash = "sha256:523fa392b57511d8d97388f8b1169e9869307c6a1d7ad613baa1af498ed5f8dd"}, + {file = "kframework-7.1.144.tar.gz", hash = "sha256:79c3283edee51fe2ea8554235f6d33487b77b3a86ec92462b0ed637094e8f93b"}, ] [package.dependencies] @@ -845,13 +845,13 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.3.3" +version = "4.3.4" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.3.3-py3-none-any.whl", hash = "sha256:50a5450e2e84f44539718293cbb1da0a0885c9d14adf21b77bae4e66fc99d9b5"}, - {file = "platformdirs-4.3.3.tar.gz", hash = "sha256:d4e0b7d8ec176b341fb03cb11ca12d0276faa8c485f9cd218f613840463fc2c0"}, + {file = "platformdirs-4.3.4-py3-none-any.whl", hash = "sha256:8b4ba85412f5065dae40aa19feaa02ac2be584c8b14abd70712b5cd11ad80034"}, + {file = "platformdirs-4.3.4.tar.gz", hash = "sha256:9e8a037c36fe1b1f1b5de4482e60464272cc8dca725e40b568bf2c285f7509cf"}, ] [package.extras] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2035d4a0fb58b7bbafa23fdc5412b66bbd939ce517ee5a7e1a3cb1c117b7e0e0" +content-hash = "13edaa3aabbcae6a6313d3e10f2a1750edbda0eb57dd702014bed701b8e68969" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 256237ed9..caaf446af 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.143" +kframework = "7.1.144" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From e2903bbaaa7f59a5d0c6a76ecc5663c78ab25a8c Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Sep 2024 18:49:57 +0000 Subject: [PATCH 13/29] 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 a952c9619..a7667c303 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726586819, - "narHash": "sha256-0/NKFZ76IfIJJG2CpXttyi3fdeQ6VQDFGESCbUEnFOg=", + "lastModified": 1726596173, + "narHash": "sha256-p1+A24jH70NwnNR2/DE08enhwzSkTs3AWDnleUFdV1c=", "owner": "runtimeverification", "repo": "k", - "rev": "833c71ebb06ce32dd26bf36cccd0fdcbf4ef0f02", + "rev": "20977764c4022f4fb909b5560b66ed28303ebb61", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.143", + "ref": "v7.1.144", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 536bae56d..3cb5db40e 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.143"; + k-framework.url = "github:runtimeverification/k/v7.1.144"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 647babaaf2fa6478c7387e2a5c3d2954006c61ae Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 18 Sep 2024 19:26:39 +0000 Subject: [PATCH 14/29] deps/k_release: Set Version 7.1.145 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7db889e00..0fc5d288c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.144 +7.1.145 From 8aff9b5871185238a2f2c8d98633c5a9c88f417e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 18 Sep 2024 19:28:01 +0000 Subject: [PATCH 15/29] pykwasm/: sync poetry files 7.1.145 --- pykwasm/poetry.lock | 32 ++++++++++++++++---------------- pykwasm/pyproject.toml | 2 +- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 3b32b9c21..ddd366a82 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -391,18 +391,18 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.16.0" +version = "3.16.1" description = "A platform independent file lock." optional = false python-versions = ">=3.8" files = [ - {file = "filelock-3.16.0-py3-none-any.whl", hash = "sha256:f6ed4c963184f4c84dd5557ce8fece759a3724b37b80c6c4f20a2f63a4dc6609"}, - {file = "filelock-3.16.0.tar.gz", hash = "sha256:81de9eb8453c769b63369f87f11131a7ab04e367f8d97ad39dc230daa07e3bec"}, + {file = "filelock-3.16.1-py3-none-any.whl", hash = "sha256:2082e5703d51fbf98ea75855d9d5527e33d8ff23099bec374a134febee6946b0"}, + {file = "filelock-3.16.1.tar.gz", hash = "sha256:c249fbfcd5db47e5e2d6d62198e565475ee65e4831e2561c8e313fa7eb961435"}, ] [package.extras] -docs = ["furo (>=2024.8.6)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4)"] -testing = ["covdefaults (>=2.3)", "coverage (>=7.6.1)", "diff-cover (>=9.1.1)", "pytest (>=8.3.2)", "pytest-asyncio (>=0.24)", "pytest-cov (>=5)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.26.3)"] +docs = ["furo (>=2024.8.6)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4.1)"] +testing = ["covdefaults (>=2.3)", "coverage (>=7.6.1)", "diff-cover (>=9.2)", "pytest (>=8.3.3)", "pytest-asyncio (>=0.24)", "pytest-cov (>=5)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.26.4)"] typing = ["typing-extensions (>=4.12.2)"] [[package]] @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.144" +version = "7.1.145" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.144-py3-none-any.whl", hash = "sha256:523fa392b57511d8d97388f8b1169e9869307c6a1d7ad613baa1af498ed5f8dd"}, - {file = "kframework-7.1.144.tar.gz", hash = "sha256:79c3283edee51fe2ea8554235f6d33487b77b3a86ec92462b0ed637094e8f93b"}, + {file = "kframework-7.1.145-py3-none-any.whl", hash = "sha256:a9107a75d25906200db2510ccb931358b8b50eb5bbd0f60680d50ace994baa19"}, + {file = "kframework-7.1.145.tar.gz", hash = "sha256:2e6254450247ab79227fef430d3824076a377a8ec2a7648b8274c2e403d91938"}, ] [package.dependencies] @@ -845,13 +845,13 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.3.4" +version = "4.3.6" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.3.4-py3-none-any.whl", hash = "sha256:8b4ba85412f5065dae40aa19feaa02ac2be584c8b14abd70712b5cd11ad80034"}, - {file = "platformdirs-4.3.4.tar.gz", hash = "sha256:9e8a037c36fe1b1f1b5de4482e60464272cc8dca725e40b568bf2c285f7509cf"}, + {file = "platformdirs-4.3.6-py3-none-any.whl", hash = "sha256:73e575e1408ab8103900836b97580d5307456908a03e92031bab39e4554cc3fb"}, + {file = "platformdirs-4.3.6.tar.gz", hash = "sha256:357fb2acbc885b0419afd3ce3ed34564c13c9b95c89360cd9563f73aa5e2b907"}, ] [package.extras] @@ -991,17 +991,17 @@ files = [ [[package]] name = "pyreadline3" -version = "3.5.2" +version = "3.5.3" description = "A python implementation of GNU readline." optional = false python-versions = ">=3.8" files = [ - {file = "pyreadline3-3.5.2-py3-none-any.whl", hash = "sha256:a87d56791e2965b2b187e2ea33dcf664600842c997c0623c95cf8ef07db83de9"}, - {file = "pyreadline3-3.5.2.tar.gz", hash = "sha256:ba82292e52c5a3bb256b291af0c40b457c1e8699cac9a873abbcaac8aef3a1bb"}, + {file = "pyreadline3-3.5.3-py3-none-any.whl", hash = "sha256:ddede153a92e5aad9c1fe63d692efd6a3e478f686adcd4938a051ffb63ec4f52"}, + {file = "pyreadline3-3.5.3.tar.gz", hash = "sha256:9234684ca75a00a702fda42b17cc26ca665bc9d7c2da06af450468253099ff61"}, ] [package.extras] -dev = ["build", "flake8", "pytest", "twine"] +dev = ["build", "flake8", "mypy", "pytest", "twine"] [[package]] name = "pytest" @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "13edaa3aabbcae6a6313d3e10f2a1750edbda0eb57dd702014bed701b8e68969" +content-hash = "c579eb52f6fe4f2a672ae1ad171f231cc68da754ad510a323b5811fb0ab3a76d" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index caaf446af..50e15ee92 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.144" +kframework = "7.1.145" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 58bd9be78ff95feeb4e03e335e98e49675b18023 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 18 Sep 2024 19:28:08 +0000 Subject: [PATCH 16/29] 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 a7667c303..c915538e6 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726596173, - "narHash": "sha256-p1+A24jH70NwnNR2/DE08enhwzSkTs3AWDnleUFdV1c=", + "lastModified": 1726685098, + "narHash": "sha256-FVCrOS4IAlA08ZiYlmaSdrLoYFmSd7UFiJem/Zg2C8o=", "owner": "runtimeverification", "repo": "k", - "rev": "20977764c4022f4fb909b5560b66ed28303ebb61", + "rev": "c418935015dba62f29b9ada1a55b710126385ab6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.144", + "ref": "v7.1.145", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 3cb5db40e..a4e0c4a8e 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.144"; + k-framework.url = "github:runtimeverification/k/v7.1.145"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 324407b1d29bbf1293f5ca04b9b85c52cc71be4c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 19 Sep 2024 17:46:50 +0000 Subject: [PATCH 17/29] deps/k_release: Set Version 7.1.146 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0fc5d288c..d04d35626 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.145 +7.1.146 From bb1dd69d4daed05a140799c090b46868e7d3510e Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 19 Sep 2024 17:48:18 +0000 Subject: [PATCH 18/29] pykwasm/: sync poetry files 7.1.146 --- 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 ddd366a82..52994dc1d 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.145" +version = "7.1.146" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.145-py3-none-any.whl", hash = "sha256:a9107a75d25906200db2510ccb931358b8b50eb5bbd0f60680d50ace994baa19"}, - {file = "kframework-7.1.145.tar.gz", hash = "sha256:2e6254450247ab79227fef430d3824076a377a8ec2a7648b8274c2e403d91938"}, + {file = "kframework-7.1.146-py3-none-any.whl", hash = "sha256:a676df2f6b19088ce245679852ada1ae373bdd397dd004ca54e027e5dfc763ce"}, + {file = "kframework-7.1.146.tar.gz", hash = "sha256:cabfc115d353b87d5578608e9512d15b043972b68443b6e72ca95f4cf706043f"}, ] [package.dependencies] @@ -991,13 +991,13 @@ files = [ [[package]] name = "pyreadline3" -version = "3.5.3" +version = "3.5.4" description = "A python implementation of GNU readline." optional = false python-versions = ">=3.8" files = [ - {file = "pyreadline3-3.5.3-py3-none-any.whl", hash = "sha256:ddede153a92e5aad9c1fe63d692efd6a3e478f686adcd4938a051ffb63ec4f52"}, - {file = "pyreadline3-3.5.3.tar.gz", hash = "sha256:9234684ca75a00a702fda42b17cc26ca665bc9d7c2da06af450468253099ff61"}, + {file = "pyreadline3-3.5.4-py3-none-any.whl", hash = "sha256:eaf8e6cc3c49bcccf145fc6067ba8643d1df34d604a1ec0eccbf7a18e6d3fae6"}, + {file = "pyreadline3-3.5.4.tar.gz", hash = "sha256:8d57d53039a1c75adba8e50dd3d992b28143480816187ea5efbd5c78e6c885b7"}, ] [package.extras] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c579eb52f6fe4f2a672ae1ad171f231cc68da754ad510a323b5811fb0ab3a76d" +content-hash = "07d734fa5ee562ff9c21bd324b8fdb2d4490eff88a33b9a81ae21f9c439a4126" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 50e15ee92..20b8bffad 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.145" +kframework = "7.1.146" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From be10d093b59ce0d5b4d55a08c3d52f26cb428129 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 19 Sep 2024 17:48:23 +0000 Subject: [PATCH 19/29] 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 c915538e6..7c2db6f94 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726685098, - "narHash": "sha256-FVCrOS4IAlA08ZiYlmaSdrLoYFmSd7UFiJem/Zg2C8o=", + "lastModified": 1726765370, + "narHash": "sha256-vqXygwc34p7yslrsNxNAAbpfbiVn9Uu5c+lcKKnvYwY=", "owner": "runtimeverification", "repo": "k", - "rev": "c418935015dba62f29b9ada1a55b710126385ab6", + "rev": "93fcbf78a0587275c2641f9d30685a98297304cd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.145", + "ref": "v7.1.146", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1726098480, - "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=", + "lastModified": 1726682574, + "narHash": "sha256-7Ax/6SCgdhoLGtgBFnlj5mRSDqEgrY85pCPtiM+fGFU=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6", + "rev": "bf51ee42f74066ab3bb6ef9e8697d04fbee503fd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.88", + "ref": "v0.1.92", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index a4e0c4a8e..14475e0c1 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.145"; + k-framework.url = "github:runtimeverification/k/v7.1.146"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From f267cad1bfbc1d3a9ae9db5b61b22585dfa81170 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 01:53:53 +0000 Subject: [PATCH 20/29] deps/k_release: Set Version 7.1.147 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d04d35626..dde16bd0b 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.146 +7.1.147 From 55fbb6b366fc1f21a82fdf4890a5f76dd9789648 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 01:55:04 +0000 Subject: [PATCH 21/29] pykwasm/: sync poetry files 7.1.147 --- 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 52994dc1d..62883d72a 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.146" +version = "7.1.147" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.146-py3-none-any.whl", hash = "sha256:a676df2f6b19088ce245679852ada1ae373bdd397dd004ca54e027e5dfc763ce"}, - {file = "kframework-7.1.146.tar.gz", hash = "sha256:cabfc115d353b87d5578608e9512d15b043972b68443b6e72ca95f4cf706043f"}, + {file = "kframework-7.1.147-py3-none-any.whl", hash = "sha256:b515531a21fad6ac8ddd34b8525598c193777be4fbd5f02b2d0b295c158b9314"}, + {file = "kframework-7.1.147.tar.gz", hash = "sha256:94234f9778a2273fcfafeb5ba93d4e440c22e863a66adf3bb3c05b582ccb728b"}, ] [package.dependencies] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "07d734fa5ee562ff9c21bd324b8fdb2d4490eff88a33b9a81ae21f9c439a4126" +content-hash = "a08eccec54dd680df80856a9e682ee4e80ab44662558fca16ecc124b8d5310ed" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 20b8bffad..ef4a9d356 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.146" +kframework = "7.1.147" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From bc0b75f82ba82c023ae3e509c85b3b0df1228ff0 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 01:55:08 +0000 Subject: [PATCH 22/29] 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 7c2db6f94..22f7a430f 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726765370, - "narHash": "sha256-vqXygwc34p7yslrsNxNAAbpfbiVn9Uu5c+lcKKnvYwY=", + "lastModified": 1726794013, + "narHash": "sha256-5itEbqOnlC+6t4LetOQO5jhbBoQQ9E5Y36ToexSnLN8=", "owner": "runtimeverification", "repo": "k", - "rev": "93fcbf78a0587275c2641f9d30685a98297304cd", + "rev": "c2780666a1f9ee11df2f2693e2ee9408670a4ccc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.146", + "ref": "v7.1.147", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 14475e0c1..60231550c 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.146"; + k-framework.url = "github:runtimeverification/k/v7.1.147"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From beb984a491701c7557e5d2a6496fb43de44dbff4 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 20:43:35 +0000 Subject: [PATCH 23/29] deps/k_release: Set Version 7.1.148 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index dde16bd0b..c41da9065 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.147 +7.1.148 From 11debe3326ee3e7ccedb110c3fcd6b6659820e48 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 20:44:47 +0000 Subject: [PATCH 24/29] pykwasm/: sync poetry files 7.1.148 --- 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 62883d72a..6d33a0c33 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.147" +version = "7.1.148" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.147-py3-none-any.whl", hash = "sha256:b515531a21fad6ac8ddd34b8525598c193777be4fbd5f02b2d0b295c158b9314"}, - {file = "kframework-7.1.147.tar.gz", hash = "sha256:94234f9778a2273fcfafeb5ba93d4e440c22e863a66adf3bb3c05b582ccb728b"}, + {file = "kframework-7.1.148-py3-none-any.whl", hash = "sha256:6db2fc478c5c2a248a1f9fb9c91140deebf21a1db5e200f215371b727c512265"}, + {file = "kframework-7.1.148.tar.gz", hash = "sha256:c6c49c5e70b9a4d3684920f1616fc1e8ef4a248c2bb0a2fb462c6b9753a69bdc"}, ] [package.dependencies] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a08eccec54dd680df80856a9e682ee4e80ab44662558fca16ecc124b8d5310ed" +content-hash = "e44ad76b033230c98b700deee8b518e85c389d098e24081b28da130579e4ea1f" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index ef4a9d356..28fc0f861 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.147" +kframework = "7.1.148" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From 70cf7984e74c682258f05808ade43a36f77f7e97 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 20 Sep 2024 20:44:52 +0000 Subject: [PATCH 25/29] 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 22f7a430f..c51ec01be 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726794013, - "narHash": "sha256-5itEbqOnlC+6t4LetOQO5jhbBoQQ9E5Y36ToexSnLN8=", + "lastModified": 1726862586, + "narHash": "sha256-ipv+2TrqL5pGBhFq2xOf4B1HjSAvntIJoX6qjXOyNqM=", "owner": "runtimeverification", "repo": "k", - "rev": "c2780666a1f9ee11df2f2693e2ee9408670a4ccc", + "rev": "a44767b7d045d201b0246bd76ebe07d81f402a3b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.147", + "ref": "v7.1.148", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1726682574, - "narHash": "sha256-7Ax/6SCgdhoLGtgBFnlj5mRSDqEgrY85pCPtiM+fGFU=", + "lastModified": 1726776150, + "narHash": "sha256-A4OX0ZV4/AS+tztmLG52v/ayMV43WscbF6lLKOaoPrw=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "bf51ee42f74066ab3bb6ef9e8697d04fbee503fd", + "rev": "c023bc5eb734c1718243d66613044e895e8fcf7e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.92", + "ref": "v0.1.94", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 60231550c..1ff2a0502 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.147"; + k-framework.url = "github:runtimeverification/k/v7.1.148"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 00a67c2694fe5e9758d5b44acd42c42aaff5af95 Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 22 Sep 2024 01:14:05 +0000 Subject: [PATCH 26/29] deps/k_release: Set Version 7.1.149 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c41da9065..acf79a8b2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.148 +7.1.149 From 1018c6d36a64e96a2476a54c94895649b7a03d6e Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 22 Sep 2024 01:15:26 +0000 Subject: [PATCH 27/29] pykwasm/: sync poetry files 7.1.149 --- 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 6d33a0c33..41f50582a 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -595,13 +595,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.148" +version = "7.1.149" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.148-py3-none-any.whl", hash = "sha256:6db2fc478c5c2a248a1f9fb9c91140deebf21a1db5e200f215371b727c512265"}, - {file = "kframework-7.1.148.tar.gz", hash = "sha256:c6c49c5e70b9a4d3684920f1616fc1e8ef4a248c2bb0a2fb462c6b9753a69bdc"}, + {file = "kframework-7.1.149-py3-none-any.whl", hash = "sha256:2999608dd3a62556145c0e59608abde14812289b930fad44854ede3a3101c995"}, + {file = "kframework-7.1.149.tar.gz", hash = "sha256:dff520a7478a02fc9cbb041b379cc8a1a06fb6557bd1dbd1df0fb6f8d9f20f46"}, ] [package.dependencies] @@ -1265,4 +1265,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e44ad76b033230c98b700deee8b518e85c389d098e24081b28da130579e4ea1f" +content-hash = "1e3640ccbb3738523e0b76fa6b856eaad04b67049588e1b25e4a20244f9720f6" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 28fc0f861..a4f1dd7f8 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.148" +kframework = "7.1.149" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies] From e15383227c755e7b7fbe476366b481f997e6da1f Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 22 Sep 2024 01:15:31 +0000 Subject: [PATCH 28/29] 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 c51ec01be..8d561906d 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1726862586, - "narHash": "sha256-ipv+2TrqL5pGBhFq2xOf4B1HjSAvntIJoX6qjXOyNqM=", + "lastModified": 1726963552, + "narHash": "sha256-01rb87Oc9cDh1MinneK/c96DbdQMVwnym9uYz1gKec4=", "owner": "runtimeverification", "repo": "k", - "rev": "a44767b7d045d201b0246bd76ebe07d81f402a3b", + "rev": "7e06a35da4f5f757a8373c6cbf83e86f492bc75a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.148", + "ref": "v7.1.149", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 1ff2a0502..f404f2ad5 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.148"; + k-framework.url = "github:runtimeverification/k/v7.1.149"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; From 74f3fa8ed86be7b1c4cd6882fc6b2937c9c632d1 Mon Sep 17 00:00:00 2001 From: Dwight Guth Date: Fri, 20 Sep 2024 12:37:38 -0500 Subject: [PATCH 29/29] add missing attributes to List modules --- pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k | 2 +- pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k index e97ead1a7..8606e0f33 100644 --- a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k +++ b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k @@ -12,7 +12,7 @@ module LIST-INT [ left, function, total, hook(LIST.concat), symbol(_ListInt_), smtlib(smt_seq_concat), assoc, unit(.ListInt), element(ListIntItem), - format(%1%n%2) + format(%1%n%2), update(ListInt:set) ] syntax ListInt ::= ".ListInt" [ function, total, hook(LIST.unit), symbol(.ListInt), diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k index 6aecad8f3..d2e8192e7 100644 --- a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k +++ b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k @@ -12,7 +12,7 @@ module LIST-REF [ left, function, total, hook(LIST.concat), symbol(_ListRef_), smtlib(smt_seq_concat), assoc, unit(.ListRef), element(ListRefItem), - format(%1%n%2) + format(%1%n%2), update(ListRef:set) ] syntax ListRef ::= ".ListRef" [ function, total, hook(LIST.unit), symbol(.ListRef),