Search results

Feature request: replicate evmole function/parameters recovery in hevm

enhancementNew feature or requestNew feature or request

Status: Open.

#752 In ethereum/hevm;

· gustavo-grieco opened on May 20, 2025

Allow to dump only queries that returned timeout or unknown

enhancementNew feature or requestNew feature or request

Status: Open.

#725 In ethereum/hevm;

· gustavo-grieco opened on Apr 30, 2025

Experiment with state merging

enhancementNew feature or requestNew feature or request

Status: Open.

#719 In ethereum/hevm;

· gustavo-grieco opened on Apr 29, 2025

Allow to restrict call exploration to only deployed contracts

enhancementNew feature or requestNew feature or request

Status: Open.

#715 In ethereum/hevm;

· neuromancer opened on Apr 24, 2025

<code>interpret</code> could return the pair of program counters and contracts visited

enhancementNew feature or requestNew feature or request

Status: Open.

#710 In ethereum/hevm;

· gustavo-grieco opened on Apr 17, 2025

Call bitwuzla with a max amount of memory to use

enhancementNew feature or requestNew feature or request

Status: Open.

#709 In ethereum/hevm;

· gustavo-grieco opened on Apr 17, 2025

<code>bytes public data</code> getter loops forever for equivalence checking

blocked

enhancementNew feature or requestNew feature or request

Status: Open.

#697 In ethereum/hevm;

· msooseth opened on Apr 2, 2025

add solver binaries to the release artifacts

enhancementNew feature or requestNew feature or request

Status: Open.

#654 In ethereum/hevm;

· charles-cooper opened on Feb 10, 2025

allow symbolic bytecode in <code>hevm equivalence</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#649 In ethereum/hevm;

· charles-cooper opened on Feb 7, 2025

Call to precompile crashes echidna even when the compiler should prevent the call

enhancementNew feature or requestNew feature or request

low-priority

Status: Open.

#606 In ethereum/hevm;

· GalloDaSballo opened on Nov 19, 2024

<code>hevm equivalence</code> does not check log equivalence

enhancementNew feature or requestNew feature or request

Status: Open.

#586 In ethereum/hevm;

· charles-cooper opened on Oct 7, 2024

<code>hevm equivalence</code> fails due to dynamic jumptable and hence symbolic <code>JUMP</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#581 In ethereum/hevm;

· charles-cooper opened on Oct 4, 2024