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

  • bit fields
    SoSy-Lab / Software / CPAchecker
    related to structs with bit fields in the analyzed program
  • blocked by solver
    SoSy-Lab / Software / CPAchecker
    This is a problem in a solver that CPAchecker depends on.
  • bug
    SoSy-Lab / Software / CPAchecker
    bug in CPAchecker
  • component: ARGCPA
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: AppEngine
    SoSy-Lab / Software / CPAchecker
    DOES NOT EXIST ANYMORE
  • component: AutomatonCPA
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: BAM
    SoSy-Lab / Software / CPAchecker
    Maintainer: @kfriedberger
  • component: BDDCPA
    SoSy-Lab / Software / CPAchecker
    Maintainer: @kfriedberger
  • component: BMC & Induction
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: BenchExec
    SoSy-Lab / Software / CPAchecker
    DO NOT USE - use https://github.com/sosy-lab/benchexec/issues
  • component: Block Summaries
    SoSy-Lab / Software / CPAchecker
  • component: Build system
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: CDT
    SoSy-Lab / Software / CPAchecker
    Problem inside Eclipse CDT (the library we use for parsing C)
  • component: CFA & AST
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: CMC
    SoSy-Lab / Software / CPAchecker
    Maintainer: @mjakobs
  • component: CPAclipse
    SoSy-Lab / Software / CPAchecker
    DOES NOT EXIST ANYMORE
  • component: Configurations
    SoSy-Lab / Software / CPAchecker
  • component: Core
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: Counterexample Check
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: Custom Instructions
    SoSy-Lab / Software / CPAchecker
    Maintainer: @mjakobs