Issues

• Support Bun as a runtime, beside Node

  enhancement
  sequelcore/quint-check#42 · Filter by author Sequela02 opened on Nov 9, 2026

• Support setToMap

  enhancementgood first issue
  sequelcore/quint-check#41 · Filter by author Sequela02 opened on Nov 9, 2026

• Support powerset

  enhancementhelp wanted
  sequelcore/quint-check#40 · Filter by author Sequela02 opened on Nov 9, 2026

• Translate only the definitions that init, step and the invariants reach

  enhancementhelp wanted
  sequelcore/quint-check#39 · Filter by author Sequela02 opened on Nov 9, 2026

• Agree a semantics for then, then support it

  enhancementhelp wanted
  sequelcore/quint-check#37 · Filter by author Sequela02 opened on Nov 9, 2026
  1

• Support membership in Int and Nat

  enhancementhelp wanted
  sequelcore/quint-check#36 · Filter by author Sequela02 opened on Nov 9, 2026

• Support operators passed as arguments and local operators with parameters

  enhancementhelp wanted
  sequelcore/quint-check#35 · Filter by author Sequela02 opened on Nov 9, 2026

• Support ipow

  enhancementgood first issue
  sequelcore/quint-check#34 · Filter by author Sequela02 opened on Nov 9, 2026

• Name the construct in refusals of operator arguments and local operators

  enhancementgood first issue
  sequelcore/quint-check#33 · Filter by author Sequela02 opened on Nov 9, 2026

• A constant false invariant ends in error instead of violated

  bug
  sequelcore/quint-check#32 · Filter by author Sequela02 opened on Nov 9, 2026