Update dependency: deps/kevm_release (#1136)

* deps/kevm_release: Set Version 1.0.896

* Sync uv files: kevm-pyk version 1.0.896

* deps/k_release: sync release file version 7.1.318

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

* remove the telemetry module in favor of the upstreamed one

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei <16517508+anvacaru@users.noreply.github.com>

Author: 3 people

deps/k_release

@@ -1 +1 @@
-7.1.313
+7.1.318

deps/kevm_release

@@ -1 +1 @@
-1.0.895
+1.0.896

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.895";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.896";
     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.895#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.896#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",

pyproject.toml

@@ -7,6 +7,7 @@
 
 from pyk.cli.pyk import parse_toml_args
 from pyk.cterm.symbolic import CTermSMTError
+from pyk.telemetry import emit_event
 
 from . import VERSION
 from .cli import _create_argument_parser, generate_options, get_argument_type_setter, get_option_string_destination
@@ -36,7 +37,6 @@
     read_recorded_state_dump,
     recorded_state_to_account_cells,
 )
-from .telemetry import _emit_event
 from .utils import (
     _LOG_FORMAT,
     _rv_blue,
@@ -170,7 +170,7 @@ def exec_build(options: BuildOptions) -> None:
 def exec_prove(options: ProveOptions) -> None:
     _LOGGER.debug(options)
 
-    _emit_event(
+    emit_event(
         'kontrol_prove_start',
         {
             'reinit': options.reinit,
@@ -207,7 +207,7 @@ def exec_prove(options: ProveOptions) -> None:
             init_accounts=init_accounts,
         )
     except CTermSMTError as err:
-        _emit_event(
+        emit_event(
             'kontrol_prove_smt_error',
             {
                 'smt_timeout': options.smt_timeout,
@@ -250,7 +250,7 @@ def exec_prove(options: ProveOptions) -> None:
                 print(f'The proof cannot be completed while there are refuted nodes: {refuted_nodes}.')
                 print('Either unrefute the nodes or discharge the corresponding refutation subproofs.')
 
-    _emit_event(
+    emit_event(
         'kontrol_prove_complete',
         {
             'total_proofs': len(results),