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

Fixed issue #1523
#1561 opened Dec 11, 2024 by Amyr14 Loading…
Example: Two-layered Cache
#1549 opened Nov 11, 2024 by mt40 Loading…
Quint example for consensus algorithm
#1546 opened Nov 7, 2024 by kirdatatjana Loading…
feat: include compiled binaries in releases
#1529 opened Oct 10, 2024 by rnbguy Loading…
4 tasks
Check assumptions during simulation blocked Blocked by another issue or requirement
#1487 opened Aug 23, 2024 by romac Draft
4 tasks
Add generate operator
#1455 opened Jun 27, 2024 by konnov Loading…
5 tasks done
Sum types for ERC20
#1445 opened May 22, 2024 by bugarela Draft
4 tasks
refactoring the ics23 spec
#975 opened Jun 23, 2023 by konnov Loading…
5 tasks done
ProTip! Exclude everything labeled bug with -label:bug.