Search results

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

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

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#1941 In quint-co/quint;

· beu5a opened on Mar 16, 2026

Improve temporary file security in TLC backend

Status: Open.

#1935 In quint-co/quint;

· erickpintor opened on Mar 10, 2026

Type comparison bug in addedEntities effect checker

bugSomething isn't workingSomething isn't working

Status: Open.

#1934 In quint-co/quint;

· erickpintor opened on Mar 10, 2026

Fix command injection vulnerability

bugSomething isn't workingSomething isn't working

Status: Open.

#1933 In quint-co/quint;

· erickpintor opened on Mar 10, 2026

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

Status: Open.

#1930 In quint-co/quint;

· marceloadsj opened on Mar 8, 2026

Problem with emacs setup from docs

Status: Open.

#1883 In quint-co/quint;

· MarkoSchuetz opened on Feb 2, 2026

quint test doesn't support --mbt

Status: Open.

#1842 In quint-co/quint;

· bugarela opened on Jan 15, 2026

Unable to use allListsUpTo with verify subcommand

Status: Open.

#1840 In quint-co/quint;

· TheKK opened on Jan 13, 2026