-
Notifications
You must be signed in to change notification settings - Fork 78
Pull requests: argotorg/hevm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Expr: sound disjointness rule for readWord/WriteWord with bounded offset
#1065
opened May 21, 2026 by
msooseth
Collaborator
Loading…
3 of 4 tasks
Summarize getter storage/mem-copy loops as (Storage)CopySlice
#1063
opened May 12, 2026 by
msooseth
Collaborator
Loading…
4 tasks done
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
[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!
Type g p on any issue or pull request to go back to the pull request listing page.