Labels

• bug

  Something isn't working
• cbmc-analyzer

  Specific to the integration of CBMC
• ci

  CI-related changes
• dependencies

  Related to external tool dependencies
• docker

  Related to Docker image creation
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• klee-analyzer

  Specific to the integration of KLEE
• libfuzzer-analyzer

  Specific to the integration of libFuzzer
• luncov-analyzer

  Specific to the integration of LUncov
• no changelog

  This label disactivates the update check of the changelog file. Only use for user-invisible changes.
• question

  Further information is requested
• validator

  Specific to the validator
• versioning

  Preparation of releases
• wontfix

  This will not be worked on