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
Verifier Archives 2020
Labels
All
Name
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
AG
SoSy-Lab
Issue should to be discussed in the next group meeting
Issues
Merge requests
Fork is private?
SoSy-Lab / SV-Comp
Issues
Merge requests
GDPR
SoSy-Lab
Related to GDPR compliance (data protection)
Issues
Merge requests
Prerun Requested
SoSy-Lab / SV-Comp
Issues
Merge requests
Problem with required package?
SoSy-Lab / SV-Comp
Issues
Merge requests
Shared runners enabled?
SoSy-Lab / SV-Comp
Issues
Merge requests
Status
CI Passes and Verifier Merged
SoSy-Lab / SV-Comp
Issues
Merge requests
Status
Final Results Approved
SoSy-Lab / SV-Comp
Issues
Merge requests
Status
Prerun Results OK
SoSy-Lab / SV-Comp
Issues
Merge requests
Status
Works with CoVeriTeam
SoSy-Lab / SV-Comp
Issues
Merge requests
Student Task
SoSy-Lab
A task that can be given to a student assistant who has free time
Issues
Merge requests
Teaching
SoSy-Lab
Issues
Merge requests
Thesis topic
SoSy-Lab
BA/MA thesis
Issues
Merge requests
Todo for submitter
SoSy-Lab / SV-Comp
Issues
Merge requests
Works with CoVeriTeam-Remote
SoSy-Lab / SV-Comp
Issues
Merge requests
bug
SoSy-Lab / SV-Comp
Issues
Merge requests
discussion
SoSy-Lab / SV-Comp
Issues
Merge requests
duplicate
SoSy-Lab / SV-Comp
Issues
Merge requests
enhancement
SoSy-Lab / SV-Comp
Issues
Merge requests
help wanted
SoSy-Lab / SV-Comp
Issues
Merge requests
Prev
1
2
Next
Prioritized