Issues

• hevm equivalence treats CREATE2 with different salts as deploying to the same address

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

• hevm equivalence ignores created contracts' code and transient storage at the end state

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

• Keccak SMT encoding depends on buffer bytes past the hashed length, giving spurious counterexamples

  high-priority
  argotorg/hevm#1188 · Filter by author JeroenRobben opened on Oct 19, 2026
  1

• hevm equivalence with --sig or --calldata prints and replays empty calldata instead of the counterexample's

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

• 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

• hevm equivalence replay marks real differences in other contracts or nonces "not reproducible"

  argotorg/hevm#1178 · 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

• Symbolic CALLDATACOPY/CODECOPY/EXTCODECOPY wrap around when the source offset is symbolic and near 2^256

  bughigh-priority
  argotorg/hevm#1160 · Filter by author msooseth opened on Oct 18, 2026
  1

  

• Repeated calls to the same contract hit --max-iterations

  bug
  argotorg/hevm#1152 · Filter by author msooseth opened on Oct 18, 2026
  2

• 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