All pull requests

Pull requests

• .github/with-docker: make compatible with podman

  #1167·anvacaru opened Sep 21, 2026Contributor·

  ·
  1

• fix: correct signed relative approximate assertions

  #1166·DicksonWu654 opened Sep 1, 2026·

  ·

• fix(cheatcodes): preserve non-empty zero bytecode

  #1165·DicksonWu654 opened Sep 1, 2026·

  ·

• Fix explicit proof version zero resolution

  #1164·DicksonWu654 opened Sep 1, 2026·

  ·

• Fix dynamic bytes and string assertEq equality

  #1163·DicksonWu654 opened Sep 1, 2026·

  ·

• Bump setuptools from 82.0.1 to 83.0.0

  dependenciespython:uv
  #1161·dependabot[bot] opened Jul 25, 2026Bot·

  ·

• Fall back to prove TOML for RPC proof commands

  #1154·peter941221 opened Jun 17, 2026·

  ·
  1

  1

• Datetime & node id in console logs

  #1131·juliankuners opened Apr 8, 2026Contributor·

  ·
  3

• Allow environment variables to override settings from foundry.toml

  #1122·RaoulSchaffranek opened Jan 12, 2026Member·

  ·
  2

• Implement envOr(...) cheatcodes

  #1103·RaoulSchaffranek opened Nov 7, 2025Member·

  ·
  20

  

• Remove lemma 6 from keccak.md

  #1077·lucasmt opened Sep 17, 2025Contributor·

  ·

• deprecate execution of testFail* tests

  #1043·anvacaru opened Jul 3, 2025Contributor·

  ·
  2

• Add git derivation to PATH of uv binary

  #1042·juliankuners opened Jul 2, 2025Contributor·

  ·
  5

• Experimental: update cheatcode preconditions in CSE

  #1029·palinatolmach opened May 16, 2025Member·

  ·

• CSE: disable summaries when prank or expectRevert is active

  #1025·palinatolmach opened May 13, 2025Member·

  ·
  3

• [don't merge] Update kevm-pyk dependency to branch 'support-gas-cost'…

  #999·Stevengre opened Mar 24, 2025Contributor·

  ·

• Using updated HS backend to branch without locks

  #968·palinatolmach opened Feb 25, 2025Member·

  ·

• prototype to support web3 provider connection

  #956·anvacaru opened Feb 1, 2025Contributor·

  ·

• Bump version of forge-std and kontrol-cheatcodes in integration suite

  #906·anvacaru opened Dec 6, 2024Contributor·

  ·

• CSE with merging node

  #889·Stevengre opened Nov 20, 2024Contributor·

  ·
  3

  

• close default kcfg minimization 4 cse

  #885·Stevengre opened Nov 18, 2024Contributor·

  ·
  12

  

• Add a test for etch to a symbolic address

  #844·palinatolmach opened Oct 1, 2024Member·

  ·
  1

  

• CSE: constrain address and contract field and parameters

  #828·palinatolmach opened Sep 23, 2024Member·

  ·
  1

• Remove dependence on a behavior of CTerm.anti_unify

  #809·ehildenb opened Sep 5, 2024Member·

  ·
  

• Constraints for storage types

  #686·nwatson22 opened Jul 9, 2024Contributor·

  ·