Update dependency: deps/k_release (#634)

* deps/k_release: Set Version 7.0.71 * Set Version: 0.1.54 * pykwasm/: sync poetry files v7.0.71 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.72 * pykwasm/: sync poetry files v7.0.72 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.74 * pykwasm/: sync poetry files v7.0.74 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.75 * pykwasm/: sync poetry files v7.0.75 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.76 * pykwasm/: sync poetry files v7.0.76 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.77 * pykwasm/: sync poetry files v7.0.77 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.78 * pykwasm/: sync poetry files v7.0.78 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.79 * pykwasm/: sync poetry files v7.0.79 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.80 * pykwasm/: sync poetry files v7.0.80 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.81 * pykwasm/: sync poetry files v7.0.81 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.82 * pykwasm/: sync poetry files v7.0.82 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.83 * pykwasm/: sync poetry files v7.0.83 * flake.{nix,lock}: update Nix derivations * KompileBackend => PykBackend * deps/k_release: Set Version 7.0.84 * pykwasm/: sync poetry files v7.0.84 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.85 * pykwasm/: sync poetry files v7.0.85 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.86 * pykwasm/: sync poetry files v7.0.86 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.87 * pykwasm/: sync poetry files v7.0.87 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.88 * pykwasm/: sync poetry files v7.0.88 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>
runtimeverification · May 23, 2024 · 0acf402 · 0acf402
1 parent bbc3567
commit 0acf402
Show file tree

Hide file tree

Showing 7 changed files with 49 additions and 50 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.0.70
+7.0.88
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,11 +2,11 @@
   description = "K Semantics of WebAssembly";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.0.70";
+    k-framework.url = "github:runtimeverification/k/v7.0.88";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/k/v7.0.70?dir=pyk";
+    pyk.url = "github:runtimeverification/k/v7.0.88?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
   };

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.53
+0.1.54
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.53"
+version = "0.1.54"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -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/k.git", tag="v7.0.70", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.88", subdirectory = "pyk" }
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]

diff --git a/pykwasm/src/pykwasm/kdist/plugin.py b/pykwasm/src/pykwasm/kdist/plugin.py
@@ -6,7 +6,7 @@
 
 from pyk.kbuild.utils import k_version
 from pyk.kdist.api import Target
-from pyk.ktool.kompile import KompileBackend, kompile
+from pyk.ktool.kompile import PykBackend, kompile
 
 if TYPE_CHECKING:
     from collections.abc import Callable, Mapping
@@ -44,7 +44,7 @@ def deps(self) -> tuple[str]:
     'source': SourceTarget(),
     'llvm': KompileTarget(
         lambda src_dir: {
-            'backend': KompileBackend.LLVM,
+            'backend': PykBackend.LLVM,
             'main_file': src_dir / 'wasm-semantics/test.md',
             'main_module': 'WASM-TEST',
             'syntax_module': 'WASM-TEST-SYNTAX',
@@ -57,7 +57,7 @@ def deps(self) -> tuple[str]:
     ),
     'kwasm-lemmas': KompileTarget(
         lambda src_dir: {
-            'backend': KompileBackend.HASKELL,
+            'backend': PykBackend.HASKELL,
             'main_file': src_dir / 'wasm-semantics/kwasm-lemmas.md',
             'main_module': 'KWASM-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',
@@ -67,7 +67,7 @@ def deps(self) -> tuple[str]:
     ),
     'wrc20': KompileTarget(
         lambda src_dir: {
-            'backend': KompileBackend.HASKELL,
+            'backend': PykBackend.HASKELL,
             'main_file': src_dir / 'wasm-semantics/wrc20.md',
             'main_module': 'WRC20-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',