Update dependency: deps/k_release (#606)

* deps/k_release: Set Version 7.0.4

* Adjust workflow

* Fix `kompile` parameter name

* Set Version: 0.1.33

* pykwasm/: sync poetry files v7.0.4

* deps/k_release: Set Version 7.0.5

* pykwasm/: sync poetry files v7.0.5

* deps/k_release: Set Version 7.0.6

* pykwasm/: sync poetry files v7.0.6

* deps/k_release: Set Version 7.0.8

* pykwasm/: sync poetry files v7.0.8

* deps/k_release: Set Version 7.0.9

* pykwasm/: sync poetry files v7.0.9

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

.github/workflows/update-version.yml

@@ -2,7 +2,7 @@ name: 'Update Version'
 on:
   push:
     branches:
-      - '_update-deps/runtimeverification/pyk'
+      - '_update-deps/runtimeverification/k'
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -24,16 +24,11 @@ jobs:
           git config user.email [email protected]
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v8
-      - name: 'Update pyk Release tag'
+      - name: 'Update pyk release tag'
         run: |
-          pyk_version="$(cat deps/pyk_release)"
-          sed -i 's!pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="[v0-9\.]*" }!pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="'${pyk_version}'" }!' pykwasm/pyproject.toml
+          K_VERSION=v"$(cat deps/k_release)"
+          sed -i 's!pyk = { git = "https://github.com/runtimeverification/k.git", tag="[v0-9\.]*", subdirectory = "pyk" }!pyk = { git = "https://github.com/runtimeverification/k.git", tag="'${K_VERSION}'", subdirectory = "pyk" }!' pykwasm/pyproject.toml
           poetry -C pykwasm update
-          git add pykwasm/ && git commit -m "pykwasm/: sync poetry files ${pyk_version}" || true
-      - name: 'Update K release file'
-        run: |
-          K_VERSION=$(poetry -C pykwasm run python3 -c 'import pyk; print(pyk.K_VERSION)')
-          echo ${K_VERSION} > deps/k_release
-          git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
+          git add pykwasm/ && git commit -m "pykwasm/: sync poetry files ${K_VERSION}" || true
       - name: 'Push updates'
         run: git push

deps/k_release

@@ -1 +1 @@
-6.3.77
+7.0.9

package/version

@@ -1 +1 @@
-0.1.32
+0.1.33

pykwasm/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.32"
+version = "0.1.33"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.778" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.9", subdirectory = "pyk" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]

pykwasm/src/pykwasm/kdist/plugin.py

@@ -44,7 +44,7 @@ def context(self) -> dict[str, str]:
             'main_module': 'WASM-TEST',
             'syntax_module': 'WASM-TEST-SYNTAX',
             'md_selector': 'k',
-            'warning_to_error': True,
+            'warnings_to_errors': True,
             'gen_glr_bison_parser': True,
             'opt_level': 2,
             'ccopts': ['-g'],
@@ -57,7 +57,7 @@ def context(self) -> dict[str, str]:
             'main_module': 'KWASM-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',
             'md_selector': 'k',
-            'warning_to_error': True,
+            'warnings_to_errors': True,
         },
     ),
     'wrc20': KompileTarget(
@@ -67,7 +67,7 @@ def context(self) -> dict[str, str]:
             'main_module': 'WRC20-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',
             'md_selector': 'k',
-            'warning_to_error': True,
+            'warnings_to_errors': True,
         },
     ),
 }