Labels

• a11y

  a11y

  Accessibility issue

• bounds

  bounds

• bug

  bug

  Something isn't working

• core

  core

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• errors

  errors

  Issues related to error messages

• python

  python

  Pull requests that update python code

• question

  question

  Further information is requested

• refactor

  refactor

  Refactoring and code clean-up

• solver backend

  solver backend

• sterling

  sterling

  Relating to Sterling UI

• syntax

  syntax

  Syntax problems in Forge

• temporal

  temporal

  Temporal / Electrum / Alloy 6 mode

• vscode

  vscode

• wont-fix

  wont-fix

• wontfix

  wontfix

  This will not be worked on