All pull requests

Pull requests

• fix(flattening): rename dependencies of instance overrides

  #2079·Soham1660 opened Nov 13, 2026·

  ·
  1

• Exit non-zero when quint verify fails while reporting a result

  #2078·rqms40 opened Nov 12, 2026Contributor·4 of 5 tasks·

  ·
  1

• Rename record fields in the language server

  #2077·xnhp opened Nov 10, 2026·

  ·
  1

• skills(quint-lang): combine actions with all/any; describe action properties

  #2067·marti-s opened Nov 2, 2026·3 tasks done·

  ·
  1

• Fix equality of empty sets in the TypeScript evaluator

  #2064·rqms40 opened Oct 31, 2026Contributor·4 of 5 tasks·

  ·
  1

• Report an error for type aliases used without their type arguments

  #2063·rqms40 opened Oct 31, 2026Contributor·4 of 5 tasks·

  ·
  1

• repl: add tab-completion for names, types and REPL commands

  #2037·fhalim opened Oct 5, 2026·7 tasks done·

  ·

• evaluator: add optional ChoiceSource injection to Rand

  #2019·bkchr opened Aug 28, 2026Contributor·

  ·

• docs: fix typo in Getting Started

  #2014·kanarus opened Aug 14, 2026·1 of 5 tasks·

  ·

• Choose some implementation

  #2005·SweersJ opened Jul 31, 2026·5 tasks done·

  ·
  1

• fix(evaluator): handle non-boolean test results gracefully instead of panicking (#1941)

  #1988·dusterbloom opened Jun 5, 2026·

  ·
  1

  1

• Ignore non-boolean Rust test results

  #1986·puneetdixit200 opened May 21, 2026·3 of 5 tasks·

  ·
  1

• fix: prevent OOM and RangeError crashes with large --n-traces simulations

  #1983·crodriguezvega opened Apr 30, 2026Contributor·2 of 5 tasks·

  ·
  1

• Fix a typo

  #1978·DenisGorbachev opened Apr 27, 2026·2 tasks done·

  ·

• Removed getOnlyElement from Consensus

  #1977·josef-widder opened Apr 24, 2026Contributor·5 tasks·

  ·
  2

• Added run test command above run

  #1960·oakenknight opened Mar 30, 2026·2 of 5 tasks·

  ·
  2

• [WIP] PoC for trace validation

  #1873·bugarela opened Jan 27, 2026Collaborator·

  ·
  1

• typo: Rename action from 'send' to 'mint'

  #1859·fominok opened Jan 20, 2026·5 tasks done·

  ·

• allow nondet shadows variable

  #1827·yazaldefilimone opened Dec 18, 2025·2 of 5 tasks·

  ·
  1

  1

• Fix var polymorphism between instances

  #1806·bugarela opened Nov 6, 2025Collaborator·5 tasks·

  ·

• Check assumptions during simulation

  blocked
  #1487·romac opened Aug 23, 2024Contributor·4 tasks·

  ·
  3

• Sum types for ERC20

  #1445·bugarela opened May 22, 2024Collaborator·4 tasks·

  ·

• refactoring the ics23 spec

  #975·konnov opened Jun 23, 2023Contributor·5 tasks done·

  ·
  46