Skip to content

Issues: runtimeverification/evm-semantics

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

Clear current search query, filters, and sorts
17 Open 82 Closed
17 Open 82 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

Investigate SMT timeout in test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k enhancement New feature or request
#2314 opened Feb 27, 2024 by palinatolmach
Disable legacy tests, enable more booster tests enhancement New feature or request
#2292 opened Feb 9, 2024 by ehildenb • Draft
1 task
@ehildenb
Rule coverage and configuration well-formedness enhancement New feature or request
#2291 opened Feb 9, 2024 by PetarMax
1
Default Behavior for Lemma File and Module Import in Kontrol enhancement New feature or request
#2274 opened Jan 25, 2024 by RaoulSchaffranek
Kontrol does not kup install in system aarch64-linux enhancement New feature or request
#2162 opened Nov 8, 2023 by spencerhaoxiao
Bound env variables (NUMBER, TIMESTAMP) by reasonable values enhancement New feature or request
#2143 opened Oct 27, 2023 by palinatolmach
3
Rename kevm-pyk to kevm cli enhancement New feature or request
#2122 opened Oct 19, 2023 by tothtamas28
Issues running kclaim style proofs enhancement New feature or request
#2088 opened Sep 25, 2023 by ehildenb
1 of 3 tasks
5
Parallelize symbolic execution of tests engagement Related to an ongoing engagement enhancement New feature or request
#2009 opened Aug 10, 2023 by tothtamas28
1
2
Implement structural checkers for proofs enhancement New feature or request
#1994 opened Aug 4, 2023 by tothtamas28
2
Show warning on proofs with loop-depth bounded nodes enhancement New feature or request
#1973 opened Jul 26, 2023 by palinatolmach
Refactor foundry_get_model and print_failure_info enhancement New feature or request
#1955 opened Jul 12, 2023 by palinatolmach
Factor out Dockerhub build and test stage into action enhancement New feature or request
#1889 opened Jun 5, 2023 by ehildenb
Implement vm.record cheat code enhancement New feature or request
#1787 opened Apr 28, 2023 by anvacaru
1
4
More guidance on where to continue execution enhancement New feature or request
#1753 opened Apr 20, 2023 by ehildenb
3 of 4 tasks
1
Automatically detect and warn user on bad branches enhancement New feature or request
#1752 opened Apr 20, 2023 by ehildenb
4
foundry-list.check Makefile rule erases tests/foundry/out/ag_proofs, which it relies on enhancement New feature or request
#1741 opened Apr 19, 2023 by nwatson22
ProTip! Add no:assignee to see everything that’s not assigned.