-
Notifications
You must be signed in to change notification settings - Fork 48
Pull requests: ethereum/hevm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Take into account possibly overflowing when reading from buffers
#593
opened Oct 11, 2024 by
blishko
Loading…
3 of 4 tasks
Either SMT so we can gracefully handle SMT generation issues such as CopySlice
#591
opened Oct 9, 2024 by
msooseth
Loading…
2 of 4 tasks
Adding definition of equivalence to our documentation
#590
opened Oct 8, 2024 by
msooseth
Loading…
1 of 4 tasks
Improve documentation and error handing for --code-a/--code-b
#583
opened Oct 7, 2024 by
msooseth
Loading…
3 of 4 tasks
[DRAFT] Changing default --max-iterations to 5. NOTE: 5 is not enough... WAT
#520
opened Aug 1, 2024 by
msooseth
Loading…
3 of 4 tasks
Avoid reading out of buffer limits in
readWordFromBytes
#402
opened Oct 3, 2023 by
zoep
Loading…
1 of 4 tasks
ProTip!
Mix and match filters to narrow down what you’re looking for.