Issues

• Support EIP-7918 across BPO/blob-schedule transitions

  runtimeverification/evm-semantics#2879 · Filter by author palinatolmach opened on Sep 7, 2026

• Avoid require clause if the given patterns are known to be concrete

  runtimeverification/evm-semantics#2869 · Filter by author Stevengre opened on Jun 24, 2026

• Investigate conformance tests running out of memory.

  runtimeverification/evm-semantics#2832 · Filter by author anvacaru opened on Dec 16, 2025

• Update legacy-tests across test-suites

  runtimeverification/evm-semantics#2824 · Filter by author anvacaru opened on Dec 11, 2025

• Symbolic Execution Slowdown with Summary Rules

  runtimeverification/evm-semantics#2789 · Filter by author Stevengre opened on Aug 8, 2025
  

• EVM Opcode Summarization System Technical Report

  documentation
  runtimeverification/evm-semantics#2778 · Filter by author Stevengre opened on Jul 9, 2025
  

• Add dedicated SourceTarget to kdist

  runtimeverification/evm-semantics#2777 · Filter by author juliankuners opened on Jul 9, 2025

• EVM Opcode Summarization System Development Report

  documentation
  runtimeverification/evm-semantics#2776 · Filter by author Stevengre opened on Jul 9, 2025
  

• Optimize the side conditions in the semantics to help the booster backend reasoning

  enhancement
  runtimeverification/evm-semantics#2736 · Filter by author Stevengre opened on Apr 7, 2025

• Investigate unexpected branch splitting for some rules during opcode summarization.

  runtimeverification/evm-semantics#2731 · Filter by author Stevengre opened on Mar 27, 2025
  

• Summarize all the EVM opcodes

  enhancement
  runtimeverification/evm-semantics#2705 · Filter by author Stevengre opened on Feb 13, 2025
  2

  

• Possible outdated libstdc++-12-dev dependency

  bug
  runtimeverification/evm-semantics#2678 · Filter by author JuanCoRo opened on Jan 13, 2025

• When you cannot kdist build evm-semantics.haskell

  runtimeverification/evm-semantics#2677 · Filter by author Stevengre opened on Jan 7, 2025

• Unexpected behaviour in proving sum-to-n-foundry-spec.k

  bug
  runtimeverification/evm-semantics#2617 · Filter by author PetarMax opened on Sep 10, 2024
  7

• using this semantics in Coq

  runtimeverification/evm-semantics#2552 · Filter by author aa755 opened on Aug 5, 2024
  2

• Upstream symbolic bytes lemmas for CSE

  runtimeverification/evm-semantics#2476 · Filter by author palinatolmach opened on Jun 11, 2024
  

• Add Dencun upgrade changes

  runtimeverification/evm-semantics#2356 · Filter by author palinatolmach opened on Mar 13, 2024
  2

  

• Investigate SMT timeout in test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k

  enhancement
  runtimeverification/evm-semantics#2314 · Filter by author palinatolmach opened on Feb 27, 2024

• Rule coverage and configuration well-formedness

  enhancement
  runtimeverification/evm-semantics#2291 · Filter by author PetarMax opened on Feb 9, 2024
  1

• fast_check_subsumption causes Could not convert ML predicate to sort Bool error

  bug
  runtimeverification/evm-semantics#2290 · Filter by author palinatolmach opened on Feb 9, 2024

• Default Behavior for Lemma File and Module Import in Kontrol

  enhancement
  runtimeverification/evm-semantics#2274 · Filter by author RaoulSchaffranek opened on Jan 25, 2024

• Fix warnings on non-exhaustive matches for rules

  kevm
  runtimeverification/evm-semantics#2248 · Filter by author anvacaru opened on Jan 10, 2024
  2

• Segfaults on arm64 macOS

  runtimeverification/evm-semantics#2238 · Filter by author Baltoli opened on Jan 8, 2024

• Kontrol does not kup install in system aarch64-linux

  enhancement
  runtimeverification/evm-semantics#2162 · Filter by author spencerhaoxiao opened on Nov 8, 2023

• Docker CI build step too slow

  runtimeverification/evm-semantics#2150 · Filter by author goodlyrottenapple opened on Nov 2, 2023
  1