-
Notifications
You must be signed in to change notification settings - Fork 62
Insights: ethereum/hevm
Overview
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
Use
forceAddrin staticcall and delegatecall instead ofwordToAddr#755 merged
May 26, 2025
1 Pull request opened by 1 person
-
[DRAFT] Maps and Arrays cannot match
#756 opened
May 26, 2025
1 Issue closed by 1 person
-
Spurious property violation when checking the balance of an address and then doing a static call
#742 closed
May 26, 2025
1 Issue opened by 1 person
-
View function affect results
#757 opened
May 28, 2025
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Move unsat cache to `Solvers.hs`
#743 commented on
May 26, 2025 • 3 new comments -
`bytes public data` getter loops forever for equivalence checking
#697 commented on
May 23, 2025 • 0 new comments -
Small refactor of verify to output SMTResult instead of VerifyResult
#733 commented on
May 27, 2025 • 0 new comments -
Fixing checking assert failure
#753 commented on
May 26, 2025 • 0 new comments