Update dependency: deps/kevm_release (#1155)

* deps/kevm_release: Set Version 1.0.917

* Sync uv files: kevm-pyk version 1.0.917

* deps/k_release: sync release file version 7.1.335

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

---------

Co-authored-by: devops <devops@runtimeverification.com>

Author: rv-jenkins

deps/k_release

@@ -1 +1 @@
-7.1.334
+7.1.335

deps/kevm_release

@@ -1 +1 @@
-1.0.916
+1.0.917

flake.lock

@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.916";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.917";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";

flake.nix

@@ -8,7 +8,7 @@ version = "1.0.0"
 description = "Foundry integration for KEVM"
 requires-python = "~=3.10"
 dependencies = [
-    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.916#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.917#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",