runtimeverification / runtimeverification/wasm-semantics
Build abstract Wasm as a separate subdefinition from text+test Wasm
Open
Nobody has claimed this yet.
enhancement
- Dominant language
- WebAssembly
- Stars
- 106
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/kframework/wasm-semantics/pull/383#pullrequestreview-531560886
The binary parser could be tested directly on the abstract version.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked pull request review and inspect how the current text+test Wasm definition is structured. Separate the abstract Wasm into its own subdefinition so the binary parser can be tested directly against it. Done means the separate definition exists and the parser test covers the abstract version.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100