Update dependency: deps/k_release (#2661)

* deps/k_release: Set Version 7.1.181 * kevm-pyk/: sync poetry files pyk version 7.1.181 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.182 * kevm-pyk/: sync poetry files pyk version 7.1.182 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.183 * kevm-pyk/: sync poetry files pyk version 7.1.183 * flake.{nix,lock}: update Nix derivations * add CTermSymbolic instance to custom_step * bump dss timeout * Revert "bump dss timeout" This reverts commit 38b5866. * deps/k_release: Set Version 7.1.184 * kevm-pyk/: sync poetry files pyk version 7.1.184 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei <[email protected]>
runtimeverification · Dec 5, 2024 · 622dc98 · 622dc98
1 parent b69a4cf
commit 622dc98
Show file tree

Hide file tree

Showing 6 changed files with 22 additions and 21 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.180
+7.1.184
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.180";
+    k-framework.url = "github:runtimeverification/k/v7.1.184";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";

diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-kframework = "7.1.180"
+kframework = "7.1.184"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]

diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py
@@ -37,6 +37,7 @@
     from pathlib import Path
     from typing import Final
 
+    from pyk.cterm import CTermSymbolic
     from pyk.kast.inner import KAst, Subst
     from pyk.kast.outer import KFlatModule
     from pyk.kcfg import KCFG
@@ -144,7 +145,7 @@ def _replace(term: KInner) -> KInner:
 
         return CTerm(config=bottom_up(_replace, cterm.config), constraints=cterm.constraints)
 
-    def custom_step(self, cterm: CTerm) -> KCFGExtendResult | None:
+    def custom_step(self, cterm: CTerm, _cterm_symbolic: CTermSymbolic) -> KCFGExtendResult | None:
         """Given a CTerm, update the JUMPDESTS_CELL and PROGRAM_CELL if the rule 'EVM.program.load' is at the top of the K_CELL.
 
         :param cterm: CTerm of a proof node.