Skip to content

Labels

Labels

15 labels

  • AI-assist

    AI-assist
    AI-aided proof or generation

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New general lemmas in vstd_extra, or new tooling features

  • exec code

    exec code
    Proofs about execution code

  • github_actions

    github_actions
    Pull requests that update GitHub Actions code

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • model design

    model design
    Model or specification of system design

  • pure proof

    pure proof
    Exec-unrelated proofs

  • verification bug

    verification bug
    Unsoundness, verification panics, or unsupported features

  • verus-breaking-change

    verus-breaking-change
    Proof failures caused by breaking change of verus toolchain

  • verus-toolchain

    verus-toolchain
    Nonbreaking change of toolchain, like using new features or version update

  • wontfix

    wontfix
    This will not be worked on