Issues

• Nearby --seed values give overlapping random streams

  quint-co/quint#2044 · Filter by author cason opened on Oct 22, 2026

• Rust backend output parsing rejects variable names containing constructor

  quint-co/quint#2041 · Filter by author beu5a opened on Oct 12, 2026

• quint run output is truncated when stdout is a slow pipe (process.exit before flush)

  quint-co/quint#2036 · Filter by author sjmurdoch opened on Oct 4, 2026
  1

• Feedback for “Understanding the Simulator” - typo

  quint-co/quint#2035 · Filter by author charliehill opened on Oct 2, 2026

• 1.to(10).fold(...) is unintuitive

  quint-co/quint#2034 · Filter by author plafer opened on Sep 29, 2026
  2

• Internal error in quint verify: x == x on one-constructor sum type gets distinct row variables

  quint-co/quint#2022 · Filter by author neewamp opened on Sep 9, 2026

• Quint verify fails while quint typechecks and simulation works on single constructor

  quint-co/quint#2021 · Filter by author neewamp opened on Sep 9, 2026

• Minor typo in select example

  quint-co/quint#2017 · Filter by author liang636600 opened on Aug 26, 2026

• Doccomment parser error

  quint-co/quint#2013 · Filter by author SweersJ opened on Aug 14, 2026

• lessons, "hello world": content seemingly out of sync with the docs in the repo here

  quint-co/quint#2010 · Filter by author gm0stache opened on Aug 8, 2026

• Operator with an under-applied generic annotation crashes the typechecker

  quint-co/quint#2006 · Filter by author pulasthibandara opened on Aug 2, 2026

• Feedback for “Lesson 3 - Basic anatomy of a protocol in Quint”

  quint-co/quint#2003 · Filter by author nsengupta opened on Jul 27, 2026

• Nested variant-wrapped record update compiles in Quint but fails in Apalache

  quint-co/quint#2002 · Filter by author unthingable opened on Jul 24, 2026

• Feedback for “Lesson 2 - Integers”

  quint-co/quint#1995 · Filter by author Free-Rat opened on Jul 17, 2026

• Effect checker accepts (x' = x) or <pure-bool>; simulator and TLC backend then silently misbehave

  quint-co/quint#1991 · Filter by author lovesegfault opened on Jun 24, 2026

• quint verify teaching.qnt --inductive-invariant IndInv hangs

  quint-co/quint#1989 · Filter by author TSPMP opened on Jun 5, 2026

• Feedback for “Frequently Asked Questions”

  quint-co/quint#1987 · Filter by author Chriscbr opened on May 24, 2026

• RangeError: Invalid string length error when running large simulations with --mbt

  bug
  Bug

  quint-co/quint#1965 · Filter by author crodriguezvega opened on Apr 1, 2026

• Rust evaluator panics when a test definition returns a non-boolean value

  bug
  Bug

  quint-co/quint#1941 · Filter by author beu5a opened on Mar 16, 2026

• Improve temporary file security in TLC backend

  quint-co/quint#1935 · Filter by author erickpintor opened on Mar 10, 2026

• Type comparison bug in addedEntities effect checker

  bug
  quint-co/quint#1934 · Filter by author erickpintor opened on Mar 10, 2026

• Fix command injection vulnerability

  bug
  quint-co/quint#1933 · Filter by author erickpintor opened on Mar 10, 2026

• VS Code ext - Add support for syntax highlight on markdown fenced blocks

  quint-co/quint#1930 · Filter by author marceloadsj opened on Mar 8, 2026

• Problem with emacs setup from docs

  quint-co/quint#1883 · Filter by author MarkoSchuetz opened on Feb 2, 2026

• quint test doesn't support --mbt

  quint-co/quint#1842 · Filter by author bugarela opened on Jan 15, 2026
  1