Labels

• [C] Bug

  [C] Bug

  This is a bug. Something isn't working.

• [C] Documentation

  [C] Documentation

  Additions and improvements to our documentation

• [C] Feature / Enhancement

  [C] Feature / Enhancement

  A new feature request or enhancement to an existing feature.

• [C] Internal

  [C] Internal

  Tracks some internal work. I.e.: Users should not be affected.

• [E] Performance

  [E] Performance

  Track performance improvement (Time / Memory / CPU)

• [E] Unsupported Construct

  [E] Unsupported Construct

  Add support to an unsupported construct

• [E] Unsupported UB

  [E] Unsupported UB

  Undefined behavior that Kani does not detect

• [E] User Experience

  [E] User Experience

  An UX enhancement for an existing feature. Including deprecation of an existing one.

• [F] Crash

  [F] Crash

  Kani crashed

• [F] Soundness

  [F] Soundness

  Kani failed to detect an issue

• [F] Spurious Failure

  [F] Spurious Failure

  Issues that cause Kani verification to fail despite the code being correct.

• [I] CI / Infrastructure

  [I] CI / Infrastructure

  Work done to CI, tests and infrastructure.

• [I] Refactoring / Clean Up

  [I] Refactoring / Clean Up

  Refactoring or cleaning up of existing code

• dependencies

  dependencies

  Pull requests that update a dependency file

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• rust

  rust

  Pull requests that update Rust code

• submodules

  submodules

  Pull requests that update Submodules code

• T-CBMC

  T-CBMC

  Issue related to an existing CBMC issue

• T-Good First Issue

  T-Good First Issue

  Good for newcomers

• T-High Priority

  T-High Priority

  Tag issues that have high priority

• T-RFC

  T-RFC

  Label RFC PRs and Issues

• T-TrackingIssue

  T-TrackingIssue

  Issues used to track a large amount of work related to a feature

• T-User

  T-User

  Tag user issues / requests

• Z-Autoharness

  Z-Autoharness

  Issue related to autoharness subcommand

• Z-Benchcomp

  Z-Benchcomp

  Issues related to the benchcomp performance comparison script

• Z-CompilerBenchCI

  Z-CompilerBenchCI

  Tag a PR to run benchmark CI

• Z-Contracts

  Z-Contracts

  Issue related to code contracts

• Z-EndToEndBenchCI

  Z-EndToEndBenchCI

  Tag a PR to run benchmark CI

• Z-IDE Extension

  Z-IDE Extension

  Issues related to IDE Ext development

• Z-Kani Compiler

  Z-Kani Compiler

  Issues that require some changes to the compiler