Skip to content

No labels!

There aren’t any labels for this repository quite yet.

17 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-assertion
A-assertion
Area: Assertion
2
A-outcome
A-outcome
Area: Outcome
A-quantifier
A-quantifier
Area: Quantifier
1
A-solver
A-solver
Area: Solver
1
A-test
A-test
Area: Test
5
C-bug
C-bug
Category: Bug
C-cleanup
C-cleanup
Category: Cleanup
C-enhancement
C-enhancement
Category: Enhancement
3
C-feature-accepted
C-feature-accepted
Category: Accepted feature
C-feature-requested
C-feature-requested
Category: Requested feature
8
E-easy
E-easy
Experience: Easy
E-hard
E-hard
Experience: Hard
3
E-medium
E-medium
Experience: Medium
1
P-high
P-high
Priority: High
P-low
P-low
Priority: Low
P-medium
P-medium
Priority: Medium
pre-0.1
pre-0.1
Issues dating back to the experimentation phase before the push towards version 0.1