All issues

Search results

Minor typo in select example

Status: Open.

#2017 In quint-co/quint;

· liang636600 opened on Aug 26, 2026

Doccomment parser error

Status: Open.

#2013 In quint-co/quint;

· SweersJ opened on Aug 14, 2026

--mbt traces label the initial state with a stale actionTaken/nondetPicks from a previous sample's failed step attempt (Rust backend)

Status: Open.

#2011 In quint-co/quint;

· bmastenbrook opened on Aug 13, 2026

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

Status: Open.

#2010 In quint-co/quint;

· gm0stache opened on Aug 8, 2026

Operator with an under-applied generic annotation crashes the typechecker

Status: Open.

#2006 In quint-co/quint;

· pulasthibandara opened on Aug 2, 2026

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

Status: Open.

#2003 In quint-co/quint;

· nsengupta opened on Jul 27, 2026

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

Status: Open.

#2002 In quint-co/quint;

· unthingable opened on Jul 24, 2026

Feedback for “Lesson 2 - Integers”

Status: Open.

#1995 In quint-co/quint;

· Free-Rat opened on Jul 17, 2026

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

Status: Open.

#1991 In quint-co/quint;

· lovesegfault opened on Jun 24, 2026

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

Status: Open.

#1989 In quint-co/quint;

· TSPMP opened on Jun 5, 2026

Feedback for “Frequently Asked Questions”

Status: Open.

#1987 In quint-co/quint;

· Chriscbr opened on May 24, 2026

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

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#1965 In quint-co/quint;

· crodriguezvega opened on Apr 1, 2026