Skip to content

Pull requests: informalsystems/quint

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add Dijkstra's Stabilizing Token Ring example in Quint
#1583 opened Jan 15, 2025 by MahtabNorouzi Loading… updated Jan 21, 2025
4 tasks
Counting witnesses
#1562 opened Dec 13, 2024 by bugarela Loading… updated Jan 20, 2025
3 of 4 tasks
Example: Two-layered Cache
#1549 opened Nov 11, 2024 by mt40 Loading… updated Jan 4, 2025
refactoring the ics23 spec
#975 opened Jun 23, 2023 by konnov Loading… updated Dec 20, 2024
5 tasks done
Add newsletter signp form
#1563 opened Dec 15, 2024 by aaronmw Loading… updated Dec 16, 2024
updated files to support new tuple representation
#1519 opened Sep 30, 2024 by MahtabNorouzi Loading… updated Dec 9, 2024
feat: include compiled binaries in releases
#1529 opened Oct 10, 2024 by rnbguy Loading… updated Nov 30, 2024
4 tasks
Quint example for k-set consensus algorithm
#1547 opened Nov 7, 2024 by kirdatatjana Draft updated Nov 14, 2024
Quint example for consensus algorithm
#1546 opened Nov 7, 2024 by kirdatatjana Loading… updated Nov 7, 2024
Add generate operator
#1455 opened Jun 27, 2024 by konnov Loading… updated Oct 3, 2024
5 tasks done
Check assumptions during simulation blocked Blocked by another issue or requirement
#1487 opened Aug 23, 2024 by romac Draft updated Aug 30, 2024
4 tasks
Sum types for ERC20
#1445 opened May 22, 2024 by bugarela Draft updated Jun 18, 2024
4 tasks
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.