fix inconsistent use of the '_:_WS' klabel (#2057)

* fix inconsistent use of the '_:_WS' klabel * Set Version: 1.0.287 * use _:_WS * fix the expected output * Revert "fix the expected output" This reverts commit f093e0d. * fix the expected output * fix expected output, more * Revert "fix expected output, more" This reverts commit 364dd8d. * Revert "fix the expected output" This reverts commit 3693c58. * Revert "use _:_WS" This reverts commit b12e829. * use `_:__EVM-TYPES_WordStack_Int_WordStack` * Set Version: 1.0.288 * Apply suggestions from code review * Set Version: 1.0.290 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Sep 12, 2023 · 86adf32 · 86adf32
1 parent 692a31c
commit 86adf32
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 7 deletions.
diff --git a/include/kframework/evm-types.md b/include/kframework/evm-types.md
@@ -228,8 +228,8 @@ A cons-list is used for the EVM wordstack.
 
 ```k
     syntax WordStack ::= ".WordStack"      [smtlib(_dotWS)]
-                       | Int ":" WordStack [klabel(_:_WS), smtlib(_WS_)]
- // --------------------------------------------------------------------
+                       | Int ":" WordStack [smtlib(_WS_)]
+ // -----------------------------------------------------
 ```
 
 ```k

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.289"
+version = "1.0.290"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py
@@ -168,7 +168,6 @@ def _kevm_patch_symbol_table(cls, symbol_table: SymbolTable) -> None:
             '_|->_',
             '#And',
             '_andBool_',
-            '_:__EVM-TYPES_WordStack_Int_WordStack',
             '#Implies',
             '_impliesBool_',
             '_&Int_',
@@ -184,7 +183,7 @@ def _kevm_patch_symbol_table(cls, symbol_table: SymbolTable) -> None:
             '_Set_',
             'typedArgs',
             '_up/Int__EVM-TYPES_Int_Int_Int',
-            '_:_WS',
+            '_:__EVM-TYPES_WordStack_Int_WordStack',
         ]
         for symb in paren_symbols:
             if symb in symbol_table:

diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,4 +1,4 @@
-kevm (1.0.289) unstable; urgency=medium
+kevm (1.0.290) unstable; urgency=medium
 
   * Initial Release.
 

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.289
+1.0.290