Labels

• a11y

  Accessibility issue
• bounds
• bug

  Something isn't working
• core
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• errors

  Issues related to error messages
• python

  Pull requests that update python code
• question

  Further information is requested
• refactor

  Refactoring and code clean-up
• solver backend
• sterling

  Relating to Sterling UI
• syntax

  Syntax problems in Forge
• temporal

  Temporal / Electrum / Alloy 6 mode
• vscode
• wontfix

  This will not be worked on