Issues

• hevm equivalence --create compares deployed code from constructor paths that cannot both happen

  argotorg/hevm#1179 · Filter by author JeroenRobben opened on Oct 19, 2026
  1

• --sig forces the upper 96 bits of address arguments to zero but leaves uint160/uint8/bool unconstrained: QED for reachable calldata

  wont-fix
  argotorg/hevm#1175 · Filter by author JeroenRobben opened on Oct 19, 2026
  1

• --sig rejects canonical ABI signatures that contain bytes, string, arrays or tuples

  enhancement
  argotorg/hevm#1172 · Filter by author JeroenRobben opened on Oct 19, 2026
  1

• hevm equivalence reports programs that fail with different exceptional halts as not equivalent

  argotorg/hevm#1165 · Filter by author JeroenRobben opened on Oct 19, 2026
  1

• Exponential time and memory for a storage counter incremented next to symbolic-key writes

  enhancement
  argotorg/hevm#1162 · Filter by author msooseth opened on Oct 18, 2026

• expectRevert does not support allow_internal_expect_revert == true

  enhancementlow-priority
  argotorg/hevm#1064 · Filter by author gustavo-grieco opened on May 15, 2026
  1

• Feature Request: Z3 NIA Support for Solving Hard Arithmetic Constraints

  argotorg/hevm#1000 · Filter by author gustavo-grieco opened on Feb 3, 2026
  3

• Use uninterpreted functions for division

  argotorg/hevm#995 · Filter by author gustavo-grieco opened on Jan 30, 2026
  6

• How to execute more than one symbolic transaction

  enhancement
  argotorg/hevm#957 · Filter by author gustavo-grieco opened on Jan 6, 2026
  4

• Separation of concrete and symbolic execution

  argotorg/hevm#953 · Filter by author blishko opened on Dec 16, 2025

• Update nixpkgs and GHC

  low-priority
  argotorg/hevm#952 · Filter by author elopez opened on Dec 16, 2025

• Roadmap for 2026

  argotorg/hevm#951 · Filter by author blishko opened on Dec 16, 2025
  1

• Figure out a way to test UNSAT cache

  enhancement
  argotorg/hevm#944 · Filter by author blishko opened on Dec 8, 2025

• [meta] Fusaka support

  Task

  argotorg/hevm#939 · Filter by author elopez opened on Dec 3, 2025
  1

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

  enhancement
  argotorg/hevm#931 · Filter by author msooseth opened on Nov 18, 2025
  1

• Consider disabling TypeAbstractions in tests

  argotorg/hevm#889 · Filter by author gustavo-grieco opened on Oct 3, 2025
  1

• Consider adding signed comparisons to Prop

  argotorg/hevm#868 · Filter by author blishko opened on Sep 16, 2025

• Allow to make storage memory symbolic, even on test mode

  argotorg/hevm#862 · Filter by author gustavo-grieco opened on Sep 12, 2025
  5

• hevm loop heuristic triggers even when using code without loops

  blocked
  argotorg/hevm#854 · Filter by author gustavo-grieco opened on Sep 5, 2025
  21

  

• Allow hevm to define contracts with potential callbacks to execute

  argotorg/hevm#848 · Filter by author gustavo-grieco opened on Sep 4, 2025
  6

• Re-enable benchmarking of symbolic exploration

  argotorg/hevm#829 · Filter by author blishko opened on Aug 13, 2025
  11

  

• Consider add hevm into evm-bench

  argotorg/hevm#802 · Filter by author gustavo-grieco opened on Jul 17, 2025
  1

• Redundant if flagged by hlint

  low-priority
  argotorg/hevm#759 · Filter by author gustavo-grieco opened on Jun 5, 2025

• Feature request: replicate evmole function/parameters recovery in hevm

  argotorg/hevm#752 · Filter by author gustavo-grieco opened on May 20, 2025

• interpret could return the pair of program counters and contracts visited

  argotorg/hevm#710 · Filter by author gustavo-grieco opened on Apr 17, 2025
  6