Skip to content

Labels

Labels

39 labels

  • agent:failed

    agent:failed
    The agent task failed.

  • agent:needs-input

    agent:needs-input
    Waiting for human input or approval.

  • agent:ready

    agent:ready
    Maintainer-added: start agent work

  • agent:review

    agent:review
    Ready for human review.

  • agent:working

    agent:working
    An agent is working on this task.

  • bug

    bug
    Something isn't working

  • build

    build
    Build pipelines, artifacts, etc.

  • ci:real-rocq

    ci:real-rocq
    Run the real-library Rocq type-check on this PR (needs a configured wasm-verifier runner)

  • 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