Labels

• [C] Bug

  This is a bug. Something isn't working.
• [C] Documentation

  Additions and improvements to our documentation
• [C] Feature / Enhancement

  A new feature request or enhancement to an existing feature.
• [C] Internal

  Tracks some internal work. I.e.: Users should not be affected.
• [E] Performance

  Track performance improvement (Time / Memory / CPU)
• [E] Unsupported Construct

  Add support to an unsupported construct
• [E] Unsupported UB

  Undefined behavior that Kani does not detect
• [E] User Experience

  An UX enhancement for an existing feature. Including deprecation of an existing one.
• [F] Crash

  Kani crashed
• [F] Soundness

  Kani failed to detect an issue
• [F] Spurious Failure

  Issues that cause Kani verification to fail despite the code being correct.
• [I] CI / Infrastructure

  Work done to CI, tests and infrastructure.
• [I] Refactoring / Clean Up

  Refactoring or cleaning up of existing code
• dependencies

  Pull requests that update a dependency file
• github_actions

  Pull requests that update GitHub Actions code
• rust

  Pull requests that update Rust code
• submodules

  Pull requests that update Submodules code
• T-CBMC

  Issue related to an existing CBMC issue
• T-Good First Issue

  Good for newcomers
• T-High Priority

  Tag issues that have high priority
• T-RFC

  Label RFC PRs and Issues
• T-TrackingIssue

  Issues used to track a large amount of work related to a feature
• T-User

  Tag user issues / requests
• Z-Autoharness

  Issue related to autoharness subcommand
• Z-Benchcomp

  Issues related to the benchcomp performance comparison script
• Z-CompilerBenchCI

  Tag a PR to run benchmark CI
• Z-Contracts

  Issue related to code contracts
• Z-EndToEndBenchCI

  Tag a PR to run benchmark CI
• Z-IDE Extension

  Issues related to IDE Ext development
• Z-Kani Compiler

  Issues that require some changes to the compiler