Labels · SoSy-Lab / Benchmarking / SV-Benchmarks

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 29

AG

SoSy-Lab
Issue should to be discussed in the next group meeting
- Issues
- Merge requests
C

SoSy-Lab / Benchmarking / SV-Benchmarks
related to tasks written in C
- Issues
- Merge requests
CI

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
GDPR

SoSy-Lab
Related to GDPR compliance (data protection)
- Issues
- Merge requests
Help Needed

SoSy-Lab / Benchmarking
- Issues
- Merge requests
Java

SoSy-Lab / Benchmarking / SV-Benchmarks
related to tasks written in Java
- Issues
- Merge requests
MR Needs Work by Submitter

SoSy-Lab / Benchmarking
- 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
affects SV-COMP rules

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
build system and metadata

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
category definitions

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
community-meeting

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
concurrency

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
data-race

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
documentation

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
duplicate

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
for test generation

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests
for validation

SoSy-Lab / Benchmarking / SV-Benchmarks
- Issues
- Merge requests