Commits

Commit history

1. Commits on Oct 8, 2026

   • Update hevm with arithmetic abstraction and execution optimizations (#1639)

     Show description for 5adfc83
     gustavo-grieco

     authored
     5adfc83View commit details

     Copy full SHA for 5adfc83

     Browse repository at this point

   • build(deps): bump msys2/setup-msys2 (#1638)

     Show description for 272e2f5
     dependabot[bot]

     authored
     272e2f5View commit details

     Copy full SHA for 272e2f5

     Browse repository at this point

   • Reject fixed seeds with campaign timeouts (#1637)

     gustavo-grieco

     authored
     f7881f6View commit details

     Copy full SHA for f7881f6

     Browse repository at this point
2. Commits on Oct 5, 2026

   • JSON output: encode string/bytes/array/tuple call arguments as structured JSON (#1636)

     Show description for 2a51370
     

     monperrus

     and

     claude

     authored
     2a51370View commit details

     Copy full SHA for 2a51370

     Browse repository at this point

   • build(deps): bump the gh-actions group with 2 updates (#1635)

     Show description for b0348b6
     dependabot[bot]

     authored
     b0348b6View commit details

     Copy full SHA for b0348b6

     Browse repository at this point
3. Commits on Sep 29, 2026

   • test: drive the MCP server the way its clients do (#1608)

     Show description for 5403657
     

     3 peopleauthored
     5403657View commit details

     Copy full SHA for 5403657

     Browse repository at this point

   • Replace the Server-Sent Events server with an MCP server (#1607)

     Show description for e6baf93
     

     elopez

     and

     gustavo-grieco

     authored
     e6baf93View commit details

     Copy full SHA for e6baf93

     Browse repository at this point

   • Concrete sequence replay with a JSON report (#1606)

     Show description for 0a6ec5b
     

     elopez

     and

     gustavo-grieco

     authored
     0a6ec5bView commit details

     Copy full SHA for 0a6ec5b

     Browse repository at this point
4. Commits on Sep 27, 2026

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

     Show description for 3fdf4a2
     dependabot[bot]

     authored
     3fdf4a2View commit details

     Copy full SHA for 3fdf4a2

     Browse repository at this point
5. Commits on Sep 10, 2026

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

     Show description for ddb680b
     dependabot[bot]

     authored
     ddb680bView commit details

     Copy full SHA for ddb680b

     Browse repository at this point

   • Prioritized and injected transaction sequences (#1605)

     Show description for 3a084a4
     

     elopez

     and

     gustavo-grieco

     authored
     3a084a4View commit details

     Copy full SHA for 3a084a4

     Browse repository at this point
6. Commits on Sep 4, 2026

   • Sequence generation fixes (#1620)

     elopez

     authored
     0ea96cbView commit details

     Copy full SHA for 0ea96cb

     Browse repository at this point
7. Commits on Sep 1, 2026

   • build(deps): bump the gh-actions group with 2 updates (#1611)

     Show description for cff8760
     dependabot[bot]

     authored
     cff8760View commit details

     Copy full SHA for cff8760

     Browse repository at this point

   • fix: deflake values/rconstants.sol test (#1613)

     Show description for e53ab73
     elopez

     authored
     e53ab73View commit details

     Copy full SHA for e53ab73

     Browse repository at this point
8. Commits on Aug 31, 2026

   • Inter-worker message bus and per-function call sampling (#1604)

     Show description for 620fcdb
     

     elopez

     and

     gustavo-grieco

     authored
     620fcdbView commit details

     Copy full SHA for 620fcdb

     Browse repository at this point
9. Commits on Aug 27, 2026

   • test(coverage): make boolean corpus count deterministic (#1610)

     DefiAudit0x

     authored
     3521b37View commit details

     Copy full SHA for 3521b37

     Browse repository at this point
10. Commits on Aug 25, 2026

    • Use broadcast TChan for campaign events (#1576)

      Show description for c195ffe
      elopez

      authored
      c195ffeView commit details

      Copy full SHA for c195ffe

      Browse repository at this point
11. Commits on Aug 24, 2026

    • Library auto-linking support through crytic-compile (#1389)

      elopez

      authored
      a2c0a92View commit details

      Copy full SHA for a2c0a92

      Browse repository at this point
12. Commits on Aug 14, 2026

    • refactor: replace runWorker dispatch with an Agent sum type (#1603)

      Show description for 3e02a8a
      

      elopez

      and

      gustavo-grieco

      authored
      3e02a8aView commit details

      Copy full SHA for 3e02a8a

      Browse repository at this point

    • Small standalone fixes: coverage attribution, generic log events (#1599)

      Show description for d87e720
      gustavo-grieco

      authored
      d87e720View commit details

      Copy full SHA for d87e720

      Browse repository at this point

    • refactor: decompose campaign execution by worker (#1596)

      Show description for 07282da
      elopez

      authored
      07282daView commit details

      Copy full SHA for 07282da

      Browse repository at this point
13. Commits on Aug 12, 2026

    • build(deps): bump haskell-actions/setup from 2.11.0 to 2.12.0 in the gh-actions group (#1598)

      Show description for 3afcb8b
      

      dependabot[bot]

      and

      elopez

      authored
      3afcb8bView commit details

      Copy full SHA for 3afcb8b

      Browse repository at this point
14. Commits on Aug 11, 2026

    • fix: handle verification and Foundry campaign modes (#1595)

      Show description for 2bfa64e
      

      gustavo-grieco

      and

      claude

      authored
      2bfa64eView commit details

      Copy full SHA for 2bfa64e

      Browse repository at this point
15. Commits on Aug 10, 2026

    • Merge pull request #1597 from crytic/dependabot/github_actions/gh-actions-e57353e2b8

      Show description for 5fd6681
      elopez

      authored
      5fd6681View commit details

      Copy full SHA for 5fd6681

      Browse repository at this point
16. Commits on Aug 5, 2026

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

      Show description for c0eff05
      dependabot[bot]

      authored
      c0eff05View commit details

      Copy full SHA for c0eff05

      Browse repository at this point
17. Commits on Jul 24, 2026

    • Merge pull request #1591 from crytic/release-2.3.3

      Show description for 4454f3a
      elopez

      authored
      4454f3aView commit details

      Copy full SHA for 4454f3a

      Browse repository at this point

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

      Show description for 355f1bb
      

      dependabot[bot]

      and

      elopez

      authored
      355f1bbView commit details

      Copy full SHA for 355f1bb

      Browse repository at this point

    • Update hevm to 4ca42fd (0.58.0)

      Show description for 07ad0e7
      

      gustavo-grieco

      and

      claude

      committed
      07ad0e7View commit details

      Copy full SHA for 07ad0e7

      Browse repository at this point

    • Echidna 2.3.3

      Show description for 9694c2a
      

      gustavo-grieco

      and

      claude

      committed
      9694c2aView commit details

      Copy full SHA for 9694c2a

      Browse repository at this point

    • Bump tls to 2.2.2 in flake and stack (#1581)

      Show description for 1e1d7a2
      elopez

      authored
      1e1d7a2View commit details

      Copy full SHA for 1e1d7a2

      Browse repository at this point
18. Commits on Jul 20, 2026

    • Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)

      Show description for f583f21
      

      gustavo-grieco

      and

      claude

      authored
      f583f21View commit details

      Copy full SHA for f583f21

      Browse repository at this point

    • Drain campaign event queue to fix root-cursor memory leak (#1587)

      Show description for 58d7fc5
      elopez

      authored
      58d7fc5View commit details

      Copy full SHA for 58d7fc5

      Browse repository at this point
19. Commits on Jul 11, 2026

    • Fix divide-by-zero distributing corpus with workers: 0 (#1583)

      Show description for 9680bb1
      elopez

      authored
      9680bb1View commit details

      Copy full SHA for 9680bb1

      Browse repository at this point
20. Commits on Jul 5, 2026

    • Reject precompile deployment addresses (#1585)

      Ap4sh

      authored
      a23d1d9View commit details

      Copy full SHA for a23d1d9

      Browse repository at this point
21. Commits on Jun 25, 2026

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

      Show description for 74274d4
      

      dependabot[bot]

      and

      elopez

      authored
      74274d4View commit details

      Copy full SHA for 74274d4

      Browse repository at this point