Update dependency: deps/kwasm_release (#211)

* deps/kwasm_release: Set Version 0.1.12 * Set Version: 0.1.11 * deps/wasm-semantics: update submodule v0.1.12 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.12 * deps/kwasm_release: Set Version 0.1.13 * deps/wasm-semantics: update submodule v0.1.13 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.13 * kasmer.py: adjust name build_claim => cterm_build_claim * update symbol attributes --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
runtimeverification · Mar 7, 2024 · e955f15 · e955f15
1 parent f22f54d
commit e955f15
Show file tree

Hide file tree

Showing 10 changed files with 23 additions and 23 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.3.5
+6.3.25
diff --git a/deps/kwasm_release b/deps/kwasm_release
@@ -1 +1 @@
-0.1.11
+0.1.13
diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.662
+v0.1.685
diff --git a/deps/wasm-semantics b/deps/wasm-semantics
diff --git a/elrond-node.md b/elrond-node.md
@@ -131,7 +131,7 @@ Storage maps byte arrays to byte arrays.
 ### Bytes Stack
 
 ```k
-    syntax BytesStack ::= List{Bytes, ":"}  [klabel(bytesStackList), symbol]
+    syntax BytesStack ::= List{Bytes, ":"}  [symbol(bytesStackList)]
  // --------------------------------------
 
     syntax BytesOp ::= #pushBytes ( Bytes )

diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
@@ -4,15 +4,15 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.10"
+version = "0.1.11"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
 ]
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.11", subdirectory = "pykwasm" }
+pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.13", subdirectory = "pykwasm" }
 pycryptodomex = "^3.18.0"
 hypothesis = "^6.82.6"
 

diff --git a/kmultiversx/src/kmultiversx/kasmer.py b/kmultiversx/src/kmultiversx/kasmer.py
@@ -13,7 +13,7 @@
 from hypothesis.errors import HypothesisWarning
 from hypothesis.strategies import integers, tuples
 from pyk.cli.utils import dir_path
-from pyk.cterm import CTerm, build_claim
+from pyk.cterm import CTerm, cterm_build_claim
 from pyk.kast.inner import KApply, KSequence, KSort, KVariable, Subst
 from pyk.kast.manip import split_config_from
 from pyk.ktool.krun import KRun
@@ -343,7 +343,7 @@ def generate_claim(
     conf_rhs = Subst(rhs_subst)(sym_conf)
     rhs = CTerm(conf_rhs)
 
-    claim, _ = build_claim(f'{func}', lhs, rhs)
+    claim, _ = cterm_build_claim(f'{func}', lhs, rhs)
 
     return claim, lhs, rhs
 

diff --git a/mandos.md b/mandos.md
@@ -43,7 +43,7 @@ Only take the next step once both the Elrond node and Wasm are done executing.
          <commands> .K </commands>
          <instrs> .K </instrs>
 
-    syntax Steps ::= List{Step, ""} [klabel(mandosSteps), symbol]
+    syntax Steps ::= List{Step, ""} [symbol(mandosSteps)]
  // -------------------------------------------------------------
     rule [steps-empty]:
         <k> .Steps => .K </k>

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.10
+0.1.11