All pull requests

Pull requests

• build(deps): bump the gh-actions group across 1 directory with 3 updates

  dependenciesgithub_actions
  #1634·dependabot[bot] opened Sep 23, 2026Bot·

  ·

• Document the JSON output format accurately

  #1632·DefiAudit0x opened Sep 15, 2026Contributor·

  ·
  1

• Cap generated msg.value at the sender’s balance

  #1631·DefiAudit0x opened Sep 15, 2026Contributor·

  ·
  1

  3

• tests: extreme: bump limit to 20000

  ci-all-solc
  #1622·elopez opened Sep 8, 2026Member·

  ·

• Update hevm

  #1621·elopez opened Sep 8, 2026Member·

  ·

• perf: cache corpus selection as prefix sums and generate fillers on demand

  #1618·elopez opened Sep 2, 2026Member·4/4·

  ·
  4

• perf: pick weighted choices with one bounded draw instead of Rational arithmetic

  #1617·elopez opened Sep 1, 2026Member·3/4·

  ·
  2

• perf: stop re-encoding signatures and rendering events in assertion checks

  #1615·elopez opened Sep 1, 2026Member·2/4·

  ·
  4

• perf: size RTS capabilities to the worker count and cache the coverage lookup per step

  #1614·elopez opened Sep 1, 2026Member·1/4·

  ·
  6

• fix(ui): isolate shrinking worker state

  #1609·DefiAudit0x opened Aug 25, 2026Contributor·

  ·
  1

  2

• Out-of-process tests for the MCP server, with CI and an example agent

  #1608·elopez opened Aug 14, 2026Member·8/8·

  ·

• Replace the Server-Sent Events server with an MCP server

  #1607·elopez opened Aug 14, 2026Member·7/8·

  ·

• Concrete sequence replay with a JSON report

  #1606·elopez opened Aug 14, 2026Member·6/8·

  ·

• Resolve UI memory leaks

  #1578·elopez opened Jun 10, 2026Member·

  ·

• Fix unlimited memory usage by bounding dynamic dict growth [Vibecoded]

  #1564·rappie opened Apr 29, 2026Contributor·

  ·

• Fix RPC Out of Memory issues in TUI [Vibecoded]

  #1560·rappie opened Apr 16, 2026Contributor·

  ·

• Shared WorkPool with adaptive batch sizing for fuzz workers

  #1548·elopez opened Mar 27, 2026Member·

  ·

• Allow to properly use symbolic execution in property mode

  ci-all-solc
  #1538·gustavo-grieco opened Mar 14, 2026Collaborator·

  ·
  1

• Add --prefill-corpus option to extract transaction sequences from Foundry tests

  #1523·gustavo-grieco opened Feb 4, 2026Collaborator·

  ·

• Agentic refactoring and full MCP support

  #1502·gustavo-grieco opened Dec 18, 2025Collaborator·

  ·
  2

• chore: fix subprocess silence logic in compiler selection

  #1464·mdqst opened Oct 1, 2025·

  ·
  1

• Update README CI badge links

  #1448·Olexandr88 opened Sep 15, 2025·

  ·
  1

• [RFC] Use multi-arm bandits for selecting which sequence of transactions to mutate

  #1438·gustavo-grieco opened Aug 29, 2025Collaborator·

  ·
  1

• Refactor CLI interface to have sample config generation and add other subcommands

  #1426·divyaranjan1905 opened Aug 20, 2025Contributor·

  ·
  1

• Collect keccak preimages in the dictionary as uint256 and bytes32

  #1410·gustavo-grieco opened Aug 8, 2025Collaborator·

  ·