Search results

Investigate conformance tests running out of memory.

Status: Open.

#2832 In runtimeverification/evm-semantics;

· anvacaru opened on Dec 16, 2025

Update legacy-tests across test-suites

Status: Open.

#2824 In runtimeverification/evm-semantics;

· anvacaru opened on Dec 11, 2025

Symbolic Execution Slowdown with Summary Rules

Status: Open.

#2789 In runtimeverification/evm-semantics;

· Stevengre opened on Aug 8, 2025

EVM Opcode Summarization System Technical Report

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#2778 In runtimeverification/evm-semantics;

· Stevengre opened on Jul 9, 2025

Add dedicated SourceTarget to kdist

Status: Open.

#2777 In runtimeverification/evm-semantics;

· juliankuners opened on Jul 9, 2025

EVM Opcode Summarization System Development Report

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#2776 In runtimeverification/evm-semantics;

· Stevengre opened on Jul 9, 2025

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

enhancementNew feature or requestNew feature or request

Status: Open.

#2736 In runtimeverification/evm-semantics;

· Stevengre opened on Apr 7, 2025

Investigate unexpected branch splitting for some rules during opcode summarization.

Status: Open.

#2731 In runtimeverification/evm-semantics;

· Stevengre opened on Mar 27, 2025

Summarize all the EVM opcodes

enhancementNew feature or requestNew feature or request

Status: Open.

#2705 In runtimeverification/evm-semantics;

· Stevengre opened on Feb 13, 2025

Possible outdated libstdc++-12-dev dependency

bugSomething isn't workingSomething isn't working

Status: Open.

#2678 In runtimeverification/evm-semantics;

· JuanCoRo opened on Jan 13, 2025

When you cannot kdist build evm-semantics.haskell

Status: Open.

#2677 In runtimeverification/evm-semantics;

· Stevengre opened on Jan 7, 2025

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

bugSomething isn't workingSomething isn't working

Status: Open.

#2617 In runtimeverification/evm-semantics;

· PetarMax opened on Sep 10, 2024