Skip to content
GitLab
Explore
Sign in
af3
kernel
Labels
All
Last created
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
JavaFX
af3
Issues
Merge requests
Area::Formal Verification
af3
Issues
Merge requests
Area::Product maintainance
af3
Issues
Merge requests
Prio::High
af3
Issues
Merge requests
State::Resolved
af3
Issues
Merge requests
State::Feedback Requested
af3
Issues
Merge requests
State::In Progress
af3
Issues
Merge requests
State::New
af3
Issues
Merge requests
State::Rejected
af3
Issues
Merge requests
Type::Bug
af3
Issues
Merge requests
Type::Change Request
af3
Issues
Merge requests
Type::Feature
af3
Issues
Merge requests
Type::Support
af3
Issues
Merge requests
Area::DSE
af3
Issues
Merge requests
Hackathon
af3
Issues
Merge requests
Feedback implemented
af3 / kernel
Issues
Merge requests
Verified
af3 / kernel
Issues
Merge requests
Code-Reviewed
af3 / kernel
Issues
Merge requests
Prioritized