Skip to content

No labels!

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

dependencies
dependencies
Pull requests that update a dependency file
Good first issue
Good first issue
Indicates a good issue for first-time contributors
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
Priority: Low
Priority: Low
Indicates that an issue or pull request should be resolved behind issues or pull requests labelled `
Priority: Medium
Priority: Medium
Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled
python
python
Pull requests that update Python code
Release
Release
Indicates that an issue or pull request is part of the next release
Roadmap: New Request
Roadmap: New Request
Roadmap: Tracked
Roadmap: Tracked
Items tracked on the roadmap project.
rust
rust
Pull requests that update Rust code
Status: Awaiting author
Status: Awaiting author
Indicates that an issue or pull request requires author action
Status: Awaiting review
Status: Awaiting review
Indicates that a pull request is ready to be reviewed
Status: Blocked
Status: Blocked
Indicates that an issue or pull request cannot currently be worked on
Status: Parked
Status: Parked
Indicates that an issues or pull request will be revisited later
Status: WIP
Status: WIP
Indicates that an issue is currently being worked on or triaged
Type: Bug
Type: Bug
Indicates an unexpected problem or unintended behavior
Type: Documentation
Type: Documentation
Indicates a need for improvements or additions to documentation
Type: Enhancement
Type: Enhancement
Indicates new feature requests
Type: Fix
Type: Fix
Indicates a fix to existing code
Type: Performance
Type: Performance
Type: Question
Type: Question
Indicates that an issue, pull request, or discussion needs more information