-
Notifications
You must be signed in to change notification settings - Fork 423
Pull requests: crytic/echidna
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Allow foundry unit test generation to handle assertion failure with events
#1550
opened Apr 2, 2026 by
gustavo-grieco
Loading…
build(deps): bump DeterminateSystems/nix-installer-action from 21 to 22 in the gh-actions group
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#1549
opened Apr 2, 2026 by
dependabot
bot
Loading…
Allow to properly use symbolic execution in property mode
ci-all-solc
Test a PR with all solc versions
#1538
opened Mar 14, 2026 by
gustavo-grieco
Loading…
Add
--prefill-corpus option to extract transaction sequences from Foundry tests
#1523
opened Feb 4, 2026 by
gustavo-grieco
•
Draft
feat(mcp): add Python agent example, integration tests, and CI
#1509
opened Dec 29, 2025 by
datradito
Loading…
Agentic refactoring and full MCP support
#1502
opened Dec 18, 2025 by
gustavo-grieco
Loading…
7 of 10 tasks
chore: fix subprocess silence logic in compiler selection
#1464
opened Oct 1, 2025 by
mdqst
Loading…
[RFC] Use multi-arm bandits for selecting which sequence of transactions to mutate
#1438
opened Aug 29, 2025 by
gustavo-grieco
•
Draft
Refactor CLI interface to have sample config generation and add other subcommands
#1426
opened Aug 20, 2025 by
divyaranjan1905
•
Draft
Collect keccak preimages in the dictionary as uint256 and bytes32
#1410
opened Aug 8, 2025 by
gustavo-grieco
•
Draft
[RFC] Constraint discovery using symbolic execution
#1409
opened Aug 6, 2025 by
gustavo-grieco
•
Draft
Refactors in Exec.hs
ci-all-solc
Test a PR with all solc versions
#1282
opened Jun 28, 2024 by
samalws-tob
Loading…
Allow to provide a directory with additional json files from slither printer
#1125
opened Sep 23, 2023 by
gustavo-grieco
•
Draft
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.