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/wasm-semantics

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

A Formal Semantics of WebAssembly in K

runtimeverification/wasm-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/wasm-semantics để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
106
Fork
24
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
26
Ngôn ngữ chính
WebAssembly
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
30/7/2026
Lập chỉ mục gần nhất
19/9/2026
Hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
good first issue
Không có pull request nào được merge trong 30 ngày

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

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
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

  • Fragmentation in `SparseBytes` caused by `replaceAtZ` rule
    Đang mở
    • Có gì không ổn?
    enhancement

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

    runtimeverification/wasm-semantics#742 ·

  • Excluded Proof Tests from CI Due to Failures
    Đ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/wasm-semantics#718 ·

  • Lost stack values when entering a loop
    Đ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 48/100

    runtimeverification/wasm-semantics#678 ·

  • Function signatures aren't available during `Text2Abstract` on function definitions
    Đ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 55/100

    runtimeverification/wasm-semantics#663 ·

  • Improve tokenisation support
    Đ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/wasm-semantics#662 ·

  • Handle `global.get` in element segments
    Đ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/wasm-semantics#660 ·

  • Upstream WebAssembly specific features from Kasmer
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/wasm-semantics#646 · 1 người được giao ·

  • Seeking Alternatives for Outdated py-wasm Package
    Đ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/wasm-semantics#524 ·

  • Build abstract Wasm as a separate subdefinition from text+test Wasm
    Đ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/wasm-semantics#385 ·

  • Give native support to host function imports
    Đ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/wasm-semantics#344 · 2 bình luận ·

  • Unsupported test files
    Đ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/wasm-semantics#323 ·

  • Function `#set` is not actually total
    Đ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 38/100

    runtimeverification/wasm-semantics#318 ·

  • Make functions in `numeric.md` total `functional`
    Đ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/wasm-semantics#317 · 3 bình luận ·

  • Get rid of duplicated lemmas for commutative operations
    Đang mở
    • Có gì không ổn?
    enhancement good first issue

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

    runtimeverification/wasm-semantics#315 ·

  • Error parsing a wat file generated by wasm2wat
    Đ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/wasm-semantics#288 ·

  • `call` causes state splitting
    Đ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 25/100

    runtimeverification/wasm-semantics#273 · 8 bình luận ·

  • Upstream generic `Int` arithmetic lemmas to `domains.k` module `INT-SYMBOLIC`
    Đ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/wasm-semantics#262 ·

  • Project Proposal
    Đ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/wasm-semantics#234 ·

  • Meeting Notes
    Đang mở
    • Có gì không ổn?
    notes

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 25/100

    runtimeverification/wasm-semantics#231 · 12 bình luận ·

  • Interesting properties to prove
    Đ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/wasm-semantics#219 ·

  • Number support; hex format, underscore separation
    Đ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/wasm-semantics#186 ·

  • Machine integers or "True" integers?
    Đ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/wasm-semantics#184 · 2 bình luận ·

  • List of unimplemented functionality for conformance tests
    Đ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 18/100

    runtimeverification/wasm-semantics#150 · 9 bình luận ·

  • Program fail with a large list.
    Đang mở
    • Có gì không ổn?
    Not Urgent

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

    runtimeverification/wasm-semantics#145 ·

  • Valstack Bug
    Đ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/wasm-semantics#140 · 5 bình luận ·

  • Separate core semantics and text format
    Đ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/wasm-semantics#93 · 4 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.