Labels

• api

  Changes to the program's interface (including the interface to humans).
• bug

  An error, usually in the code.
• ci

  Issues and questions related to continuous integration scripts & processes.
• dependencies

  Pull requests that update a dependency file, or issues caused by bugs in dependencies
• documentation

  Adding or editing any form of documentation (documentation files, code comments, website pages, etc)
• duplicate
• enhancement

  A new feature, an improvement, or other addition.
• good first issue
• help wanted
• invalid
• question

  A question, usually relevant to TLAPS.
• semantic checker

  Issues relating to TLAPM's resolution of semantic properties
• soundness

  Issues and PRs related to getting TLAPM to prove FALSE
• syntax parser

  Issues relating to TLAPM's syntax parser
• testing

  Related to tests of code, continuous integration, and related topics.
• translator

  Issues relating to TLAPM's translation of TLA+ to backend prover obligations
• ui

  user interface
• wontfix

  An issue that is not planned to be addressed in the foreseeable future.