Labels

• blocked

  Blocked by another issue or requirement
• BLOCKING

  This issues blocks the reporters work
• bug

  Something isn't working
• doc

  Improvements or additions to documentation
• effect system

  Quint effects checker
• effort-easy

  Can be completed within about 1 day
• effort-hard

  Takes >= 5 days (probably requires issue refactor)
• effort-medium

  Can be completed within about 3 days
• error messages

  Collects issues steming from poor error messages
• example

  Language and specification examples
• feedback

  User feedback
• flattening
• good first issue

  A simple issue to start with
• help wanted

  Extra attention is needed
• impact-high

  High impact
• impact-low

  Low impact
• impact-medium

  Medium impact
• informal-user-support
• input needed

  Further information is requested
• language design

  Language specification
• modularity

  Issues and features affecting modularity of specs
• name resolution

  Name and imports resolution
• parser

  Quint parser
• performance
• repl

  Quint REPL (phase 5c)
• rust

  Issue related to the Rust part of the codebase
• simulator

  Quint simulator
• state composition
• tech-debt

  Technical debt
• tla+ transpilation

  Quint to TLA+ transpiler