Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

runtimeverification/evm-semantics

Đăng nhập để theo dõi Xem trên GitHub

K Semantics of the Ethereum Virtual Machine (EVM)

runtimeverification/evm-semantics có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới runtimeverification/evm-semantics để nói chúng được merge thường xuyên đến đâu. Hiện có 1 issue phù hợp với người mới đang mở.

Star
592
Fork
156
Issue cho người mới đang mở
1
Issue đã lập chỉ mục
77
Merge trung bình
2 giờ 19 phút
Pull request đã merge (30 ngày)
1
Ngôn ngữ chính
KCL
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
11/9/2026
Lập chỉ mục gần nhất
19/9/2026
Không có hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
Chưa lập chỉ mục label nào cho người mới

Cách đóng góp cho runtimeverification/evm-semantics

  1. Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
  2. Đóng góp của bạn sẽ được phát hành theo giấy phép BSD-3-Clause của dự án.
  3. Chọn issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Support EIP-7918 across BPO/blob-schedule transitions
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    runtimeverification/evm-semantics#2879 ·

  • Avoid `require` clause if the given patterns are known to be concrete
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2869 ·

  • Investigate conformance tests running out of memory.
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2832 ·

  • Update legacy-tests across test-suites
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

    runtimeverification/evm-semantics#2824 ·

  • Symbolic Execution Slowdown with Summary Rules
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/evm-semantics#2789 · 1 người được giao ·

  • EVM Opcode Summarization System Technical Report
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation

    runtimeverification/evm-semantics#2778 · 1 người được giao ·

  • Add dedicated SourceTarget to kdist
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    runtimeverification/evm-semantics#2777 ·

  • EVM Opcode Summarization System Development Report
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation

    runtimeverification/evm-semantics#2776 · 1 người được giao ·

  • Optimize the side conditions in the semantics to help the booster backend reasoning
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2736 ·

  • Investigate unexpected branch splitting for some rules during opcode summarization.
    Đang mở
    • Có gì không ổn?

    runtimeverification/evm-semantics#2731 · 1 người được giao ·

  • Summarize all the EVM opcodes
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    enhancement

    runtimeverification/evm-semantics#2705 · 2 bình luận · 1 người được giao ·

  • Possible outdated `libstdc++-12-dev` dependency
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

    runtimeverification/evm-semantics#2678 ·

  • When you cannot `kdist build evm-semantics.haskell`
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

    runtimeverification/evm-semantics#2677 ·

  • Unexpected behaviour in proving `sum-to-n-foundry-spec.k`
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2617 · 7 bình luận ·

  • using this semantics in Coq
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/evm-semantics#2552 · 2 bình luận ·

  • Upstream symbolic bytes lemmas for CSE
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/evm-semantics#2476 · 1 người được giao ·

  • Add Dencun upgrade changes
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/evm-semantics#2356 · 2 bình luận · 1 người được giao ·

  • Investigate SMT timeout in `test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k`
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#2314 ·

  • Rule coverage and configuration well-formedness
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#2291 · 1 bình luận ·

  • `fast_check_subsumption` causes `Could not convert ML predicate to sort Bool` error
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#2290 ·

  • Default Behavior for Lemma File and Module Import in Kontrol
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2274 ·

  • Fix warnings on non-exhaustive matches for rules
    Đang mở
    • Có gì không ổn?
    kevm

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2248 · 2 bình luận ·

  • Segfaults on arm64 macOS
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    runtimeverification/evm-semantics#2238 ·

  • Kontrol does not `kup install` in system aarch64-linux
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#2162 ·

  • Docker CI build step too slow
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/evm-semantics#2150 · 1 bình luận · 1 người được giao ·

  • `import inotify.adapters` does not work on M1 Mac
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2145 ·

  • Bound env variables (`NUMBER`, `TIMESTAMP`) by reasonable values
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    runtimeverification/evm-semantics#2143 · 3 bình luận ·

  • Start K Server for CI tests
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2124 · 1 bình luận ·

  • Rename `kevm-pyk` to `kevm`
    Đang mở
    • Có gì không ổn?
    cli enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/evm-semantics#2122 ·

  • Issues running kclaim style proofs
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/evm-semantics#2088 · 5 bình luận ·

  • Segmentation Fault Encountered While Generating a Proof
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#2070 ·

  • solc-select not integrating with kevm-pyk
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2061 ·

  • `exec_run` and `exec_kast` take `save_directory` argument but the corresponding commands don't have those options
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2040 ·

  • Cannot supply custom `--kore-rpc-command` to `kevm foundry-prove`
    Đang mở
    • Có gì không ổn?
    bug cli

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#2033 ·

  • Parallelize symbolic execution of tests
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    engagement enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/evm-semantics#2009 · 2 bình luận ·

  • Implement structural checkers for proofs
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#1994 · 2 bình luận ·

  • Show warning on proofs with loop-depth bounded nodes
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/evm-semantics#1973 ·

  • Refactor `foundry_get_model` and `print_failure_info`
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1955 ·

  • Introduce verbosity levels for `foundry-kompile`
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1950 · 2 bình luận ·

  • Improvements to Kontrol UX
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/evm-semantics#1942 · 1 bình luận ·

  • Factor out Dockerhub build and test stage into action
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/evm-semantics#1889 ·

  • Discrepancy in `deps/k_release` and `deps/pyk_release` format
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1875 · 2 bình luận ·

  • calling test contract from within test contract makes the proof fail
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1851 · 3 bình luận ·

  • Implement vm.record cheat code
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1787 · 4 bình luận ·

  • More guidance on where to continue execution
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    runtimeverification/evm-semantics#1753 · 1 bình luận ·

  • Automatically detect and warn user on bad branches
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/evm-semantics#1752 · 4 bình luận ·

  • `foundry-list.check` Makefile rule erases `tests/foundry/out/ag_proofs`, which it relies on
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1741 ·

  • Investigate creator and creator2 accounts in foundry
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1690 · 1 bình luận ·

  • Reproducing proofs from LUKSO engagement
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1681 · 2 bình luận ·

  • Conformance test failing list
    Đang mở
    • Có gì không ổn?
    kevm

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/evm-semantics#1671 · 2 bình luận ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.