Search results

Unclear error message when record keys are keywords

error messagesCollects issues steming from poor error messagesCollects issues steming from poor error messages

Status: Open.

#1688 In informalsystems/quint;

· andrewjstone opened on Jun 8, 2025

Run benchmarks on Codspeed instead of GitHub runners

Status: Open.

#1684 In informalsystems/quint;

· romac opened on Jun 5, 2025

Report error on duplicated fields on records

good first issueA simple issue to start withA simple issue to start with

Status: Open.

#1677 In informalsystems/quint;

· bugarela opened on May 29, 2025

Build and install from Nix devshell

Status: Open.

#1671 In informalsystems/quint;

· zmitchell opened on May 27, 2025

Add <code>fold1</code>, <code>foldl1</code> and <code>foldr1</code>

Status: Open.

#1649 In informalsystems/quint;

· bugarela opened on Apr 30, 2025

Transpilation issue of <code>put</code> in between other actions

bugSomething isn't workingSomething isn't working

tla+ transpilationQuint to TLA+ transpilerQuint to TLA+ transpiler

Status: Open.

#1644 In informalsystems/quint;

· kakysha opened on Apr 11, 2025

[Rust] Add support for the <code>--verbosity</code> flag

rustIssue related to the Rust part of the codebaseIssue related to the Rust part of the codebase

Status: Open.

#1640 In informalsystems/quint;

· bugarela opened on Apr 8, 2025

[Rust] Add support for the <code>--mbt</code> flag

rustIssue related to the Rust part of the codebaseIssue related to the Rust part of the codebase

Status: Open.

#1639 In informalsystems/quint;

· bugarela opened on Apr 8, 2025

[Rust] Add support for <code>--seed</code>

rustIssue related to the Rust part of the codebaseIssue related to the Rust part of the codebase

Status: Open.

#1638 In informalsystems/quint;

· bugarela opened on Apr 8, 2025

[Rust] Parallelize simulations

rustIssue related to the Rust part of the codebaseIssue related to the Rust part of the codebase

Status: Open.

#1637 In informalsystems/quint;

· bugarela opened on Apr 8, 2025

Use the Rust evaluator for the REPL

Status: Open.

#1635 In informalsystems/quint;

· bugarela opened on Apr 8, 2025

Use the Rust evaluator for <code>quint test</code>

Status: Open.

#1634 In informalsystems/quint;

· bugarela opened on Apr 8, 2025