Labels

• annotations

  Related to low level verification annotations
• bug

  Something isn't working
• CargoVerify

  Related to cargo-verify driver script
• cla: no

  Contributor has not signed CLA
• cla: yes

  Contributor has signed CLA
• Crux

  CruxMIR support
• docker

  Docker image support
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• fuzzing
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• KLEE

  KLEE support
• LLVM

  Affects LLVM-based verifiers
• mir-verifier

  Support for Galois Inc's MIR verifier
• P0

  Highest priority
• P1

  Second highest priority
• P2

  Third highest priority
• P3

  Lowest priority
• propverify

  Related to propverify / proptest
• question

  Further information is requested
• SeaHorn

  SeaHorn support
• SMACK

  SMACK support
• wontfix

  This will not be worked on