Skip to content

No labels!

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

21 labels

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