All issues

Search results

hevm symbolic: Spurious Counterexample

Status: Open.

#1086 In argotorg/hevm;

· sbauer00 opened on Aug 26, 2026

costOfPrecompile crashes with internalError for recognized-but-unimplemented precompiles (0x0a-0x11, 0x100), bypassing the NonexistentPrecompile fallback

bugSomething isn't workingSomething isn't working

Status: Open.

#1084 In argotorg/hevm;

· aviggiano opened on Jul 24, 2026

expectRevert does not support allow_internal_expect_revert == true

Status: Open.

#1064 In argotorg/hevm;

· gustavo-grieco opened on May 15, 2026

Feature Request: Z3 NIA Support for Solving Hard Arithmetic Constraints

enhancementNew feature or requestNew feature or request

Status: Open.

#1000 In argotorg/hevm;

· gustavo-grieco opened on Feb 3, 2026

Use uninterpreted functions for division

Status: Open.

#995 In argotorg/hevm;

· gustavo-grieco opened on Jan 30, 2026

How to execute more than one symbolic transaction

Status: Open.

#957 In argotorg/hevm;

· gustavo-grieco opened on Jan 6, 2026

Separation of concrete and symbolic execution

Status: Open.

#953 In argotorg/hevm;

· blishko opened on Dec 16, 2025

Update nixpkgs and GHC

Status: Open.

#952 In argotorg/hevm;

· elopez opened on Dec 16, 2025

Roadmap for Q1 and Q2 of 2026

Status: Open.

#951 In argotorg/hevm;

· blishko opened on Dec 16, 2025

Figure out a way to test UNSAT cache

Status: Open.

Task

#944 In argotorg/hevm;

· blishko opened on Dec 8, 2025

[meta] Fusaka support

Status: Open.

Task

#939 In argotorg/hevm;

· elopez opened on Dec 3, 2025

Stop exploration as soon as a CEX is found, as per comment in #934 and as a follow-up to it

Status: Open.

#938 In argotorg/hevm;

· msooseth opened on Dec 2, 2025