Search results

EvmStateSet performance

Status: Open.

#259 In Consensys/EvmIL;

· DavePearce opened on Oct 17, 2024

Infinite Loop with --havoc

bugSomething isn't workingSomething isn't working

Status: Open.

#257 In Consensys/EvmIL;

· DavePearce opened on Oct 17, 2024

Support eas Format

enhancementNew feature or requestNew feature or request

Status: Open.

#250 In Consensys/EvmIL;

· DavePearce opened on May 9, 2024

Limitations of Memory Model

Status: Open.

#248 In Consensys/EvmIL;

· DavePearce opened on Oct 26, 2023

Improve dominators implementation

Status: Open.

#236 In Consensys/EvmIL;

· DavePearce opened on Oct 19, 2023

Generalise BlockVec

Status: Open.

#234 In Consensys/EvmIL;

· DavePearce opened on Oct 18, 2023

Implement Seq for Vec<T>

Status: Open.

#232 In Consensys/EvmIL;

· DavePearce opened on Oct 18, 2023

Bug with dedup()

Status: Open.

#229 In Consensys/EvmIL;

· DavePearce opened on Oct 6, 2023

Drop Concretizable

Status: Open.

#228 In Consensys/EvmIL;

· DavePearce opened on Oct 5, 2023

Improve EvmMemory interface

Status: Open.

#227 In Consensys/EvmIL;

· DavePearce opened on Oct 3, 2023

Generalise havoc instruction

Status: Open.

#218 In Consensys/EvmIL;

· DavePearce opened on Sep 29, 2023

Add havoc tests

Status: Open.

#217 In Consensys/EvmIL;

· DavePearce opened on Sep 29, 2023