From 1ad2a004f258cc726433b68f9e66e4257eaf513b Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Sat, 1 Feb 2025 09:14:42 -0700
Subject: [PATCH] Update dependency: deps/kevm_release (#955)

* deps/kevm_release: Set Version 1.0.789

* Sync Poetry files: kevm-pyk version 1.0.789

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

* update expected output

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei <16517508+anvacaru@users.noreply.github.com>
---
 deps/kevm_release                                  |  2 +-
 flake.lock                                         | 14 +++++++-------
 flake.nix                                          |  2 +-
 poetry.lock                                        |  8 ++++----
 pyproject.toml                                     |  2 +-
 .../test-data/show/gas-abstraction.expected        |  3 +++
 6 files changed, 17 insertions(+), 14 deletions(-)

diff --git a/deps/kevm_release b/deps/kevm_release
index e5e01ad10..ec1b77a39 100644
--- a/deps/kevm_release
+++ b/deps/kevm_release
@@ -1 +1 @@
-1.0.788
+1.0.789
diff --git a/flake.lock b/flake.lock
index 1f677285e..0399efedb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -209,11 +209,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1737993222,
-        "narHash": "sha256-K0ImLNtYE7DxiDvF6iOLAP4zpsWI1OnNdtDtMu9SfSs=",
+        "lastModified": 1738314689,
+        "narHash": "sha256-X5FDZqXDk8wIlr7t4iBfKhMObTqNSuQhcJdciVl+czo=",
         "owner": "shazow",
         "repo": "foundry.nix",
-        "rev": "ca0fd680ad9eba8623614af71cda00b6b3334ee9",
+        "rev": "07b1ba91dc58edec8a1d96ddf70a3eb964370a47",
         "type": "github"
       },
       "original": {
@@ -435,16 +435,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1738173727,
-        "narHash": "sha256-FFmW+epPbBZ6frp5+gfOtyjO8jDp/KQ/X37bc5hOXjk=",
+        "lastModified": 1738354133,
+        "narHash": "sha256-y1lLIb4CCTICUqgJirxkX7JWpFt0xIiMPbyHNPvRxqo=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "8f44addbdece25568025223d7b897dde9b6631fa",
+        "rev": "0b5aea3723801c718ee25a4c4d9f72771c8f6815",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.788",
+        "ref": "v1.0.789",
         "repo": "evm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 5f81f0ed7..213cb450a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.788";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.789";
     nixpkgs.follows = "kevm/nixpkgs";
     k-framework.follows = "kevm/k-framework";
     flake-utils.follows = "kevm/flake-utils";
diff --git a/poetry.lock b/poetry.lock
index 3be4f5c1d..914e0fc74 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -735,7 +735,7 @@ plugins = ["setuptools"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.788"
+version = "1.0.789"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -751,8 +751,8 @@ tomlkit = "^0.11.6"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.788"
-resolved_reference = "8f44addbdece25568025223d7b897dde9b6631fa"
+reference = "v1.0.789"
+resolved_reference = "0b5aea3723801c718ee25a4c4d9f72771c8f6815"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -1600,4 +1600,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "bbdbe0a1308403ba37639dc8070ea36eb4c0e7368fa594bb2b5f5d27b8924264"
+content-hash = "523e43c92d23565ca693be157bf7a0eeeab2cfd0ae13ffc9a3a346b021dfd831"
diff --git a/pyproject.toml b/pyproject.toml
index 3653dcc69..f4a41a7b4 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.788", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.789", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"
 pyevmasm = "^0.2.3"
diff --git a/src/tests/integration/test-data/show/gas-abstraction.expected b/src/tests/integration/test-data/show/gas-abstraction.expected
index 46ddbe8c4..d74b60e8f 100644
--- a/src/tests/integration/test-data/show/gas-abstraction.expected
+++ b/src/tests/integration/test-data/show/gas-abstraction.expected
@@ -123,6 +123,9 @@ Node 6:
               0
             </callDepth>
           </callState>
+          <versionedHashes>
+            VERSIONEDHASHES_CELL:List
+          </versionedHashes>
           <substate>
             <selfDestruct>
               SELFDESTRUCT_CELL:Set