Labels

• bug

  Something isn't working
• completeness
• critical

  Important/Critical bugs / issues.
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• feedback required

  To continue work on this issue, feedback from participants is required
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• medium

  Bugs/issues of medium importance
• minor

  Bugs/issues of minor importance
• parser

  ISLa-Parser related issues
• question

  Further information is requested
• SMT-LIB

  Bugs related to ISLa's handling of SMT-LIB formulas.
• wontfix

  This will not be worked on