From bd46244e3fc204d08b1434311333acb2adb35146 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 24 Jul 2024 10:27:42 +0000 Subject: [PATCH 01/18] deps/mx-semantics_release: Set Version 0.1.101 --- deps/mx-semantics_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 71fb8a1c..3234805d 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.100 +0.1.101 From 293e3c663048b5c16927b8b078a0bf960e77f9af Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 24 Jul 2024 10:27:57 +0000 Subject: [PATCH 02/18] Set Version: 0.1.78 --- kmxwasm/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 008882bf..fc8063a0 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmxwasm" -version = "0.1.77" +version = "0.1.78" description = "Symbolic execution for the MultiversX blockchain with the Wasm semantics, using pyk." authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 1f7a170d..59057fc2 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.77 +0.1.78 From 18c6bc77c2b1add6b9953404c271b1116918110d Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 24 Jul 2024 10:29:56 +0000 Subject: [PATCH 03/18] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files --- kmxwasm/poetry.lock | 14 +++++++------- kmxwasm/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index 7b930592..8b72f205 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -501,13 +501,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.0.0" +version = "8.1.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, - {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, + {file = "importlib_metadata-8.1.0-py3-none-any.whl", hash = "sha256:3cd29f739ed65973840b068e3132135ce954c254d48b5b640484467ef7ab3c8c"}, + {file = "importlib_metadata-8.1.0.tar.gz", hash = "sha256:fcdcb1d5ead7bdf3dd32657bb94ebe9d2aabfe89a19782ddc32da5041d6ebfb4"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.100" +version = "0.1.101" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -585,8 +585,8 @@ pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", ta [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.100" -resolved_reference = "be78362547dbfdd7573a55bc3204cd011ae9f155" +reference = "v0.1.101" +resolved_reference = "bf86434b3957f80fa309bc18fdc1068a547b2532" subdirectory = "kmultiversx" [[package]] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "9d30c0807d362f9de084769f765518e0960e4cb34abaff1bde67c7059562e243" +content-hash = "fba011159a31760242dddaacb95a1c2b9383f5252a6e1b85683afcc1da1f1754" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index fc8063a0..15482a62 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.100", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.101", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 945df2c2daf3fa1497351b40546e4a4fcd136d3b Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 24 Jul 2024 10:30:34 +0000 Subject: [PATCH 04/18] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/flake.lock b/flake.lock index f583dd97..1ad95e2e 100644 --- a/flake.lock +++ b/flake.lock @@ -36,17 +36,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1720022499, - "narHash": "sha256-sDQjr//zKKbBVIHcFg8L6Fmd51IJza5OxHcdMek7olI=", + "lastModified": 1721811676, + "narHash": "sha256-aqbA8y9/bA6UchvVW36hQRfNiojsJ+jg9nbLHw2cS+o=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "b24fa372ca127d51cdc185e431d0ccf471980c04", + "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "b24fa372ca127d51cdc185e431d0ccf471980c04", + "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11", "type": "github" } }, @@ -853,16 +853,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1721683432, - "narHash": "sha256-/CY/2F8mWA6O7n7GZw2Rk6i8ccqve4NQYkvBBau/BKQ=", + "lastModified": 1721816808, + "narHash": "sha256-j0kBi2NONI0sYtTaa9ELMxq3ZjJuQDNUKLBDkULyYEc=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "be78362547dbfdd7573a55bc3204cd011ae9f155", + "rev": "bf86434b3957f80fa309bc18fdc1068a547b2532", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.100", + "ref": "v0.1.101", "repo": "mx-semantics", "type": "github" } @@ -1519,11 +1519,11 @@ ] }, "locked": { - "lastModified": 1721614891, - "narHash": "sha256-1yGOh8w/yhWAZ2NJR9N/shQ1tx2n9fmGe0XrDE00i9U=", + "lastModified": 1721810656, + "narHash": "sha256-33UCMmgPL+sz06+iupNkl99hcBABP56ENcxSoKqr0TY=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "424a759557ed4c01cf9dbbf79a714150d64a90ad", + "rev": "a6afdaab4a47d6ecf647a74968e92a51c4a18e5a", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index d04c55a0..97ff4de7 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.100"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.101"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; From abfd03a81f8f9e76f2efd502a4e83f87ecf50d25 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 09:25:51 +0000 Subject: [PATCH 05/18] deps/mx-semantics_release: Set Version 0.1.102 --- deps/mx-semantics_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 3234805d..91c96fdf 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.101 +0.1.102 From bd10345ed513781b0c27a7f02594dccdaeb754ab Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 09:28:17 +0000 Subject: [PATCH 06/18] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files --- kmxwasm/poetry.lock | 20 ++++++++++---------- kmxwasm/pyproject.toml | 2 +- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index 8b72f205..62e90aea 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -501,13 +501,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.1.0" +version = "8.2.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.1.0-py3-none-any.whl", hash = "sha256:3cd29f739ed65973840b068e3132135ce954c254d48b5b640484467ef7ab3c8c"}, - {file = "importlib_metadata-8.1.0.tar.gz", hash = "sha256:fcdcb1d5ead7bdf3dd32657bb94ebe9d2aabfe89a19782ddc32da5041d6ebfb4"}, + {file = "importlib_metadata-8.2.0-py3-none-any.whl", hash = "sha256:11901fa0c2f97919b288679932bb64febaeacf289d18ac84dd68cb2e74213369"}, + {file = "importlib_metadata-8.2.0.tar.gz", hash = "sha256:72e8d4399996132204f9a16dcc751af254a48f8d1b20b9ff0f98d4a8f901e73d"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.101" +version = "0.1.102" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -585,8 +585,8 @@ pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", ta [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.101" -resolved_reference = "bf86434b3957f80fa309bc18fdc1068a547b2532" +reference = "v0.1.102" +resolved_reference = "b68f34001df2c47280c129ea97d2ee393ee5add8" subdirectory = "kmultiversx" [[package]] @@ -1035,13 +1035,13 @@ files = [ [[package]] name = "pytest" -version = "8.3.1" +version = "8.3.2" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.3.1-py3-none-any.whl", hash = "sha256:e9600ccf4f563976e2c99fa02c7624ab938296551f280835ee6516df8bc4ae8c"}, - {file = "pytest-8.3.1.tar.gz", hash = "sha256:7e8e5c5abd6e93cb1cc151f23e57adc31fcf8cfd2a3ff2da63e23f732de35db6"}, + {file = "pytest-8.3.2-py3-none-any.whl", hash = "sha256:4ba08f9ae7dcf84ded419494d229b48d0903ea6407b030eaec46df5e6a73bba5"}, + {file = "pytest-8.3.2.tar.gz", hash = "sha256:c132345d12ce551242c87269de812483f5bcc87cdbb4722e48487ba194f9fdce"}, ] [package.dependencies] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "fba011159a31760242dddaacb95a1c2b9383f5252a6e1b85683afcc1da1f1754" +content-hash = "3858426322677213e61a6f5bb2d99a43b42e41038f04b980bb13ec1cc3ffd002" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 15482a62..41655398 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.101", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.102", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" From a37b39defdc39703461bdaa6add65560f1999fa1 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 09:28:57 +0000 Subject: [PATCH 07/18] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/flake.lock b/flake.lock index 1ad95e2e..bfbbf79b 100644 --- a/flake.lock +++ b/flake.lock @@ -36,17 +36,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1721811676, - "narHash": "sha256-aqbA8y9/bA6UchvVW36hQRfNiojsJ+jg9nbLHw2cS+o=", + "lastModified": 1721856182, + "narHash": "sha256-JlaAOJ5MnoTsJI6w5glPOeUZ0O5rJvXndUMdBejK3ls=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11", + "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11", + "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", "type": "github" } }, @@ -853,16 +853,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1721816808, - "narHash": "sha256-j0kBi2NONI0sYtTaa9ELMxq3ZjJuQDNUKLBDkULyYEc=", + "lastModified": 1721985897, + "narHash": "sha256-39jMiHRASDrqjP8UTiBs2kcI6W5Pb+LYb5i20Xrxg3Y=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "bf86434b3957f80fa309bc18fdc1068a547b2532", + "rev": "b68f34001df2c47280c129ea97d2ee393ee5add8", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.101", + "ref": "v0.1.102", "repo": "mx-semantics", "type": "github" } @@ -1519,11 +1519,11 @@ ] }, "locked": { - "lastModified": 1721810656, - "narHash": "sha256-33UCMmgPL+sz06+iupNkl99hcBABP56ENcxSoKqr0TY=", + "lastModified": 1721960387, + "narHash": "sha256-o21ax+745ETGXrcgc/yUuLw1SI77ymp3xEpJt+w/kks=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "a6afdaab4a47d6ecf647a74968e92a51c4a18e5a", + "rev": "9cbf831c5b20a53354fc12758abd05966f9f1699", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 97ff4de7..3e1f8591 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.101"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.102"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; From 4bbcf50281e85ce62d90f9f475ddc2aac72e7f21 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 15:03:09 +0000 Subject: [PATCH 08/18] deps/mx-semantics_release: Set Version 0.1.103 --- deps/mx-semantics_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 91c96fdf..5950146b 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.102 +0.1.103 From 50d68240b91de7e850dd73bd526efe6d45d23a54 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 15:05:26 +0000 Subject: [PATCH 09/18] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files --- kmxwasm/poetry.lock | 24 ++++++++++++------------ kmxwasm/pyproject.toml | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index 62e90aea..49acc1eb 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -545,13 +545,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.72" +version = "7.1.83" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, - {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, + {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, + {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.102" +version = "0.1.103" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -580,13 +580,13 @@ develop = false exceptiongroup = "==1.2.1" hypothesis = "^6.82.6" pycryptodomex = "^3.18.0" -pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.90", subdirectory = "pykwasm"} +pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm"} [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.102" -resolved_reference = "b68f34001df2c47280c129ea97d2ee393ee5add8" +reference = "v0.1.103" +resolved_reference = "a7371e5d242436ac7b6dacc49968abaa48325bcf" subdirectory = "kmultiversx" [[package]] @@ -992,7 +992,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.90" +version = "0.1.94" description = "" optional = false python-versions = "^3.10" @@ -1001,15 +1001,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.72" +kframework = "7.1.83" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.90" -resolved_reference = "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783" +reference = "v0.1.94" +resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" subdirectory = "pykwasm" [[package]] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "3858426322677213e61a6f5bb2d99a43b42e41038f04b980bb13ec1cc3ffd002" +content-hash = "005be6e14fe5c9632a6eb385f8f876516fcef38dc58585cbb0918e6f12be11ab" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 41655398..64dd7bdc 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.102", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.103", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" From bb5e16eed9b1286c4fd9129e9cc5a183732b8fef Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 15:05:27 +0000 Subject: [PATCH 10/18] deps/k_release: sync release file version 7.1.83 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 058f28c2..a6190e48 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.72 +7.1.83 From 503239195d54024916a973e9e0c42bd18e087dc4 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 15:06:03 +0000 Subject: [PATCH 11/18] flake.{nix,lock}: update Nix derivations --- flake.lock | 104 ++++++++++++++++++++++++++--------------------------- flake.nix | 6 ++-- 2 files changed, 55 insertions(+), 55 deletions(-) diff --git a/flake.lock b/flake.lock index bfbbf79b..d9fe3039 100644 --- a/flake.lock +++ b/flake.lock @@ -380,16 +380,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1721316629, - "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "lastModified": 1721890597, + "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.46", + "ref": "v0.1.48", "repo": "haskell-backend", "type": "github" } @@ -412,16 +412,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1721316629, - "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "lastModified": 1721890597, + "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.46", + "ref": "v0.1.48", "repo": "haskell-backend", "type": "github" } @@ -446,16 +446,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1721316629, - "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "lastModified": 1721890597, + "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.46", + "ref": "v0.1.48", "repo": "haskell-backend", "type": "github" } @@ -533,16 +533,16 @@ ] }, "locked": { - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -572,16 +572,16 @@ ] }, "locked": { - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -614,16 +614,16 @@ ] }, "locked": { - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -662,16 +662,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } @@ -694,16 +694,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } @@ -727,16 +727,16 @@ "utils": "utils_3" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } @@ -853,16 +853,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1721985897, - "narHash": "sha256-39jMiHRASDrqjP8UTiBs2kcI6W5Pb+LYb5i20Xrxg3Y=", + "lastModified": 1722006139, + "narHash": "sha256-6vh21D1d+QBP5j3XcbNLIQnyRkNYrXjV8IM0ZwgWZso=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "b68f34001df2c47280c129ea97d2ee393ee5add8", + "rev": "a7371e5d242436ac7b6dacc49968abaa48325bcf", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.102", + "ref": "v0.1.103", "repo": "mx-semantics", "type": "github" } @@ -1332,17 +1332,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -1364,17 +1364,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -2138,16 +2138,16 @@ ] }, "locked": { - "lastModified": 1721679966, - "narHash": "sha256-7edxmlZgr2BORHeRKRe9NVIbq4yhFc6SDV5qGY0ClU8=", + "lastModified": 1722003932, + "narHash": "sha256-NmAEThTFqPHV4H2O00ze2ii2I8gAGU3JQK9x6qSK8HY=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783", + "rev": "2344e9c97d259acf810c64497c0e7367bcc058b4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.90", + "ref": "v0.1.94", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 3e1f8591..2e87991c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk."; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.72"; - pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk"; + k-framework.url = "github:runtimeverification/k/v7.1.83"; + pyk.url = "github:runtimeverification/k/v7.1.83?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.102"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.103"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; From 940edacc70c1a9d731ba0be2068848bc9670724b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 18:28:28 +0000 Subject: [PATCH 12/18] deps/mx-semantics_release: Set Version 0.1.104 --- deps/mx-semantics_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 5950146b..7c6c565c 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.103 +0.1.104 From 03c94f9c17e497fbac914d4aacf8ac8f1cf13783 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 18:30:27 +0000 Subject: [PATCH 13/18] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files --- kmxwasm/poetry.lock | 8 ++++---- kmxwasm/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index 49acc1eb..8c6b3277 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.103" +version = "0.1.104" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -585,8 +585,8 @@ pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", ta [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.103" -resolved_reference = "a7371e5d242436ac7b6dacc49968abaa48325bcf" +reference = "v0.1.104" +resolved_reference = "904b231ad1e33d5c832e98ff945e4026a1e67f68" subdirectory = "kmultiversx" [[package]] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "005be6e14fe5c9632a6eb385f8f876516fcef38dc58585cbb0918e6f12be11ab" +content-hash = "fffe08402ecadbcccc69e3317782e6ba673287d7a2f057aa2b4267464331fac2" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 64dd7bdc..1bf4d1f6 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.103", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.104", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" From ef20f8831fb263663289bf10e4565f34b6336674 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 18:31:05 +0000 Subject: [PATCH 14/18] flake.{nix,lock}: update Nix derivations --- flake.lock | 517 ++++++++++++++++++++++++++++++++++++++++++++++++----- flake.nix | 2 +- 2 files changed, 474 insertions(+), 45 deletions(-) diff --git a/flake.lock b/flake.lock index d9fe3039..1ada33d4 100644 --- a/flake.lock +++ b/flake.lock @@ -27,26 +27,39 @@ "k-framework", "flake-utils" ], + "k-framework": "k-framework_2", "libff": "libff", "nixpkgs": [ "mx-semantics", "k-framework", "nixpkgs" ], + "poetry2nix": [ + "mx-semantics", + "blockchain-k-plugin", + "k-framework", + "poetry2nix" + ], + "rv-utils": [ + "mx-semantics", + "blockchain-k-plugin", + "k-framework", + "rv-utils" + ], "xbyak": "xbyak" }, "locked": { - "lastModified": 1721856182, - "narHash": "sha256-JlaAOJ5MnoTsJI6w5glPOeUZ0O5rJvXndUMdBejK3ls=", + "lastModified": 1722014632, + "narHash": "sha256-/oOXPQPb877r6lgpLN3kD7xQJZ7xU8hHKteIG2qlq7I=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", + "rev": "f8a93660317c377fc7a16b3d49b0518892354a28", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", + "rev": "f8a93660317c377fc7a16b3d49b0518892354a28", "type": "github" } }, @@ -187,6 +200,22 @@ "type": "github" } }, + "flake-compat_5": { + "flake": false, + "locked": { + "lastModified": 1696426674, + "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, "flake-utils": { "inputs": { "systems": "systems_2" @@ -261,7 +290,7 @@ }, "flake-utils_5": { "inputs": { - "systems": "systems_9" + "systems": "systems_10" }, "locked": { "lastModified": 1694529238, @@ -297,7 +326,25 @@ }, "flake-utils_7": { "inputs": { - "systems": "systems_14" + "systems": "systems_15" + }, + "locked": { + "lastModified": 1694529238, + "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_8": { + "inputs": { + "systems": "systems_17" }, "locked": { "lastModified": 1694529238, @@ -364,6 +411,23 @@ "type": "github" } }, + "fmt-src_4": { + "flake": false, + "locked": { + "lastModified": 1661615830, + "narHash": "sha256-rP6ymyRc7LnKxUXwPpzhHOQvpJkpnRFOt2ctvUNlYI0=", + "owner": "fmtlib", + "repo": "fmt", + "rev": "a33701196adfad74917046096bf5a2aa0ab0bb50", + "type": "github" + }, + "original": { + "owner": "fmtlib", + "ref": "9.1.0", + "repo": "fmt", + "type": "github" + } + }, "haskell-backend": { "inputs": { "nixpkgs": [ @@ -398,12 +462,14 @@ "inputs": { "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" ], "rv-utils": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "rv-utils" @@ -411,6 +477,38 @@ "stacklock2nix": "stacklock2nix_2", "z3": "z3_2" }, + "locked": { + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", + "owner": "runtimeverification", + "repo": "haskell-backend", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v0.1.49", + "repo": "haskell-backend", + "type": "github" + } + }, + "haskell-backend_3": { + "inputs": { + "nixpkgs": [ + "mx-semantics", + "k-framework", + "llvm-backend", + "nixpkgs" + ], + "rv-utils": [ + "mx-semantics", + "k-framework", + "llvm-backend", + "rv-utils" + ], + "stacklock2nix": "stacklock2nix_3", + "z3": "z3_3" + }, "locked": { "lastModified": 1721890597, "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", @@ -426,7 +524,7 @@ "type": "github" } }, - "haskell-backend_3": { + "haskell-backend_4": { "inputs": { "nixpkgs": [ "mx-semantics", @@ -442,8 +540,8 @@ "llvm-backend", "rv-utils" ], - "stacklock2nix": "stacklock2nix_3", - "z3": "z3_3" + "stacklock2nix": "stacklock2nix_4", + "z3": "z3_4" }, "locked": { "lastModified": 1721890597, @@ -511,6 +609,23 @@ "type": "github" } }, + "immer-src_4": { + "flake": false, + "locked": { + "lastModified": 1708038459, + "narHash": "sha256-aV/mQFuPzioy1PxROc85ypeP7/d0nn+xcBPzy9taw2s=", + "owner": "runtimeverification", + "repo": "immer", + "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "repo": "immer", + "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb", + "type": "github" + } + }, "k-framework": { "inputs": { "flake-utils": [ @@ -551,6 +666,7 @@ "inputs": { "flake-utils": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "utils" @@ -559,11 +675,52 @@ "llvm-backend": "llvm-backend_2", "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" ], "poetry2nix": "poetry2nix_2", + "rv-utils": [ + "mx-semantics", + "blockchain-k-plugin", + "k-framework", + "llvm-backend", + "rv-utils" + ] + }, + "locked": { + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", + "owner": "runtimeverification", + "repo": "k", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v7.1.85", + "repo": "k", + "type": "github" + } + }, + "k-framework_3": { + "inputs": { + "flake-utils": [ + "mx-semantics", + "k-framework", + "llvm-backend", + "utils" + ], + "haskell-backend": "haskell-backend_3", + "llvm-backend": "llvm-backend_3", + "nixpkgs": [ + "mx-semantics", + "k-framework", + "llvm-backend", + "nixpkgs" + ], + "poetry2nix": "poetry2nix_3", "rv-utils": [ "mx-semantics", "k-framework", @@ -586,7 +743,7 @@ "type": "github" } }, - "k-framework_3": { + "k-framework_4": { "inputs": { "flake-utils": [ "mx-semantics", @@ -595,8 +752,8 @@ "llvm-backend", "utils" ], - "haskell-backend": "haskell-backend_3", - "llvm-backend": "llvm-backend_3", + "haskell-backend": "haskell-backend_4", + "llvm-backend": "llvm-backend_4", "nixpkgs": [ "mx-semantics", "wasm-semantics", @@ -604,7 +761,7 @@ "llvm-backend", "nixpkgs" ], - "poetry2nix": "poetry2nix_4", + "poetry2nix": "poetry2nix_5", "rv-utils": [ "mx-semantics", "wasm-semantics", @@ -683,6 +840,7 @@ "immer-src": "immer-src_2", "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "rv-utils", @@ -715,7 +873,6 @@ "immer-src": "immer-src_3", "nixpkgs": [ "mx-semantics", - "wasm-semantics", "k-framework", "llvm-backend", "rv-utils", @@ -723,7 +880,7 @@ ], "pybind11-src": "pybind11-src_3", "rapidjson-src": "rapidjson-src_3", - "rv-utils": "rv-utils_6", + "rv-utils": "rv-utils_4", "utils": "utils_3" }, "locked": { @@ -741,6 +898,39 @@ "type": "github" } }, + "llvm-backend_4": { + "inputs": { + "flake-compat": "flake-compat_5", + "fmt-src": "fmt-src_4", + "immer-src": "immer-src_4", + "nixpkgs": [ + "mx-semantics", + "wasm-semantics", + "k-framework", + "llvm-backend", + "rv-utils", + "nixpkgs" + ], + "pybind11-src": "pybind11-src_4", + "rapidjson-src": "rapidjson-src_4", + "rv-utils": "rv-utils_7", + "utils": "utils_4" + }, + "locked": { + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", + "owner": "runtimeverification", + "repo": "llvm-backend", + "rev": "79011fff66455dd451d39821534bd58f5468227b", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v0.1.64", + "repo": "llvm-backend", + "type": "github" + } + }, "mx-exchange-sc-src": { "flake": false, "locked": { @@ -832,7 +1022,7 @@ "k-framework", "flake-utils" ], - "k-framework": "k-framework_2", + "k-framework": "k-framework_3", "nixpkgs": [ "mx-semantics", "k-framework", @@ -849,20 +1039,20 @@ "poetry2nix" ], "pyk": "pyk", - "rv-utils": "rv-utils_5", + "rv-utils": "rv-utils_6", "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1722006139, - "narHash": "sha256-6vh21D1d+QBP5j3XcbNLIQnyRkNYrXjV8IM0ZwgWZso=", + "lastModified": 1722018442, + "narHash": "sha256-oby1zxpth7xq5nxArOosh6nTWG8ofpXGF5gc9icUrpI=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "a7371e5d242436ac7b6dacc49968abaa48325bcf", + "rev": "904b231ad1e33d5c832e98ff945e4026a1e67f68", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.103", + "ref": "v0.1.104", "repo": "mx-semantics", "type": "github" } @@ -893,6 +1083,7 @@ "inputs": { "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "poetry2nix", "nixpkgs" @@ -916,7 +1107,7 @@ "inputs": { "nixpkgs": [ "mx-semantics", - "pyk", + "k-framework", "poetry2nix", "nixpkgs" ] @@ -936,6 +1127,29 @@ } }, "nix-github-actions_4": { + "inputs": { + "nixpkgs": [ + "mx-semantics", + "pyk", + "poetry2nix", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1693660503, + "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=", + "owner": "nix-community", + "repo": "nix-github-actions", + "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0", + "type": "github" + }, + "original": { + "owner": "nix-community", + "repo": "nix-github-actions", + "type": "github" + } + }, + "nix-github-actions_5": { "inputs": { "nixpkgs": [ "mx-semantics", @@ -959,7 +1173,7 @@ "type": "github" } }, - "nix-github-actions_5": { + "nix-github-actions_6": { "inputs": { "nixpkgs": [ "pyk", @@ -997,6 +1211,22 @@ "type": "github" } }, + "nixpkgs_10": { + "locked": { + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", + "type": "github" + }, + "original": { + "owner": "nixos", + "repo": "nixpkgs", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", + "type": "github" + } + }, "nixpkgs_2": { "locked": { "lastModified": 1705099185, @@ -1158,6 +1388,7 @@ "nix-github-actions": "nix-github-actions_2", "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" @@ -1186,10 +1417,11 @@ "nix-github-actions": "nix-github-actions_3", "nixpkgs": [ "mx-semantics", - "pyk", + "k-framework", + "llvm-backend", "nixpkgs" ], - "systems": "systems_10", + "systems": "systems_11", "treefmt-nix": "treefmt-nix_3" }, "locked": { @@ -1213,9 +1445,7 @@ "nix-github-actions": "nix-github-actions_4", "nixpkgs": [ "mx-semantics", - "wasm-semantics", - "k-framework", - "llvm-backend", + "pyk", "nixpkgs" ], "systems": "systems_13", @@ -1241,10 +1471,13 @@ "flake-utils": "flake-utils_7", "nix-github-actions": "nix-github-actions_5", "nixpkgs": [ - "pyk", + "mx-semantics", + "wasm-semantics", + "k-framework", + "llvm-backend", "nixpkgs" ], - "systems": "systems_15", + "systems": "systems_16", "treefmt-nix": "treefmt-nix_5" }, "locked": { @@ -1262,6 +1495,32 @@ "type": "github" } }, + "poetry2nix_6": { + "inputs": { + "flake-utils": "flake-utils_8", + "nix-github-actions": "nix-github-actions_6", + "nixpkgs": [ + "pyk", + "nixpkgs" + ], + "systems": "systems_18", + "treefmt-nix": "treefmt-nix_6" + }, + "locked": { + "lastModified": 1698640399, + "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "owner": "nix-community", + "repo": "poetry2nix", + "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "type": "github" + }, + "original": { + "owner": "nix-community", + "repo": "poetry2nix", + "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "type": "github" + } + }, "pybind11-src": { "flake": false, "locked": { @@ -1313,6 +1572,23 @@ "type": "github" } }, + "pybind11-src_4": { + "flake": false, + "locked": { + "lastModified": 1657936673, + "narHash": "sha256-/X8DZPFsNrKGbhjZ1GFOj17/NU6p4R+saCW3pLKVNeA=", + "owner": "pybind", + "repo": "pybind11", + "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c", + "type": "github" + }, + "original": { + "owner": "pybind", + "repo": "pybind11", + "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c", + "type": "github" + } + }, "pyk": { "inputs": { "flake-utils": [ @@ -1327,8 +1603,8 @@ "rv-utils", "nixpkgs" ], - "poetry2nix": "poetry2nix_3", - "rv-utils": "rv-utils_4" + "poetry2nix": "poetry2nix_4", + "rv-utils": "rv-utils_5" }, "locked": { "dir": "pyk", @@ -1359,8 +1635,8 @@ "rv-utils", "nixpkgs" ], - "poetry2nix": "poetry2nix_5", - "rv-utils": "rv-utils_7" + "poetry2nix": "poetry2nix_6", + "rv-utils": "rv-utils_8" }, "locked": { "dir": "pyk", @@ -1430,6 +1706,23 @@ "type": "github" } }, + "rapidjson-src_4": { + "flake": false, + "locked": { + "lastModified": 1472111945, + "narHash": "sha256-SxUXSOQDZ0/3zlFI4R84J56/1fkw2jhge4mexNF6Pco=", + "owner": "Tencent", + "repo": "rapidjson", + "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51", + "type": "github" + }, + "original": { + "owner": "Tencent", + "repo": "rapidjson", + "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51", + "type": "github" + } + }, "root": { "inputs": { "blockchain-k-plugin": [ @@ -1460,7 +1753,7 @@ ], "pyk": "pyk_2", "rust-overlay": "rust-overlay_3", - "rv-utils": "rv-utils_8" + "rv-utils": "rv-utils_9" } }, "rust-overlay": { @@ -1676,6 +1969,24 @@ "type": "github" } }, + "rv-utils_9": { + "inputs": { + "nixpkgs": "nixpkgs_10" + }, + "locked": { + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "type": "github" + } + }, "stacklock2nix": { "locked": { "lastModified": 1705051190, @@ -1721,6 +2032,21 @@ "type": "github" } }, + "stacklock2nix_4": { + "locked": { + "lastModified": 1705051190, + "narHash": "sha256-xgH0gaD3dNtOzZzX3A40hZTiHJP5cIGmifbmfcS2OGI=", + "owner": "cdepillabout", + "repo": "stacklock2nix", + "rev": "22676dfc45fa1c33899ba1da1a23665172a18ba7", + "type": "github" + }, + "original": { + "owner": "cdepillabout", + "repo": "stacklock2nix", + "type": "github" + } + }, "systems": { "locked": { "lastModified": 1681028828, @@ -1746,8 +2072,9 @@ "type": "github" }, "original": { - "id": "systems", - "type": "indirect" + "owner": "nix-systems", + "repo": "default", + "type": "github" } }, "systems_11": { @@ -1760,9 +2087,8 @@ "type": "github" }, "original": { - "owner": "nix-systems", - "repo": "default", - "type": "github" + "id": "systems", + "type": "indirect" } }, "systems_12": { @@ -1810,6 +2136,50 @@ } }, "systems_15": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } + }, + "systems_16": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "id": "systems", + "type": "indirect" + } + }, + "systems_17": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } + }, + "systems_18": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -1967,6 +2337,7 @@ "inputs": { "nixpkgs": [ "mx-semantics", + "blockchain-k-plugin", "k-framework", "poetry2nix", "nixpkgs" @@ -1990,7 +2361,7 @@ "inputs": { "nixpkgs": [ "mx-semantics", - "pyk", + "k-framework", "poetry2nix", "nixpkgs" ] @@ -2010,6 +2381,29 @@ } }, "treefmt-nix_4": { + "inputs": { + "nixpkgs": [ + "mx-semantics", + "pyk", + "poetry2nix", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1697388351, + "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=", + "owner": "numtide", + "repo": "treefmt-nix", + "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "treefmt-nix", + "type": "github" + } + }, + "treefmt-nix_5": { "inputs": { "nixpkgs": [ "mx-semantics", @@ -2033,7 +2427,7 @@ "type": "github" } }, - "treefmt-nix_5": { + "treefmt-nix_6": { "inputs": { "nixpkgs": [ "pyk", @@ -2093,7 +2487,25 @@ }, "utils_3": { "inputs": { - "systems": "systems_11" + "systems": "systems_9" + }, + "locked": { + "lastModified": 1705309234, + "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "1ef2e671c3b0c19053962c07dbda38332dcebf26", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "utils_4": { + "inputs": { + "systems": "systems_14" }, "locked": { "lastModified": 1705309234, @@ -2117,7 +2529,7 @@ "k-framework", "flake-utils" ], - "k-framework": "k-framework_3", + "k-framework": "k-framework_4", "nixpkgs": [ "mx-semantics", "wasm-semantics", @@ -2219,6 +2631,23 @@ "repo": "z3", "type": "github" } + }, + "z3_4": { + "flake": false, + "locked": { + "lastModified": 1674011426, + "narHash": "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=", + "owner": "Z3Prover", + "repo": "z3", + "rev": "3012293c35eadbfd73e5b94adbe50b0cc44ffb83", + "type": "github" + }, + "original": { + "owner": "Z3Prover", + "ref": "z3-4.12.1", + "repo": "z3", + "type": "github" + } } }, "root": "root", diff --git a/flake.nix b/flake.nix index 2e87991c..36c93570 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ pyk.url = "github:runtimeverification/k/v7.1.83?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.103"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.104"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; From 1c5148d2d3dac47942861ccb84c8c7651c57ddf2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 21:02:57 +0000 Subject: [PATCH 15/18] deps/mx-semantics_release: Set Version 0.1.105 --- deps/mx-semantics_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 7c6c565c..23175873 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.104 +0.1.105 From 5ea27e8ec569d56fc479d8a8e6916b08afb13e7c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 21:04:52 +0000 Subject: [PATCH 16/18] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files --- kmxwasm/poetry.lock | 24 ++++++++++++------------ kmxwasm/pyproject.toml | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index 8c6b3277..ce3387f7 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -545,13 +545,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.83" +version = "7.1.85" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, - {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, + {file = "kframework-7.1.85-py3-none-any.whl", hash = "sha256:4c4d7483cc6874337369ffca071df6ed3b46ee05e550ea057f0be8153e7fb76c"}, + {file = "kframework-7.1.85.tar.gz", hash = "sha256:2d7c2e14a7bd561091326e41605f6056eb4da5da00f7b1348272890864971904"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.104" +version = "0.1.105" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -580,13 +580,13 @@ develop = false exceptiongroup = "==1.2.1" hypothesis = "^6.82.6" pycryptodomex = "^3.18.0" -pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm"} +pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.95", subdirectory = "pykwasm"} [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.104" -resolved_reference = "904b231ad1e33d5c832e98ff945e4026a1e67f68" +reference = "v0.1.105" +resolved_reference = "be77871e85535dd2fa2bc53b82b1ebf9f9412ef6" subdirectory = "kmultiversx" [[package]] @@ -992,7 +992,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.94" +version = "0.1.95" description = "" optional = false python-versions = "^3.10" @@ -1001,15 +1001,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.83" +kframework = "7.1.85" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.94" -resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" +reference = "v0.1.95" +resolved_reference = "c8e8bc61eabc3707857af1e022bae21a8f6195ca" subdirectory = "pykwasm" [[package]] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "fffe08402ecadbcccc69e3317782e6ba673287d7a2f057aa2b4267464331fac2" +content-hash = "6605c3adad9c958b32312cd57f379ad9c6bca58bfadbf64e72224715e5c44d0c" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 1bf4d1f6..c58b42b3 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.104", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.105", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 02a74c782baae24f10f5af20ba100bcf418281d7 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 21:04:53 +0000 Subject: [PATCH 17/18] deps/k_release: sync release file version 7.1.85 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a6190e48..33d69618 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.83 +7.1.85 From 1f86cbc5f5b2a9fedad43f241e515bcdaabbe4ac Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 21:05:30 +0000 Subject: [PATCH 18/18] flake.{nix,lock}: update Nix derivations --- flake.lock | 80 +++++++++++++++++++++++++++--------------------------- flake.nix | 6 ++-- 2 files changed, 43 insertions(+), 43 deletions(-) diff --git a/flake.lock b/flake.lock index 1ada33d4..a18cca20 100644 --- a/flake.lock +++ b/flake.lock @@ -444,16 +444,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } @@ -510,16 +510,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } @@ -544,16 +544,16 @@ "z3": "z3_4" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } @@ -648,16 +648,16 @@ ] }, "locked": { - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -729,16 +729,16 @@ ] }, "locked": { - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -771,16 +771,16 @@ ] }, "locked": { - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -1043,16 +1043,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1722018442, - "narHash": "sha256-oby1zxpth7xq5nxArOosh6nTWG8ofpXGF5gc9icUrpI=", + "lastModified": 1722027728, + "narHash": "sha256-hhjsiCFEIgti0R0dSwhThr9XMT14sk8Jwuda4QUlKNw=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "904b231ad1e33d5c832e98ff945e4026a1e67f68", + "rev": "be77871e85535dd2fa2bc53b82b1ebf9f9412ef6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.104", + "ref": "v0.1.105", "repo": "mx-semantics", "type": "github" } @@ -1608,17 +1608,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -1640,17 +1640,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -2550,16 +2550,16 @@ ] }, "locked": { - "lastModified": 1722003932, - "narHash": "sha256-NmAEThTFqPHV4H2O00ze2ii2I8gAGU3JQK9x6qSK8HY=", + "lastModified": 1722014702, + "narHash": "sha256-oa088+qcmMPry4hfzamJEGktzkn/Rv3YWyBTFMn7GTI=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "2344e9c97d259acf810c64497c0e7367bcc058b4", + "rev": "c8e8bc61eabc3707857af1e022bae21a8f6195ca", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.94", + "ref": "v0.1.95", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 36c93570..47dd2aff 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk."; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.83"; - pyk.url = "github:runtimeverification/k/v7.1.83?dir=pyk"; + k-framework.url = "github:runtimeverification/k/v7.1.85"; + pyk.url = "github:runtimeverification/k/v7.1.85?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.104"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.105"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools";