Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
SV-Comp
Labels
All
Updated date
Labels can be applied to issues, merge requests, and epics. Group labels are available for any project within the group.
Labels
Status
Works with CoVeriTeam
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Works with CoVeriTeam-Remote
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Prerun Requested
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
invalid
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
duplicate
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
bug
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
enhancement
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
help wanted
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Todo for submitter
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Shared runners enabled?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Problem with required package?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Fork is private?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
Prerun Results OK
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
Final Results Approved
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
todo
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
question
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
priority
high
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
information
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
discussion
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
CI Passes and Verifier Merged
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Prev
1
2
Next
Prioritized