Issues

• MLOAD does not update the active memory size reported by MSIZE

  bug
  a16z/halmos#597 · Filter by author JeroenRobben opened on Oct 15, 2026

• Zero-length RETURNDATACOPY skips return-data bounds validation

  bug
  a16z/halmos#596 · Filter by author JeroenRobben opened on Oct 15, 2026

• ADDMOD and MULMOD crash when the modulus is zero

  bug
  a16z/halmos#595 · Filter by author JeroenRobben opened on Oct 15, 2026

• Invalid symbolic JUMPI drops the fallthrough path and causes an incorrect PASS

  bug
  a16z/halmos#594 · Filter by author JeroenRobben opened on Oct 15, 2026

• NOT logically negates comparison results

  bug
  a16z/halmos#593 · Filter by author JeroenRobben opened on Oct 15, 2026

• Support the CLZ opcode (0x1e, EIP-7939)

  enhancement
  a16z/halmos#586 · Filter by author james-toussaint opened on Aug 20, 2026

• Silently fails to parse alternative paths of the artifacts

  bug
  a16z/halmos#582 · Filter by author PFAhard opened on Apr 17, 2026

• Getting unclear error: ERROR solver_output.error='' (solver_output.returncode=-4)

  a16z/halmos#580 · Filter by author Heavens01 opened on Oct 15, 2025

• False Counterexample for Valid Assertion

  bug
  a16z/halmos#579 · Filter by author sbauer00 opened on Oct 8, 2025

• symbolic storage variables are not included in the counterexample model

  bug
  a16z/halmos#577 · Filter by author 0xkarmacoma opened on Sep 10, 2025
  1

• support for vm.toString()

  enhancement
  a16z/halmos#565 · Filter by author daejunpark opened on Jul 25, 2025
  1

• Spurious CEx for both Halmos and hevm

  bug
  a16z/halmos#562 · Filter by author msooseth opened on Jul 17, 2025
  4

• Add the way to make an external call to targets from any place in solidity

  enhancement
  a16z/halmos#560 · Filter by author igorganich opened on Jul 16, 2025

• Make unique states checking for regular symbolic tests

  enhancement
  a16z/halmos#559 · Filter by author igorganich opened on Jul 16, 2025

• support for switchActor-style handlers

  enhancement
  a16z/halmos#558 · Filter by author 0xkarmacoma opened on Jul 15, 2025
  3

• callback error with excludeSender

  bug
  a16z/halmos#557 · Filter by author 0xkarmacoma opened on Jul 11, 2025
  1

• Nested libraries lead to library-placeholder crash

  bug
  a16z/halmos#555 · Filter by author igorganich opened on Jul 6, 2025

• Human readable counterexamples

  enhancement
  a16z/halmos#554 · Filter by author aviggiano opened on Jun 20, 2025

• Invariant tests do not work with proxy contracts out of the box

  enhancement
  a16z/halmos#553 · Filter by author aviggiano opened on Jun 20, 2025
  2

• improve process pool scope

  a16z/halmos#540 · Filter by author 0xkarmacoma opened on Jun 11, 2025 · Invariant Testing v1
  

• feat: improve rendering of call sequences/counterexamples

  enhancement
  a16z/halmos#513 · Filter by author 0xkarmacoma opened on May 12, 2025 · Invariant Testing v1
  

• support a global --timeout option

  enhancement
  a16z/halmos#503 · Filter by author 0xkarmacoma opened on Apr 18, 2025

• feat: pass SMT files to solvers via stdin

  enhancement
  a16z/halmos#476 · Filter by author 0xkarmacoma opened on Mar 13, 2025

• Set --solver-max-memory to 80/90% of the system's memory by default

  enhancement
  a16z/halmos#468 · Filter by author montyly opened on Mar 1, 2025
  4

• mutation testing on the fly

  enhancement
  a16z/halmos#466 · Filter by author 0xkarmacoma opened on Feb 21, 2025