From 43eff6bbc132d39644f8e7230327f106e9d4858a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 13:42:46 +0000 Subject: [PATCH 01/12] kmultiversx/src/kmultiversx/kdist/plugin: Set Version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 --- kmultiversx/src/kmultiversx/kdist/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin index f4c41bfa..8918ee62 160000 --- a/kmultiversx/src/kmultiversx/kdist/plugin +++ b/kmultiversx/src/kmultiversx/kdist/plugin @@ -1 +1 @@ -Subproject commit f4c41bfa5e44f5bc29e5d9151557ce735bcde087 +Subproject commit 8918ee62c16e5c3884d536f1c8a62918ab44bf57 From 68d47876cc8471bfd5a14e9baac5fb07688cb25b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 13:44:30 +0000 Subject: [PATCH 02/12] Set Version: 0.1.103 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 2114b598..801212cf 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.102" +version = "0.1.103" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 91c96fdf..5950146b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.102 +0.1.103 From 1e2790c64c637e2c534935309255cdf0b7c9f37f Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 13:46:38 +0000 Subject: [PATCH 03/12] kmultiversx/: sync poetry files 0.1.90 --- kmultiversx/poetry.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 0c029338..603f57cc 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -1039,13 +1039,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] From 6086d7a12ef75215d32976d7fc93e2982128d062 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 13:46:39 +0000 Subject: [PATCH 04/12] deps/blockchain-k-plugin_release: sync release file version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 4699ffbb..590b59ae 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -f4c41bfa5e44f5bc29e5d9151557ce735bcde087 +8918ee62c16e5c3884d536f1c8a62918ab44bf57 From 0dc33f430d499a3d793c3e19810ad2b8ed0c08cc Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 13:47:08 +0000 Subject: [PATCH 05/12] flake.{nix,lock}: update Nix derivations --- flake.lock | 486 +++++++++++++++++++++++++++++++++++++++++++++++++---- flake.nix | 2 +- 2 files changed, 453 insertions(+), 35 deletions(-) diff --git a/flake.lock b/flake.lock index 66801dfb..14ddc6bb 100644 --- a/flake.lock +++ b/flake.lock @@ -26,25 +26,36 @@ "k-framework", "flake-utils" ], + "k-framework": "k-framework", "libff": "libff", "nixpkgs": [ "k-framework", "nixpkgs" ], + "poetry2nix": [ + "blockchain-k-plugin", + "k-framework", + "poetry2nix" + ], + "rv-utils": [ + "blockchain-k-plugin", + "k-framework", + "rv-utils" + ], "xbyak": "xbyak" }, "locked": { - "lastModified": 1721856182, - "narHash": "sha256-JlaAOJ5MnoTsJI6w5glPOeUZ0O5rJvXndUMdBejK3ls=", + "lastModified": 1722001265, + "narHash": "sha256-/orrpnZ26YNvWRKrtBpYcIqiZIeLtt0HpFjwl1QXcPQ=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", + "rev": "8918ee62c16e5c3884d536f1c8a62918ab44bf57", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f4c41bfa5e44f5bc29e5d9151557ce735bcde087", + "rev": "8918ee62c16e5c3884d536f1c8a62918ab44bf57", "type": "github" } }, @@ -114,6 +125,22 @@ "type": "github" } }, + "flake-compat_3": { + "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" @@ -134,7 +161,7 @@ }, "flake-utils_2": { "inputs": { - "systems": "systems_4" + "systems": "systems_5" }, "locked": { "lastModified": 1694529238, @@ -168,6 +195,24 @@ "type": "github" } }, + "flake-utils_4": { + "inputs": { + "systems": "systems_10" + }, + "locked": { + "lastModified": 1694529238, + "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, "fmt-src": { "flake": false, "locked": { @@ -202,14 +247,33 @@ "type": "github" } }, + "fmt-src_3": { + "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": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" ], "rv-utils": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "rv-utils" @@ -235,13 +299,11 @@ "haskell-backend_2": { "inputs": { "nixpkgs": [ - "wasm-semantics", "k-framework", "llvm-backend", "nixpkgs" ], "rv-utils": [ - "wasm-semantics", "k-framework", "llvm-backend", "rv-utils" @@ -264,6 +326,38 @@ "type": "github" } }, + "haskell-backend_3": { + "inputs": { + "nixpkgs": [ + "wasm-semantics", + "k-framework", + "llvm-backend", + "nixpkgs" + ], + "rv-utils": [ + "wasm-semantics", + "k-framework", + "llvm-backend", + "rv-utils" + ], + "stacklock2nix": "stacklock2nix_3", + "z3": "z3_3" + }, + "locked": { + "lastModified": 1721316629, + "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "owner": "runtimeverification", + "repo": "haskell-backend", + "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v0.1.46", + "repo": "haskell-backend", + "type": "github" + } + }, "immer-src": { "flake": false, "locked": { @@ -298,9 +392,27 @@ "type": "github" } }, + "immer-src_3": { + "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": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "utils" @@ -308,11 +420,49 @@ "haskell-backend": "haskell-backend", "llvm-backend": "llvm-backend", "nixpkgs": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" ], "poetry2nix": "poetry2nix", + "rv-utils": [ + "blockchain-k-plugin", + "k-framework", + "llvm-backend", + "rv-utils" + ] + }, + "locked": { + "lastModified": 1721770943, + "narHash": "sha256-TQanBINqC8h1mR2YgcjbjC+Ye0WHWPc11eRYL5M9kc0=", + "owner": "runtimeverification", + "repo": "k", + "rev": "f9c131b81a6627f2b283b922d4dcd869d152de90", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v7.1.78", + "repo": "k", + "type": "github" + } + }, + "k-framework_2": { + "inputs": { + "flake-utils": [ + "k-framework", + "llvm-backend", + "utils" + ], + "haskell-backend": "haskell-backend_2", + "llvm-backend": "llvm-backend_2", + "nixpkgs": [ + "k-framework", + "llvm-backend", + "nixpkgs" + ], + "poetry2nix": "poetry2nix_2", "rv-utils": [ "k-framework", "llvm-backend", @@ -334,7 +484,7 @@ "type": "github" } }, - "k-framework_2": { + "k-framework_3": { "inputs": { "flake-utils": [ "wasm-semantics", @@ -342,15 +492,15 @@ "llvm-backend", "utils" ], - "haskell-backend": "haskell-backend_2", - "llvm-backend": "llvm-backend_2", + "haskell-backend": "haskell-backend_3", + "llvm-backend": "llvm-backend_3", "nixpkgs": [ "wasm-semantics", "k-framework", "llvm-backend", "nixpkgs" ], - "poetry2nix": "poetry2nix_3", + "poetry2nix": "poetry2nix_4", "rv-utils": [ "wasm-semantics", "k-framework", @@ -396,6 +546,7 @@ "fmt-src": "fmt-src", "immer-src": "immer-src", "nixpkgs": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "rv-utils", @@ -407,16 +558,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721760167, + "narHash": "sha256-WLW4i4vsdAMVjUZBXH2y0tsIlpKV8hH/ejk7HQq5anI=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "9b505eafb2b47848f3b7ca16dc88f011651f5e2c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.62", "repo": "llvm-backend", "type": "github" } @@ -427,7 +578,6 @@ "fmt-src": "fmt-src_2", "immer-src": "immer-src_2", "nixpkgs": [ - "wasm-semantics", "k-framework", "llvm-backend", "rv-utils", @@ -435,7 +585,7 @@ ], "pybind11-src": "pybind11-src_2", "rapidjson-src": "rapidjson-src_2", - "rv-utils": "rv-utils_4", + "rv-utils": "rv-utils_2", "utils": "utils_2" }, "locked": { @@ -453,9 +603,42 @@ "type": "github" } }, + "llvm-backend_3": { + "inputs": { + "flake-compat": "flake-compat_3", + "fmt-src": "fmt-src_3", + "immer-src": "immer-src_3", + "nixpkgs": [ + "wasm-semantics", + "k-framework", + "llvm-backend", + "rv-utils", + "nixpkgs" + ], + "pybind11-src": "pybind11-src_3", + "rapidjson-src": "rapidjson-src_3", + "rv-utils": "rv-utils_5", + "utils": "utils_3" + }, + "locked": { + "lastModified": 1721505758, + "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "owner": "runtimeverification", + "repo": "llvm-backend", + "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "ref": "v0.1.60", + "repo": "llvm-backend", + "type": "github" + } + }, "nix-github-actions": { "inputs": { "nixpkgs": [ + "blockchain-k-plugin", "k-framework", "poetry2nix", "nixpkgs" @@ -478,7 +661,7 @@ "nix-github-actions_2": { "inputs": { "nixpkgs": [ - "pyk", + "k-framework", "poetry2nix", "nixpkgs" ] @@ -498,6 +681,28 @@ } }, "nix-github-actions_3": { + "inputs": { + "nixpkgs": [ + "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_4": { "inputs": { "nixpkgs": [ "wasm-semantics", @@ -584,11 +789,28 @@ "type": "github" } }, + "nixpkgs_5": { + "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" + } + }, "poetry2nix": { "inputs": { "flake-utils": "flake-utils", "nix-github-actions": "nix-github-actions", "nixpkgs": [ + "blockchain-k-plugin", "k-framework", "llvm-backend", "nixpkgs" @@ -616,10 +838,11 @@ "flake-utils": "flake-utils_2", "nix-github-actions": "nix-github-actions_2", "nixpkgs": [ - "pyk", + "k-framework", + "llvm-backend", "nixpkgs" ], - "systems": "systems_5", + "systems": "systems_6", "treefmt-nix": "treefmt-nix_2" }, "locked": { @@ -641,14 +864,40 @@ "inputs": { "flake-utils": "flake-utils_3", "nix-github-actions": "nix-github-actions_3", + "nixpkgs": [ + "pyk", + "nixpkgs" + ], + "systems": "systems_8", + "treefmt-nix": "treefmt-nix_3" + }, + "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" + } + }, + "poetry2nix_4": { + "inputs": { + "flake-utils": "flake-utils_4", + "nix-github-actions": "nix-github-actions_4", "nixpkgs": [ "wasm-semantics", "k-framework", "llvm-backend", "nixpkgs" ], - "systems": "systems_8", - "treefmt-nix": "treefmt-nix_3" + "systems": "systems_11", + "treefmt-nix": "treefmt-nix_4" }, "locked": { "lastModified": 1698640399, @@ -699,6 +948,23 @@ "type": "github" } }, + "pybind11-src_3": { + "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": [ @@ -711,8 +977,8 @@ "rv-utils", "nixpkgs" ], - "poetry2nix": "poetry2nix_2", - "rv-utils": "rv-utils_2" + "poetry2nix": "poetry2nix_3", + "rv-utils": "rv-utils_3" }, "locked": { "dir": "pyk", @@ -765,6 +1031,23 @@ "type": "github" } }, + "rapidjson-src_3": { + "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": "blockchain-k-plugin", @@ -772,7 +1055,7 @@ "k-framework", "flake-utils" ], - "k-framework": "k-framework", + "k-framework": "k-framework_2", "nixpkgs": [ "k-framework", "nixpkgs" @@ -786,7 +1069,7 @@ "poetry2nix" ], "pyk": "pyk", - "rv-utils": "rv-utils_3", + "rv-utils": "rv-utils_4", "wasm-semantics": "wasm-semantics" } }, @@ -862,6 +1145,24 @@ "type": "github" } }, + "rv-utils_5": { + "inputs": { + "nixpkgs": "nixpkgs_5" + }, + "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, @@ -892,6 +1193,21 @@ "type": "github" } }, + "stacklock2nix_3": { + "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, @@ -907,7 +1223,7 @@ "type": "github" } }, - "systems_2": { + "systems_10": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -922,7 +1238,7 @@ "type": "github" } }, - "systems_3": { + "systems_11": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -936,7 +1252,7 @@ "type": "indirect" } }, - "systems_4": { + "systems_2": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -951,7 +1267,7 @@ "type": "github" } }, - "systems_5": { + "systems_3": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -965,7 +1281,22 @@ "type": "indirect" } }, - "systems_6": { + "systems_4": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } + }, + "systems_5": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", @@ -980,6 +1311,20 @@ "type": "github" } }, + "systems_6": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "id": "systems", + "type": "indirect" + } + }, "systems_7": { "locked": { "lastModified": 1681028828, @@ -1009,9 +1354,25 @@ "type": "indirect" } }, + "systems_9": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } + }, "treefmt-nix": { "inputs": { "nixpkgs": [ + "blockchain-k-plugin", "k-framework", "poetry2nix", "nixpkgs" @@ -1034,7 +1395,7 @@ "treefmt-nix_2": { "inputs": { "nixpkgs": [ - "pyk", + "k-framework", "poetry2nix", "nixpkgs" ] @@ -1054,6 +1415,28 @@ } }, "treefmt-nix_3": { + "inputs": { + "nixpkgs": [ + "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_4": { "inputs": { "nixpkgs": [ "wasm-semantics", @@ -1096,7 +1479,25 @@ }, "utils_2": { "inputs": { - "systems": "systems_6" + "systems": "systems_4" + }, + "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_3": { + "inputs": { + "systems": "systems_9" }, "locked": { "lastModified": 1705309234, @@ -1119,7 +1520,7 @@ "k-framework", "flake-utils" ], - "k-framework": "k-framework_2", + "k-framework": "k-framework_3", "nixpkgs": [ "wasm-semantics", "k-framework", @@ -1201,6 +1602,23 @@ "repo": "z3", "type": "github" } + }, + "z3_3": { + "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 62bcead8..522181d9 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/f4c41bfa5e44f5bc29e5d9151557ce735bcde087"; + "github:runtimeverification/blockchain-k-plugin/8918ee62c16e5c3884d536f1c8a62918ab44bf57"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; }; From a0579b3d0f03801e55caa2b2a3b3b449779988fa Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:42:44 +0000 Subject: [PATCH 06/12] kmultiversx/src/kmultiversx/kdist/plugin: Set Version 640a700ed9cfb515062ee9cffaeeb631b38dd95a --- kmultiversx/src/kmultiversx/kdist/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin index 8918ee62..640a700e 160000 --- a/kmultiversx/src/kmultiversx/kdist/plugin +++ b/kmultiversx/src/kmultiversx/kdist/plugin @@ -1 +1 @@ -Subproject commit 8918ee62c16e5c3884d536f1c8a62918ab44bf57 +Subproject commit 640a700ed9cfb515062ee9cffaeeb631b38dd95a From a4a9b8e5bee92e9cd53d4aed8b5236539c3dc968 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:44:31 +0000 Subject: [PATCH 07/12] deps/blockchain-k-plugin_release: sync release file version 640a700ed9cfb515062ee9cffaeeb631b38dd95a --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 590b59ae..b357bdfd 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -8918ee62c16e5c3884d536f1c8a62918ab44bf57 +640a700ed9cfb515062ee9cffaeeb631b38dd95a From c312d45f7a9f9ff54a460e0c665ff2a3b5550f8d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:45:00 +0000 Subject: [PATCH 08/12] flake.{nix,lock}: update Nix derivations --- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 2 +- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/flake.lock b/flake.lock index 14ddc6bb..3f37cb50 100644 --- a/flake.lock +++ b/flake.lock @@ -45,17 +45,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1722001265, - "narHash": "sha256-/orrpnZ26YNvWRKrtBpYcIqiZIeLtt0HpFjwl1QXcPQ=", + "lastModified": 1722004865, + "narHash": "sha256-C63qEcMq38dE+x+5ECJB4C56x6javEc8IBc2HWRUvuo=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "8918ee62c16e5c3884d536f1c8a62918ab44bf57", + "rev": "640a700ed9cfb515062ee9cffaeeb631b38dd95a", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "8918ee62c16e5c3884d536f1c8a62918ab44bf57", + "rev": "640a700ed9cfb515062ee9cffaeeb631b38dd95a", "type": "github" } }, @@ -282,16 +282,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" } @@ -434,16 +434,16 @@ ] }, "locked": { - "lastModified": 1721770943, - "narHash": "sha256-TQanBINqC8h1mR2YgcjbjC+Ye0WHWPc11eRYL5M9kc0=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "f9c131b81a6627f2b283b922d4dcd869d152de90", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.78", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -558,16 +558,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721760167, - "narHash": "sha256-WLW4i4vsdAMVjUZBXH2y0tsIlpKV8hH/ejk7HQq5anI=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "9b505eafb2b47848f3b7ca16dc88f011651f5e2c", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.62", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 522181d9..e2847031 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/8918ee62c16e5c3884d536f1c8a62918ab44bf57"; + "github:runtimeverification/blockchain-k-plugin/640a700ed9cfb515062ee9cffaeeb631b38dd95a"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; }; From 7c7b13347ad29fdf4340272e0c045d38dc9f46cb Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:21:25 +0000 Subject: [PATCH 09/12] Set Version: 0.1.104 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 0f676033..9912a3f5 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.103" +version = "0.1.104" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 5950146b..7c6c565c 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.103 +0.1.104 From da29759e19dd24dfc63b4feb48e5753fc2a57ebf Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:25:34 +0000 Subject: [PATCH 10/12] kmultiversx/src/kmultiversx/kdist/plugin: Set Version f8a93660317c377fc7a16b3d49b0518892354a28 --- kmultiversx/src/kmultiversx/kdist/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin index 640a700e..f8a93660 160000 --- a/kmultiversx/src/kmultiversx/kdist/plugin +++ b/kmultiversx/src/kmultiversx/kdist/plugin @@ -1 +1 @@ -Subproject commit 640a700ed9cfb515062ee9cffaeeb631b38dd95a +Subproject commit f8a93660317c377fc7a16b3d49b0518892354a28 From 01cafb56c5725923f4cc5575389aa7ad3f828e0a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:27:14 +0000 Subject: [PATCH 11/12] deps/blockchain-k-plugin_release: sync release file version f8a93660317c377fc7a16b3d49b0518892354a28 --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index b357bdfd..ffe2cde4 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -640a700ed9cfb515062ee9cffaeeb631b38dd95a +f8a93660317c377fc7a16b3d49b0518892354a28 From e111d1b5c20b8e2e3224583ae9e6769c47c41497 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:27:41 +0000 Subject: [PATCH 12/12] flake.{nix,lock}: update Nix derivations --- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/flake.lock b/flake.lock index 6ecb728d..c221c679 100644 --- a/flake.lock +++ b/flake.lock @@ -45,17 +45,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1722004865, - "narHash": "sha256-C63qEcMq38dE+x+5ECJB4C56x6javEc8IBc2HWRUvuo=", + "lastModified": 1722014632, + "narHash": "sha256-/oOXPQPb877r6lgpLN3kD7xQJZ7xU8hHKteIG2qlq7I=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "640a700ed9cfb515062ee9cffaeeb631b38dd95a", + "rev": "f8a93660317c377fc7a16b3d49b0518892354a28", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "640a700ed9cfb515062ee9cffaeeb631b38dd95a", + "rev": "f8a93660317c377fc7a16b3d49b0518892354a28", "type": "github" } }, @@ -282,16 +282,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" } @@ -434,16 +434,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" } diff --git a/flake.nix b/flake.nix index 2e23676d..fb27a1db 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/640a700ed9cfb515062ee9cffaeeb631b38dd95a"; + "github:runtimeverification/blockchain-k-plugin/f8a93660317c377fc7a16b3d49b0518892354a28"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; };