Search results

Show the Solidity line in the hevm warning regarding path building/exploration

Status: Open.

#706 In ethereum/hevm;

· gustavo-grieco opened on Apr 14, 2025

Hevm equivalence check throwing an error

Status: Open.

#704 In ethereum/hevm;

· tushar994 opened on Apr 9, 2025

Solc semantic tests for which we currently are not able to check equivalence (for two different codegen paths)

Status: Open.

#698 In ethereum/hevm;

· blishko opened on Apr 3, 2025

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

Status: Open.

#697 In ethereum/hevm;

· msooseth opened on Apr 2, 2025

Obtain contract storage?

enhancementNew feature or requestNew feature or request

Status: Open.

#695 In ethereum/hevm;

· andrevidela opened on Mar 31, 2025

When doing equivalence checking, CALL to unknown code can be approximated in a different way

Status: Open.

#669 In ethereum/hevm;

· msooseth opened on Feb 18, 2025

<code>STATICCALL</code> (and later <code>EXTCODESIZE</code> &amp; <code>CALL</code>) overapproximation needs *much* better explanation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#666 In ethereum/hevm;

· msooseth opened on Feb 18, 2025

Simplification is not equivalent, but it should be

in progress

Status: Open.

#664 In ethereum/hevm;

· msooseth opened on Feb 17, 2025

When there are zero solutions to a multi-solution query, end exploration

enhancementNew feature or requestNew feature or request

Status: Open.

#657 In ethereum/hevm;

· msooseth opened on Feb 12, 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

Make state Abstract after a CALL to unknown code -- or better yet, analyze what can change

Status: Open.

#653 In ethereum/hevm;

· msooseth opened on Feb 10, 2025

add arm builds for linux

Status: Open.

#651 In ethereum/hevm;

· charles-cooper opened on Feb 10, 2025