Search results

difficult installation

Status: Open.

#29 In DavePearce/LeanEVM;

· hmijail opened on Sep 13, 2024

Implement <code>EvmCode.slice</code>

Status: Open.

#28 In DavePearce/LeanEVM;

· DavePearce opened on May 20, 2024

Tidy proofs for <code>pow256_slr</code> and <code>pow256_shr</code>

Status: Open.

#27 In DavePearce/LeanEVM;

· DavePearce opened on May 9, 2024

Support Bytecode <code>ROM</code>

Status: Open.

#18 In DavePearce/LeanEVM;

· DavePearce opened on Oct 6, 2023

Support branching

Status: Open.

#9 In DavePearce/LeanEVM;

· DavePearce opened on Sep 25, 2023

Support Comparators

Status: Open.

#8 In DavePearce/LeanEVM;

· DavePearce opened on Sep 25, 2023

Enforce Stack Height

Status: Open.

#4 In DavePearce/LeanEVM;

· DavePearce opened on Sep 25, 2023

Support <code>EvmMemory</code>

Status: Open.

#3 In DavePearce/LeanEVM;

· DavePearce opened on Sep 25, 2023