Labels

• AI-assist

  AI-aided proof or generation
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New general lemmas in vstd_extra, or new tooling features
• exec code

  Proofs about execution code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• model design

  Model or specification of system design
• pure proof

  Exec-unrelated proofs
• verification bug

  Unsoundness, verification panics, or unsupported features
• verus-breaking-change

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

  Nonbreaking change of toolchain, like using new features or version update
• wontfix

  This will not be worked on