Labels

29 labels

bug
bug
Something isn't working
build
build
Build pipelines, artifacts, etc.
cli
cli
Command line interface related
codegen
codegen
Bytecode emitting
documentation
documentation
Improvements or additions to documentation
draft
draft
Now ready for taking
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
hir
hir
High-level intermediate representation
inf2wasm
inf2wasm
Inference to WASM converting
infs
infs
Inference Start related
invalid
invalid
This doesn't seem right
linker
linker
Linker
linter
linter
Linter
lsp
lsp
Language Server Protocol
memory management
memory management
Related to how memory is tracked and manipulated
need-triage
need-triage
An issue needs research to decide how to handle it
parser
parser
Source code parser
performance
performance
Memory / CPU
question
question
Further information is requested
refactoring
refactoring
Project supplements
rocq-translation
rocq-translation
wasm-to-v translation, hassert obligations, and the emitted .v contract
severity:high
severity:high
soundness
soundness
Obligation meaningfulness/soundness
static analysis
static analysis
Static code analysis
syntax
syntax
Inference syntax related
tests
tests
Unit, fuzzing, performance, etc.
vscode
vscode
VSCode extension