Issues

• expectRevert does not support allow_internal_expect_revert == true

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

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

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

• 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

  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

  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

• Figure out a way to test UNSAT cache

  Task

  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

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

• Consider disabling TypeAbstractions in tests

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

• Consider adding signed comparisons to Prop

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

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

  enhancement
  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

  

• Add yices and bitwuzla with abstraction flag to the solvers available

  enhancement
  argotorg/hevm#807 · Filter by author gustavo-grieco opened on Jul 24, 2025
  11

• Consider add hevm into evm-bench

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

• Redundant if flagged by hlint

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

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

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

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

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

• Solc semantic tests for which we currently are not able to check equivalence (for two different codegen paths)

  argotorg/hevm#698 · Filter by author blishko opened on Apr 3, 2025
  1

• bytes public data getter loops forever for equivalence checking

  blockedenhancement
  argotorg/hevm#697 · Filter by author msooseth opened on Apr 2, 2025
  6

• When doing equivalence checking, CALL to unknown code can be approximated in a different way

  low-priority
  argotorg/hevm#669 · Filter by author msooseth opened on Feb 18, 2025
  3

• add arm builds for linux

  blocked
  argotorg/hevm#651 · Filter by author charles-cooper opened on Feb 10, 2025
  5