Labels

Labels

• kind: bug

  kind: bug

  Something isn't working properly

• kind: feature

  kind: feature

  New feature or request

• kind: internal

  kind: internal

  Changes only affect the internals, and _not_ the public API or external-facing docs

• kind: question

  kind: question

  This is a usage or similar question

• scope: dependencies

  scope: dependencies

  Issues or PRs about updating a dependency

• scope: docs

  scope: docs

  Documentation could be improved. Or changes that only affect docs

• scope: LTLMoP

  scope: LTLMoP

  Enabled in LTLMoP itself

• scope: RegionEditor

  scope: RegionEditor

  Related to the Region Editor

• scope: Server

  scope: Server

  Related to the Server

• scope: Simulator

  scope: Simulator

  Related to the Simulator

• scope: SpecEditor

  scope: SpecEditor

  Related to the Spec Editor

• solution: duplicate

  solution: duplicate

  This issue or pull request already exists

• solution: invalid

  solution: invalid

  This doesn't seem right

• solution: wontfix

  solution: wontfix

  This will not be worked on