Skip to content

No labels!

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

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
6
completeness
completeness
3
critical
critical
Important/Critical bugs / issues.
1
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
6
feedback required
feedback required
To continue work on this issue, feedback from participants is required
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
medium
medium
Bugs/issues of medium importance
8
minor
minor
Bugs/issues of minor importance
5
parser
parser
ISLa-Parser related issues
8
question
question
Further information is requested
SMT-LIB
SMT-LIB
Bugs related to ISLa's handling of SMT-LIB formulas.
2
wontfix
wontfix
This will not be worked on