Prioritized Labels
  • Bug
    Affects correctness of results
    • Project label
  • Issue
    Affects completeness of result or performance of computation
    • Project label
  • Other Labels
  • Cosmetic
    Affects output, but neither correctness nor completness of results, nor performance of computations
    • Project label
  • Feature
    New feature request
    • Project label
  • Tests
    Affects only the test cases from the test suite
    • Project label