Update dependency: deps/kevm_release (#1060)

* deps/kevm_release: Set Version 1.0.857

* Sync uv files: kevm-pyk version 1.0.857

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

* Removed upstreamed lemmas

* Add `kframework.hatchling` to `buildSystemOverrides`

* Update `hatchling` override

* change nix develop shell name from evm-semantics

* deps/kevm_release: Set Version 1.0.858

* Sync uv files: kevm-pyk version 1.0.858

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

* Update expected output files

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: palinatolmach <polina.tolmach@gmail.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

Author: 4 people

deps/kevm_release

@@ -1 +1 @@
-1.0.856
+1.0.858

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.856";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.858";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";
@@ -118,7 +118,7 @@
     in {
       devShells.default =
       let
-        kevmShell = kevm.devShell.${system};
+        kevmShell = kevm.devShells.${system}.default;
       in pkgs.mkShell {
         buildInputs = (kevmShell.buildInputs or [ ]) ++ [
           pkgs.foundry-bin

flake.nix

@@ -12,6 +12,7 @@ let
   buildSystemOverrides = {
     pyperclip.setuptools = [ ];
     kevm-pyk.poetry-core = [ ];
+    kevm-pyk.hatchling = [ ];
   };
 in
 mapAttrs (

nix/kontrol-pyk/build-systems-overlay.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.856#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.858#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",