Update dependency: deps/pyk_release (#588)

* deps/pyk_release: Set Version v0.1.663 * pykwasm/: sync poetry files v0.1.663 * deps/k_release: sync release file version 6.3.17 * Set Version: 0.1.12 * deps/pyk_release: Set Version v0.1.664 * pykwasm/: sync poetry files v0.1.664 * deps/k_release: sync release file version 6.3.18 * deps/pyk_release: Set Version v0.1.665 * pykwasm/: sync poetry files v0.1.665 * deps/pyk_release: Set Version v0.1.666 * pykwasm/: sync poetry files v0.1.666 * deps/pyk_release: Set Version v0.1.667 * pykwasm/: sync poetry files v0.1.667 * deps/pyk_release: Set Version v0.1.668 * pykwasm/: sync poetry files v0.1.668 * deps/pyk_release: Set Version v0.1.669 * pykwasm/: sync poetry files v0.1.669 * deps/k_release: sync release file version 6.3.20 * deps/pyk_release: Set Version v0.1.670 * pykwasm/: sync poetry files v0.1.670 * deps/k_release: sync release file version 6.3.21 * deps/pyk_release: Set Version v0.1.671 * pykwasm/: sync poetry files v0.1.671 * deps/pyk_release: Set Version v0.1.672 * pykwasm/: sync poetry files v0.1.672 * deps/pyk_release: Set Version v0.1.673 * pykwasm/: sync poetry files v0.1.673 * deps/pyk_release: Set Version v0.1.674 * pykwasm/: sync poetry files v0.1.674 * deps/k_release: sync release file version 6.3.23 * deps/pyk_release: Set Version v0.1.675 * pykwasm/: sync poetry files v0.1.675 * deps/k_release: sync release file version 6.3.24 * deps/pyk_release: Set Version v0.1.676 * pykwasm/: sync poetry files v0.1.676 * deps/k_release: sync release file version 6.3.25 * deps/pyk_release: Set Version v0.1.677 * pykwasm/: sync poetry files v0.1.677 * deps/pyk_release: Set Version v0.1.678 * pykwasm/: sync poetry files v0.1.678 * deps/pyk_release: Set Version v0.1.679 * pykwasm/: sync poetry files v0.1.679 * deps/pyk_release: Set Version v0.1.680 * pykwasm/: sync poetry files v0.1.680 * deps/pyk_release: Set Version v0.1.681 * pykwasm/: sync poetry files v0.1.681 * deps/pyk_release: Set Version v0.1.682 * pykwasm/: sync poetry files v0.1.682 * deps/pyk_release: Set Version v0.1.683 * pykwasm/: sync poetry files v0.1.683 * deps/pyk_release: Set Version v0.1.684 * pykwasm/: sync poetry files v0.1.684 * Fix list klabels --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Virgil <virgil.serbanuta@runtimeverification.com>
runtimeverification · Mar 6, 2024 · 3f199ff · 3f199ff
1 parent c29dcba
commit 3f199ff
Show file tree

Hide file tree

Showing 8 changed files with 23 additions and 23 deletions.
diff --git a/data.md b/data.md
@@ -53,7 +53,7 @@ The exception is for characters that are explicitly escaped which can represent
     syntax String ::= #parseWasmString   ( WasmStringToken ) [function, total, hook(STRING.token2string)]
  // ----------------------------------------------------------------------------------------------------------
 
-    syntax DataString ::= List{WasmString, ""} [klabel(listWasmString)]
+    syntax DataString ::= List{WasmString, ""} [symbol(listWasmString), terminator-symbol(".List{\"listWasmString\"}")]
  // -------------------------------------------------------------------
 ```
 
@@ -74,7 +74,7 @@ Element Segment is a list of indices.
 It is used when initializing a WebAssembly table, or used as the parameter of the `br_table` function.
 
 ```k
-    syntax ElemSegment ::= List{Index, ""} [klabel(listIndex)]
+    syntax ElemSegment ::= List{Index, ""} [symbol(listIndex), terminator-symbol(".List{\"listIndex\"}")]
  // ----------------------------------------------------------
 ```
 
@@ -104,7 +104,7 @@ WebAssembly has three kinds of [Value types](https://webassembly.github.io/spec/
 There are two basic type-constructors: sequencing (`[_]`) and function spaces (`_->_`).
 
 ```k
-    syntax ValTypes ::= List{ValType, ""} [klabel(listValTypes), symbol]
+    syntax ValTypes ::= List{ValType, ""} [symbol(listValTypes), terminator-symbol(".List{\"listValTypes\"}")]
  // --------------------------------------------------------------------
 ```
 
@@ -296,7 +296,7 @@ For `Int`, however, a the context is irrelevant and the index always just resolv
 ### ElemSegment
 
 ```k
-    syntax Ints ::= List{Int, ""} [klabel(listInt), symbol]
+    syntax Ints ::= List{Int, ""} [symbol(listInt), terminator-symbol(".List{\"listInt\"}")]
  // -------------------------------------------------------
 
     syntax Int   ::= #lenElemSegment (ElemSegment)      [function, total]

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.3.5
+6.3.25
diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.662
+v0.1.684
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.11
+0.1.12
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.11"
+version = "0.1.12"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.662" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.684" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]

diff --git a/wasm-text.md b/wasm-text.md
@@ -232,7 +232,7 @@ The following is the text format representation of an import specification.
     syntax LocalDecl  ::= "(" LocalDecl ")"           [bracket]
                         | "local"            ValTypes
                         | "local" Identifier ValType
-    syntax LocalDecls ::= List{LocalDecl , ""}        [klabel(listLocalDecl)]
+    syntax LocalDecls ::= List{LocalDecl , ""}        [symbol(listLocalDecl), terminator-symbol(".List{\"listLocalDecl\"}")]
  // -------------------------------------------------------------------------
 ```
 

diff --git a/wasm.md b/wasm.md
@@ -59,10 +59,10 @@ The sorts `EmptyStmt` and `EmptyStmts` are administrative so that the empty list
     syntax Stmt  ::= Instr | Defn
  // -----------------------------
 
-    syntax EmptyStmts ::= List{EmptyStmt , ""} [klabel(listStmt), symbol]
-    syntax Instrs     ::= List{Instr     , ""} [klabel(listStmt)]
-    syntax Defns      ::= List{Defn      , ""} [klabel(listStmt)]
-    syntax Stmts      ::= List{Stmt      , ""} [klabel(listStmt)]
+    syntax EmptyStmts ::= List{EmptyStmt , ""} [overload(listStmt), terminator-symbol(".List{\"listStmt\"}")]
+    syntax Instrs     ::= List{Instr     , ""} [overload(listStmt)]
+    syntax Defns      ::= List{Defn      , ""} [overload(listStmt)]
+    syntax Stmts      ::= List{Stmt      , ""} [overload(listStmt)]
  // -------------------------------------------------------------
 
     syntax Instrs ::= EmptyStmts
@@ -104,7 +104,7 @@ The sorts `EmptyStmt` and `EmptyStmts` are administrative so that the empty list
     syntax TypeDecl    ::= "(" TypeDecl ")"     [bracket]
                          | TypeKeyWord ValTypes
                          | "param" Identifier ValType
-    syntax TypeDecls   ::= List{TypeDecl , ""} [klabel(listTypeDecl)]
+    syntax TypeDecls   ::= List{TypeDecl , ""} [symbol(listTypeDecl), terminator-symbol(".List{\"listTypeDecl\"}")]
  // -----------------------------------------------------------------
 
     syntax StoreOp ::= "store"    [klabel(storeOpStore),   symbol]