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
68 Open 283 Closed
68 Open 283 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

Collect Data on Rule Traces and Performance Across Proof Suite
#1048 opened Jun 15, 2021 by ehildenb
@JKTKops
8
Unexpected behaviour in proving sum-to-n-foundry-spec.k bug Something isn't working
#2617 opened Sep 10, 2024 by PetarMax
7
Issues running kclaim style proofs enhancement New feature or request
#2088 opened Sep 25, 2023 by ehildenb
1 of 3 tasks
5
Implement vm.record cheat code enhancement New feature or request
#1787 opened Apr 28, 2023 by anvacaru
1
4
Automatically detect and warn user on bad branches enhancement New feature or request
#1752 opened Apr 20, 2023 by ehildenb
4
K README and INSTALL should mention bash version requirements
#1140 opened Oct 7, 2021 by ehildenb
4
Inspect lemmas in tests/specs/lemmas.k and tests/specs/infinite-gas.k for duplicates and pull out tests/specs/int-simplification.k
#1026 opened Jun 7, 2021 by ehildenb
4
Workflow for MacOS documentation Improvements or additions to documentation
#1022 opened Jun 5, 2021 by rybla
@rybla
4
Bound env variables (NUMBER, TIMESTAMP) by reasonable values enhancement New feature or request
#2143 opened Oct 27, 2023 by palinatolmach
3
Output of the sign cheatcode in incorrect format
#1891 opened Jun 5, 2023 by lucasmt
3
calling test contract from within test contract makes the proof fail
#1851 opened May 24, 2023 by iFrostizz
3
Add foundry-demo tests to CI
#1601 opened Mar 3, 2023 by ana-pantilie
3
using this semantics in Coq
#2552 opened Aug 5, 2024 by aa755
2
Add Dencun upgrade changes
#2356 opened Mar 13, 2024 by palinatolmach
@anvacaru
2
Fix warnings on non-exhaustive matches for rules kevm
#2248 opened Jan 10, 2024 by anvacaru
1
2
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
Introduce verbosity levels for foundry-kompile
#1950 opened Jul 11, 2023 by palinatolmach
2
Discrepancy in deps/k_release and deps/pyk_release format
#1875 opened May 31, 2023 by tothtamas28
2
Reproducing proofs from LUKSO engagement
#1681 opened Apr 3, 2023 by lucasmt
2
Conformance test failing list kevm
#1671 opened Mar 28, 2023 by anvacaru
17 of 20 tasks
2
Investigate tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
#1093 opened Jul 23, 2021 by rybla
2
Summarize all the EVM opcodes enhancement New feature or request
#2705 opened Feb 13, 2025 by Stevengre
@Stevengre
1
Rule coverage and configuration well-formedness enhancement New feature or request
#2291 opened Feb 9, 2024 by PetarMax
1
Docker CI build step too slow
#2150 opened Nov 2, 2023 by goodlyrottenapple
@ehildenb
1
ProTip! Follow long discussions with comments:>50.