runtimeverification / runtimeverification/wasm-semantics
Improve tokenisation support
Open
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 106
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/WebAssembly/spec/commit/e0a6a312fa28c216d0b204e553e0c6d8c7cb440d makes tweaks to the lexical analysis and introduces conformance tests that break our parser. We will need to improve our own lexer/parser to support these tests.
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 WebAssembly specification commit e0a6a312fa28c216d0b204e553e0c6d8c7cb440d and review the lexical-analysis changes and conformance tests it introduces. Then inspect this project's lexer and parser, run the affected conformance tests, and consider the work done when those tests pass.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100