Merge branch 'master' into HOTFIX-listbytes-getordefault-with-list-get

runtimeverification · Jul 29, 2024 · dbed3ac · dbed3ac
2 parents 4fb50dd + be77871
commit dbed3ac
Show file tree

Hide file tree

Showing 9 changed files with 503 additions and 85 deletions.
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-8031e7be727e903b817fff6639a9d3a4bbe82f11
+f8a93660317c377fc7a16b3d49b0518892354a28
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.72
+7.1.85
diff --git a/deps/kwasm_release b/deps/kwasm_release
@@ -1 +1 @@
-0.1.90
+0.1.95