Labels · Michael Sammler / GQM-Coq · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

WIP

Michael Sammler / GQM-Coq
- Issues
- Merge requests
bug

Michael Sammler / GQM-Coq
- Issues
- Merge requests
critical

Michael Sammler / GQM-Coq
- Issues
- Merge requests
extension

Michael Sammler / GQM-Coq
- Issues
- Merge requests
feature

Michael Sammler / GQM-Coq
- Issues
- Merge requests
need help

Michael Sammler / GQM-Coq
- Issues
- Merge requests
needs more info

Michael Sammler / GQM-Coq
- Issues
- Merge requests
untested

Michael Sammler / GQM-Coq
- Issues
- Merge requests
wontfix

Michael Sammler / GQM-Coq
- Issues
- Merge requests