Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.
  • priocritical
    SoSy-Lab / Software
  • priomajor
    SoSy-Lab / Software
  • priominor
    SoSy-Lab / Software
  • priominimal
    SoSy-Lab / Software

    • Other labels

  • AG
    SoSy-Lab
    Issue should to be discussed in the next group meeting
  • CPA-Workshop
    SoSy-Lab / Software / CPAchecker
    to be discussed at the yearly CPA workshop
  • Doing
    SoSy-Lab / Software / CPAchecker
  • GDPR
    SoSy-Lab
    Related to GDPR compliance (data protection)
  • LDV
    SoSy-Lab / Software / CPAchecker
    Issues important for the LDV project
  • LTL
    SoSy-Lab / Software / CPAchecker
    related to verifying a specification given as arbitrary LTL formula
  • OS: Linux
    SoSy-Lab / Software / CPAchecker
  • OS: Mac
    SoSy-Lab / Software / CPAchecker
  • OS: Windows
    SoSy-Lab / Software / CPAchecker
  • Regression
    SoSy-Lab / Software / CPAchecker
  • SV-COMP
    SoSy-Lab / Software / CPAchecker
    Issue that affects SV-COMP
  • Student Task
    SoSy-Lab
    A task that can be given to a student assistant who has free time
  • Teaching
    SoSy-Lab
  • Thesis topic
    SoSy-Lab
    BA/MA thesis
  • aliasing
    SoSy-Lab / Software / CPAchecker
    related to pointer aliasing in the analyzed program
  • array
    SoSy-Lab / Software / CPAchecker
    related to arrays in the analyzed program
  • attributes
    SoSy-Lab / Software / CPAchecker
    related to __attribute__(...) in the analyzed program
  • auto-migrated
    SoSy-Lab / Software / CPAchecker
  • backwards
    SoSy-Lab / Software / CPAchecker
    related to doing a backwards analysis
  • benchmarks
    SoSy-Lab / Software / CPAchecker