Labels

• bug

  Something isn't working
• confirmed
• Cosmetic

  Mostly aesthetic issues, that does not affect usage
• critical
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• feature

  New feature or request
• GUI
• help wanted

  Extra attention is needed
• installation

  Packaging and installation
• invalid

  This doesn't seem right
• Linux

  Linux platform
• MacOS

  This issue is specific to MacOS
• need more information
• performance
• previewbuild

  Question/Issue is realted to a prerelease or beta version of UPPAAL
• question

  Further information is requested
• simulator
• SMC
• stratego

  Specific to stratego
• TestGenerator
• upstream bug

  A bug in an upstream lib or dependency
• waiting for release

  Has been fixed in the source tree, but a version with the fix has not been released yet
• Windows

  Windows platform
• wontfix

  This will not be worked on