Skip to content

No labels!

There aren’t any labels for this repository quite yet.

30 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
[C] Bug
[C] Bug
This is a bug. Something isn't working.
162
[C] Documentation
[C] Documentation
Additions and improvements to our documentation
3
[C] Feature / Enhancement
[C] Feature / Enhancement
A new feature request or enhancement to an existing feature.
192
[C] Internal
[C] Internal
Tracks some internal work. I.e.: Users should not be affected.
96
dependencies
dependencies
Pull requests that update a dependency file
[E] Performance
[E] Performance
Track performance improvement (Time / Memory / CPU)
29
[E] Unsupported Construct
[E] Unsupported Construct
Add support to an unsupported construct
14
[E] Unsupported UB
[E] Unsupported UB
Undefined behavior that Kani does not detect
3
[E] User Experience
[E] User Experience
An UX enhancement for an existing feature. Including deprecation of an existing one.
29
[F] Crash
[F] Crash
Kani crashed
38
[F] Soundness
[F] Soundness
Kani failed to detect an issue
2
[F] Spurious Failure
[F] Spurious Failure
Issues that cause Kani verification to fail despite the code being correct.
9
github_actions
github_actions
Pull requests that update GitHub Actions code
[I] CI / Infrastructure
[I] CI / Infrastructure
Work done to CI, tests and infrastructure.
10
[I] Refactoring / Clean Up
[I] Refactoring / Clean Up
Refactoring or cleaning up of existing code
21
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
14
T-Good First Issue
T-Good First Issue
Good for newcomers
1
T-High Priority
T-High Priority
Tag issues that have high priority
1
T-RFC
T-RFC
Label RFC PRs and Issues
12
T-TrackingIssue
T-TrackingIssue
Issues used to track a large amount of work related to a feature
4
T-User
T-User
Tag user issues / requests
31
Z-BenchCI
Z-BenchCI
Tag a PR to run benchmark CI
8
Z-Benchcomp
Z-Benchcomp
Issues related to the benchcomp performance comparison script
7
Z-Contracts
Z-Contracts
Issue related to code contracts
20
Z-IDE Extension
Z-IDE Extension
Issues related to IDE Ext development
2
Z-Kani Compiler
Z-Kani Compiler
Issues that require some changes to the compiler
12
Z-Sync Upstream
Z-Sync Upstream
Fetch changes from rustc repository. Old Rebase
Z-UnstableFeature
Z-UnstableFeature
Issues that only occur if a unstable feature is enabled
4