Search results

Cheatcode string arguments crash on invalid UTF-8

Status: Open.

#1076 In argotorg/hevm;

· forkforkdog opened on Jun 24, 2026

Add symbolic-bug-suite as tests

Status: Open.

#1068 In argotorg/hevm;

· gustavo-grieco opened on Jun 10, 2026

expectRevert does not support allow_internal_expect_revert == true

Status: Open.

#1064 In argotorg/hevm;

· gustavo-grieco opened on May 15, 2026

Feature Proposal: Lean 4 proof export backend for hevm

Status: Open.

#1049 In argotorg/hevm;

· MavenRain opened on Mar 26, 2026

withShortBitwuzlaSolver is a misnomer, and is misused

enhancementNew feature or requestNew feature or request

Status: Open.

#1014 In argotorg/hevm;

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