runtimeverification/wasm-semantics

View on GitHub

A Formal Semantics of WebAssembly in K

Stars: 106
Forks: 24
Open beginner issues: 0
Indexed issues: 26

Dominant language: WebAssembly
License: No license data
Last GitHub push: Jul 30, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

26 open issues indexed

Fragmentation in `SparseBytes` caused by `replaceAtZ` rule Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 55/100

runtimeverification/wasm-semantics#742 · Opened Nov 24, 2025
Excluded Proof Tests from CI Due to Failures Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#718 · Opened Mar 14, 2025
Lost stack values when entering a loop Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

runtimeverification/wasm-semantics#678 · Opened Jul 16, 2024
Function signatures aren't available during `Text2Abstract` on function definitions Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

runtimeverification/wasm-semantics#663 · Opened Jun 27, 2024
Improve tokenisation support Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#662 · Opened Jun 26, 2024
Handle `global.get` in element segments Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#660 · Opened Jun 26, 2024
Upstream WebAssembly specific features from Kasmer Open

runtimeverification/wasm-semantics#646 · 1 assignee · Opened Jun 12, 2024
Seeking Alternatives for Outdated py-wasm Package Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#524 · Opened Nov 13, 2023
Build abstract Wasm as a separate subdefinition from text+test Wasm Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 25/100

runtimeverification/wasm-semantics#385 · Opened Nov 17, 2020
Give native support to host function imports Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#344 · 2 comments · Opened May 26, 2020
Unsupported test files Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#323 · Opened Apr 21, 2020
Function `#set` is not actually total Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 38/100

runtimeverification/wasm-semantics#318 · Opened Apr 21, 2020
Make functions in `numeric.md` total `functional` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#317 · 3 comments · Opened Apr 21, 2020
Get rid of duplicated lemmas for commutative operations Open

enhancement good first issue

Difficulty 4/5 3-5 days Newbie friendliness 38/100

runtimeverification/wasm-semantics#315 · Opened Apr 20, 2020
Error parsing a wat file generated by wasm2wat Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#288 · Opened Jan 23, 2020
`call` causes state splitting Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

runtimeverification/wasm-semantics#273 · 8 comments · Opened Dec 19, 2019
Upstream generic `Int` arithmetic lemmas to `domains.k` module `INT-SYMBOLIC` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#262 · Opened Nov 20, 2019
Project Proposal Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#234 · Opened Oct 23, 2019
Meeting Notes Open

notes

Difficulty 1/5 Under an hour Newbie friendliness 25/100

runtimeverification/wasm-semantics#231 · 12 comments · Opened Oct 23, 2019
Interesting properties to prove Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#219 · Opened Sep 24, 2019
Number support; hex format, underscore separation Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#186 · Opened Aug 15, 2019
Machine integers or "True" integers? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#184 · 2 comments · Opened Aug 15, 2019
List of unimplemented functionality for conformance tests Open

Difficulty 5/5 Over a week Newbie friendliness 18/100

runtimeverification/wasm-semantics#150 · 9 comments · Opened Jul 16, 2019
Program fail with a large list. Open

Not Urgent

Difficulty 4/5 3-5 days Newbie friendliness 25/100

runtimeverification/wasm-semantics#145 · Opened Jul 12, 2019
Valstack Bug Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/wasm-semantics#140 · 5 comments · Opened Jul 10, 2019
Separate core semantics and text format Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/wasm-semantics#93 · 4 comments · Opened Jun 14, 2019

runtimeverification/wasm-semantics

Get new issues in your inbox