Update dependency: deps/kwasm_release (#282)

* deps/kwasm_release: Set Version 0.1.60

* Set Version: 0.1.75

* Install Nix for update job

* kmultiversx/: sync poetry files 0.1.60

* deps/k_release: sync release file version 7.0.120

* flake.{nix,lock}: update Nix derivations

* Remove obsolete assertion

* Filter out exceptiongroup

* Set Version: 0.1.76

---------

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

.github/workflows/update-version.yml

@@ -24,6 +24,16 @@ jobs:
           git config user.email [email protected]
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v8
+      - name: 'Install Nix/Cachix'
+        uses: cachix/install-nix-action@v27
+        with:
+          install_url: https://releases.nixos.org/nix/nix-2.22.1/install
+          extra_nix_config: |
+            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+      - uses: cachix/cachix-action@v15
+        with:
+          name: k-framework
+          authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
       - name: 'Update poetry files'
         run: |
           PYKWASM_VERSION="$(cat deps/kwasm_release)"

deps/k_release

@@ -1 +1 @@
-7.0.112
+7.0.120

deps/kwasm_release

@@ -1 +1 @@
-0.1.59
+0.1.60

flake.nix

@@ -2,9 +2,9 @@
   description = "K Semantics of MultiversX";
 
   inputs = {
-    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.59";
-    k-framework.url = "github:runtimeverification/k/v7.0.112";
-    pyk.url = "github:runtimeverification/k/v7.0.112?dir=pyk";
+    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.60";
+    k-framework.url = "github:runtimeverification/k/v7.0.120";
+    pyk.url = "github:runtimeverification/k/v7.0.120?dir=pyk";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
@@ -116,9 +116,9 @@
               pykwasm = wasm-semantics.packages.${prev.system}.kwasm-pyk;
               hypothesis = prevPython.hypothesis.overridePythonAttrs (old: {
                   propagatedBuildInputs = prev.lib.filter
-                    (x: !(prev.lib.strings.hasInfix "attrs" x.name))
+                    (x: !(prev.lib.strings.hasInfix "attrs" x.name || prev.lib.strings.hasInfix "exceptiongroup" x.name))
                     old.propagatedBuildInputs;
-                  buildInputs = (old.buildInputs or []) ++ [ finalPython.attrs ];
+                  buildInputs = (old.buildInputs or []) ++ [ finalPython.attrs finalPython.exceptiongroup ];
               });
             });
             groups = [ ];

kmultiversx/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.75"
+version = "0.1.76"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
@@ -20,7 +20,7 @@ mx-semantics = "kmultiversx.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.59", subdirectory = "pykwasm" }
+pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.60", subdirectory = "pykwasm" }
 pycryptodomex = "^3.18.0"
 hypothesis = "^6.82.6"
 

kmultiversx/src/tests/unit/test_generate_claim.py

@@ -15,9 +15,6 @@ def test_generate_cterms_init_config(kasmer_llvm_krun: KRun) -> None:
     # Given
     conf = kasmer_llvm_krun.definition.init_config(GENERATED_TOP_CELL)
 
-    # Check that the definition can be parsed
-    assert kasmer_llvm_krun.kompiled_kore
-
     sym_conf, subst = split_config_from(conf)
 
     # When

package/version

@@ -1 +1 @@
-0.1.75
+0.1.76