Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
active 2024-03-22 → 2026-06-27 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 828 days from 2024-03-22 to 2026-06-27. Pushes: 1 total, peak 1 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 9 total, peak 3 in a day. Comments: 23 total, peak 7 in a day. Stars: 79 total, peak 4 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| nimble-code | 14 | 1 | 0 | 12 |
| gshanemiller | 11 | 0 | 0 | 6 |
| mkakh | 4 | 0 | 0 | 3 |
| melintea | 1 | 0 | 0 | 1 |
| liuzikai | 1 | 0 | 0 | 1 |
| LauraPanizo | 1 | 0 | 0 | 0 |
| ericmercer | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#84nimble-code2025-09-16 21:08Interactive simulation shows unexecutable choices
- Issue comment#82gshanemiller2025-09-16 20:01Intraprocess Fairness
- Issue#84LauraPanizo2025-09-16 13:34Interactive simulation shows unexecutable choices
- Issue comment#83nimble-code2025-09-15 03:32Trail replay results in "transition failed" or negative step counts
- Issue comment#83mkakh2025-09-14 20:25Trail replay results in "transition failed" or negative step counts
- Issue comment#83nimble-code2025-09-14 17:41Trail replay results in "transition failed" or negative step counts
- Issue comment#83mkakh2025-09-14 04:01Trail replay results in "transition failed" or negative step counts
- Issue comment#82nimble-code2025-09-12 22:27Fairness bug?
- Issue comment#82gshanemiller2025-09-12 21:10Fairness bug?
- Issue comment#81gshanemiller2025-08-06 21:54Clarification: progress/liveness Checks
- Issue#81gshanemiller2025-08-06 21:54Clarification: progress/liveness Checks
- Issue comment#81nimble-code2025-08-06 21:35Clarification: progress/liveness Checks
- Issue comment#81gshanemiller2025-08-06 21:15Clarification: progress/liveness Checks
- Issue comment#81nimble-code2025-08-06 21:01Clarification: progress/liveness Checks
- Issue comment#81gshanemiller2025-08-06 20:53Clarification: progress/liveness Checks
- Issue comment#81nimble-code2025-08-06 20:23Clarification: progress/liveness Checks
- Issue#81gshanemiller2025-08-06 20:02Clarification: progress/liveness Checks
- Issue comment#80gshanemiller2025-08-06 19:29Endstate usage Redux
- Issue#80gshanemiller2025-08-06 19:29Endstate usage Redux
- Issue#80gshanemiller2025-07-31 04:39Endstate usage Redux
- Issue#79gshanemiller2025-07-31 04:22Clarification on end-state usage
- Issue comment#79nimble-code2025-07-29 22:39Clarification on end-state usage
- Issue#78ericmercer2025-01-13 23:04SPIN fails to find assertion violation with `-run`
- Issue comment#74melintea2024-06-21 23:08Better printf support for multiple mtype and multiple %e
- Issue comment#74nimble-code2024-06-21 22:55Better printf support for multiple mtype and multiple %e
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 79 stars here means stars gained during the window, not the repo's star count.