-
Notifications
You must be signed in to change notification settings - Fork 77
Pull requests: argotorg/hevm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[Vibecoded] Add RPC retry with exponential backoff and shared cooldown
#1059
opened Apr 14, 2026 by
rappie
Loading…
1 of 4 tasks
RFC: allow to concretize dynamic arrays in calldata up to N values
#1057
opened Apr 2, 2026 by
gustavo-grieco
Collaborator
Loading…
2 of 4 tasks
fix for issue #895: source not found for Panic traces
#1056
opened Apr 2, 2026 by
gustavo-grieco
Collaborator
Loading…
2 of 4 tasks
Parse correctly enumerated types
#1055
opened Apr 2, 2026 by
gustavo-grieco
Collaborator
Loading…
4 tasks
Support for hardhat/foundry console output
#1050
opened Mar 26, 2026 by
gustavo-grieco
Collaborator
Loading…
2 of 4 tasks
[PARKED] Use uninterpreted functions for 2-phase solving approach
low-priority
#996
opened Jan 30, 2026 by
gustavo-grieco
Collaborator
Loading…
4 tasks
RFC: The path to Futamura 🗻
low-priority
#784
opened Jun 28, 2025 by
gustavo-grieco
Collaborator
•
Draft
2 of 4 tasks
Use HashMap for ConcreteStorage
low-priority
#758
opened Jun 3, 2025 by
elopez
Collaborator
Loading…
1 of 4 tasks
ProTip!
Follow long discussions with comments:>50.