Skip to content

No labels!

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

24 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-analyzing
A-analyzing
Area: Analyzing
A-breaking
A-breaking
Area: Breaking
A-command-line
A-command-line
Area: Command-line interfaxe
3
A-convenience
A-convenience
Area: Convenience features
A-formatting
A-formatting
Area: Formatting
5
A-parsing
A-parsing
Area: Parsing
5
A-simplifying
A-simplifying
Area: Simplifying
1
A-syntax-tree
A-syntax-tree
Area: Abstract syntax tree
4
A-translating
A-translating
Area: Language translations (like tau_star, ...)
3
A-verifying
A-verifying
Area: Verifying
2
C-bug
C-bug
Category: Bug
5
C-cleanup
C-cleanup
Category: Cleanup
2
C-doc
C-doc
Category: Documentation
C-enhancement
C-enhancement
Category: Enhancement
4
C-feature-accepted
C-feature-accepted
Category: Accepted feature
1
C-feature-requested
C-feature-requested
Category: Requested feature
6
E-easy
E-easy
Experience: Easy
5
E-hard
E-hard
Experience: Hard
7
E-medium
E-medium
Experience: Medium
6
L-asp
L-asp
Language: Answer Set Programming
2
L-fol
L-fol
Language: First-order logic
9
P-high
P-high
Priority: High
4
P-low
P-low
Priority: Low
9
P-medium
P-medium
Priority: Medium
4