Skip to content

Issues: ethereum/hevm

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

43 Open 152 Closed
43 Open 152 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Hevm equivalence check throwing an error
#704 opened Apr 9, 2025 by tushar994
3
Solc semantic tests for which we currently are not able to check equivalence (for two different codegen paths)
#698 opened Apr 3, 2025 by blishko
11 tasks
1
bytes public data getter loops forever for equivalence checking
#697 opened Apr 2, 2025 by msooseth
Obtain contract storage? enhancement New feature or request
#695 opened Mar 31, 2025 by andrevidela
7
Allow limiting the amount of exploration we do in progress
#670 opened Feb 19, 2025 by msooseth
2
When doing equivalence checking, CALL to unknown code can be approximated in a different way
#669 opened Feb 18, 2025 by msooseth
3
STATICCALL (and later EXTCODESIZE & CALL) overapproximation needs *much* better explanation documentation Improvements or additions to documentation
#666 opened Feb 18, 2025 by msooseth
1
Simplification is not equivalent, but it should be in progress
#664 opened Feb 17, 2025 by msooseth
1
When there are zero solutions to a multi-solution query, end exploration enhancement New feature or request
#657 opened Feb 12, 2025 by msooseth
@msooseth
1
add solver binaries to the release artifacts enhancement New feature or request
#654 opened Feb 10, 2025 by charles-cooper
1
1
Make state Abstract after a CALL to unknown code -- or better yet, analyze what can change
#653 opened Feb 10, 2025 by msooseth
@msooseth
1
add arm builds for linux
#651 opened Feb 10, 2025 by charles-cooper
2
allow symbolic bytecode in hevm equivalence
#649 opened Feb 7, 2025 by charles-cooper
1
Call to precompile crashes echidna even when the compiler should prevent the call enhancement New feature or request low-priority
#606 opened Nov 19, 2024 by GalloDaSballo
4
Start executing the Execution Spec Tests network upgrades
#605 opened Nov 3, 2024 by d-xo
Implement retroactive EIPs network upgrades
#604 opened Nov 3, 2024 by d-xo
Increasing gas usage metric precision bug Something isn't working
#603 opened Oct 26, 2024 by rappie
2
hevm equivalence does not check log equivalence enhancement New feature or request
#586 opened Oct 7, 2024 by charles-cooper
3
hevm equivalence fails due to dynamic jumptable and hence symbolic JUMP enhancement New feature or request
#581 opened Oct 4, 2024 by charles-cooper
@msooseth
7
Ideas to investigate enhancement New feature or request
#563 opened Sep 19, 2024 by blishko
@blishko
Collision in address is "possible" as per hevm, even though it's not bug Something isn't working in progress
#549 opened Sep 5, 2024 by zoep
@msooseth
2
error: TODO: symbolic abi encoding for bytes -- needs AbiBytesDynamicType Abi encoding in symAbiArg
#533 opened Aug 21, 2024 by ethever
1
4
Confusion about "Latest" BlockNumber when Symbolic executing a contract question Further information is requested
#528 opened Aug 17, 2024 by ethever
3
Partial Concrete Storage for symbolic execution enhancement New feature or request
#523 opened Aug 9, 2024 by ethever
2
Move trace printing to prettyprinter enhancement New feature or request good first issue
#496 opened Jun 21, 2024 by arcz
2
ProTip! no:milestone will show everything without a milestone.