All issues

Search results

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 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

We shoud have an option to export all calldata to hit all branches

Status: Open.

#931 In argotorg/hevm;

· msooseth opened on Nov 18, 2025

Consider disabling TypeAbstractions in tests

enhancementNew feature or requestNew feature or request

Status: Open.

#889 In argotorg/hevm;

· gustavo-grieco opened on Oct 3, 2025

Consider adding signed comparisons to Prop

enhancementNew feature or requestNew feature or request

Status: Open.

#868 In argotorg/hevm;

· blishko opened on Sep 16, 2025