Search results

Possible outdated <code>libstdc++-12-dev</code> dependency

bugSomething isn't workingSomething isn't working

Status: Open.

#2678 In runtimeverification/evm-semantics;

· JuanCoRo opened on Jan 13, 2025

Unexpected behaviour in proving <code>sum-to-n-foundry-spec.k</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#2617 In runtimeverification/evm-semantics;

· PetarMax opened on Sep 10, 2024

<code>fast_check_subsumption</code> causes <code>Could not convert ML predicate to sort Bool</code> error

bugSomething isn't workingSomething isn't working

Status: Open.

#2290 In runtimeverification/evm-semantics;

· palinatolmach opened on Feb 9, 2024

<code>import inotify.adapters</code> does not work on M1 Mac

bugSomething isn't workingSomething isn't working

Status: Open.

#2145 In runtimeverification/evm-semantics;

· PetarMax opened on Oct 30, 2023

<code>exec_run</code> and <code>exec_kast</code> take <code>save_directory</code> argument but the corresponding commands don't have those options

bugSomething isn't workingSomething isn't working

Status: Open.

#2040 In runtimeverification/evm-semantics;

· nwatson22 opened on Aug 24, 2023

Cannot supply custom <code>--kore-rpc-command</code> to <code>kevm foundry-prove</code>

bugSomething isn't workingSomething isn't working

cli

Status: Open.

#2033 In runtimeverification/evm-semantics;

· geo2a opened on Aug 23, 2023