SPECIfication MINimizer. A different kind of slicer for Java.
active 2023-08-24 → 2024-05-03 (UTC)
Complete coverage27,943 / 27,943 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-22 (UTC)
Events
2K
Pushes
349
Pull requests
356
Issues
98
Stars
0
Forks
3
Activity over time
Daily event counts in the loaded window
Line chart, 254 days from 2023-08-24 to 2024-05-03. Pushes: 349 total, peak 24 in a day. Pull requests: 356 total, peak 20 in a day. Issues: 98 total, peak 16 in a day. Comments: 614 total, peak 31 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| kelloggm | 952 | 215 | 145 | 312 |
| LoiNguyenCS | 722 | 130 | 189 | 242 |
| tahiat | 106 | 1 | 20 | 44 |
| jonathan-m-phillips | 51 | 3 | 2 | 16 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.