-
Notifications
You must be signed in to change notification settings - Fork 38
Insights: informalsystems/quint
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on informalsystems/quint in the last week.
Want to help out?
2 Pull requests opened by 2 people
-
Fix typos in docs
#1581 opened
Dec 28, 2024 -
Changed Any Operator to be less Wasteful
#1582 opened
Dec 29, 2024
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Simulator wastes a lot of resources computing states that won't be used
#1552 commented on
Dec 29, 2024 • 0 new comments