Labels

• backlog

  Work item pending prioritization or future planning
• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• help wanted

  Extra attention is needed
• question

  Further information is requested
• sv-comp

  Feature or bug we need for SV-Comp
• wontfix

  This will not be worked on