Labels usage guidelines
Something isn't working. Indicates an unexpected problem or unintended behavior.
Indicates a need for improvements or additions to documentation.
This issue or pull request already exists. Indicates similar issues, pull requests, or discussions.
New feature or request.
Good for newcomers. Indicates a good issue for first-time contributors.
Extra attention is needed. Indicates that a maintainer wants help on an issue or pull request.
This issue / PR doesn't seem right. Indicates that an issue, pull request, or discussion is no longer relevant.
Further information is requested. Indicates that an issue, pull request, or discussion needs more information.
This will not be worked on. Indicates that work won't continue on an issue, pull request, or discussion.
Issues from customers.
Related to generation tests for C++.
Performance issues.
Check if the issue can be reproduced in last version.
Related to internal work of KLEE.
Infrastructure issues.