Labels

• kind: bug

  Something isn't working properly
• kind: feature

  New feature or request
• kind: internal

  Changes only affect the internals, and _not_ the public API or external-facing docs
• kind: question

  This is a usage or similar question
• scope: dependencies

  Issues or PRs about updating a dependency
• scope: docs

  Documentation could be improved. Or changes that only affect docs
• scope: LTLMoP

  Enabled in LTLMoP itself
• scope: RegionEditor

  Related to the Region Editor
• scope: Server

  Related to the Server
• scope: Simulator

  Related to the Simulator
• scope: SpecEditor

  Related to the Spec Editor
• solution: duplicate

  This issue or pull request already exists
• solution: invalid

  This doesn't seem right
• solution: wontfix

  This will not be worked on