-
Notifications
You must be signed in to change notification settings - Fork 63
Pull requests: ethereum/hevm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adding a number of serious improvements to dispatched SMT2 query
#783
opened Jun 27, 2025 by
msooseth
Loading…
4 tasks
Use HashMap for ConcreteStorage
low-priority
#758
opened Jun 3, 2025 by
elopez
Loading…
1 of 4 tasks
[DRAFT] add bitwuzla build for linux
low-priority
#678
opened Mar 9, 2025 by
charles-cooper
Loading…
4 tasks
[DRAFT] Zero-sized arrays imply the default, empty array, and vica versa
wontfix
This will not be worked on
#665
opened Feb 17, 2025 by
msooseth
Loading…
3 of 4 tasks
ProTip!
Filter pull requests by the default branch with base:main.