Labels

• blocked

  blocked

  Blocked by another issue or requirement

• BLOCKING

  BLOCKING

  This issues blocks the reporters work

• bug

  bug

  Something isn't working

• doc

  doc

  Improvements or additions to documentation

• effect system

  effect system

  Quint effects checker

• effort-easy

  effort-easy

  Can be completed within about 1 day

• effort-hard

  effort-hard

  Takes >= 5 days (probably requires issue refactor)

• effort-medium

  effort-medium

  Can be completed within about 3 days

• error messages

  error messages

  Collects issues steming from poor error messages

• example

  example

  Language and specification examples

• feedback

  feedback

  User feedback

• flattening

  flattening

• good first issue

  good first issue

  A simple issue to start with

• help wanted

  help wanted

  Extra attention is needed

• impact-high

  impact-high

  High impact

• impact-low

  impact-low

  Low impact

• impact-medium

  impact-medium

  Medium impact

• informal-user-support

  informal-user-support

• input needed

  input needed

  Further information is requested

• language design

  language design

  Language specification

• modularity

  modularity

  Issues and features affecting modularity of specs

• name resolution

  name resolution

  Name and imports resolution

• parser

  parser

  Quint parser

• performance

  performance

• repl

  repl

  Quint REPL (phase 5c)

• rust

  rust

  Issue related to the Rust part of the codebase

• simulator

  simulator

  Quint simulator

• state composition

  state composition

• tech-debt

  tech-debt

  Technical debt

• tla+ transpilation

  tla+ transpilation

  Quint to TLA+ transpiler