Skip to content

No labels!

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

21 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
dependencies
dependencies
Pull requests that update a dependency file
1
Good first issue
Good first issue
Indicates a good issue for first-time contributors
19
Kani
Kani
Related to formal verification
Priority: High
Priority: High
Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled
2
Priority: Low
Priority: Low
Indicates that an issue or pull request should be resolved behind issues or pull requests labelled `
34
Priority: Medium
Priority: Medium
Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled
12
python
python
Pull requests that update Python code
2
Release
Release
Indicates that an issue or pull request is part of the next release
Roadmap: New Request
Roadmap: New Request
8
Roadmap: Tracked
Roadmap: Tracked
Items tracked on the roadmap project.
11
rust
rust
Pull requests that update Rust code
2
Status: Awaiting author
Status: Awaiting author
Indicates that a pull request requires author action
2
Status: Awaiting review
Status: Awaiting review
Indicates that a pull request is ready to be reviewed
7
Status: Blocked
Status: Blocked
Indicates that an issue or pull request cannot currently be worked on
5
Status: Parked
Status: Parked
Issues/Pull Requests which we will revisit later
14
Type: Bug
Type: Bug
Indicates an unexpected problem or unintended behavior
11
Type: Documentation
Type: Documentation
Indicates a need for improvements or additions to documentation
3
Type: Enhancement
Type: Enhancement
Indicates new feature requests
31
Type: Fix
Type: Fix
Indicates a fix to existing code
13
Type: Performance
Type: Performance
4
Type: Question
Type: Question
Indicates that an issue, pull request, or discussion needs more information
2