-
Notifications
You must be signed in to change notification settings - Fork 145
Pull requests: quint-co/quint
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
vscode: fix preceding comment spelling
#2023
opened Sep 11, 2026 by
vividvisit
Loading…
1 of 5 tasks
docs: fix lambda syntax in select example
#2020
opened Sep 5, 2026 by
000wahab000
Loading…
2 of 5 tasks
evaluator: add optional ChoiceSource injection to Rand
#2019
opened Aug 28, 2026 by
bkchr
Contributor
Loading…
examples: correct winningPosition spelling in tic-tac-toe
#2018
opened Aug 27, 2026 by
daixiheguu
Loading…
vscode: fix preceding comment spelling
#2016
opened Aug 26, 2026 by
zjuzhongwen
Loading…
2 of 5 tasks
fix(RS): Fix stale MBT annotation on the initial state of
--mbt traces
#2012
opened Aug 13, 2026 by
bmastenbrook
Loading…
5 tasks done
Fix EINVAL when spawning Apalache server on Windows
#2009
opened Aug 6, 2026 by
fhalim
Loading…
2 tasks done
fix(evaluator): handle non-boolean test results gracefully instead of panicking (#1941)
#1988
opened Jun 5, 2026 by
dusterbloom
Loading…
Ignore non-boolean Rust test results
#1986
opened May 21, 2026 by
puneetdixit200
Loading…
3 of 5 tasks
fix: prevent OOM and RangeError crashes with large
--n-traces simulations
#1983
opened Apr 30, 2026 by
crodriguezvega
Contributor
Loading…
2 of 5 tasks
Removed getOnlyElement from Consensus
#1977
opened Apr 24, 2026 by
josef-widder
Contributor
Loading…
5 tasks
typo: Rename action from 'send' to 'mint'
#1859
opened Jan 20, 2026 by
fominok
Loading…
5 tasks done
ProTip!
What’s not been updated in a month: updated:<2026-08-14.