active 2023-08-15 → 2023-08-27 (UTC)
Complete coverage26,473 / 26,473 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-22 (UTC)
Events
15
Pushes
4
Pull requests
2
Issues
8
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 13 days from 2023-08-15 to 2023-08-27. Pushes: 4 total, peak 2 in a day. Pull requests: 2 total, peak 2 in a day. Issues: 8 total, peak 6 in a day. Comments: 0 total, peak 0 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 |
|---|---|---|---|---|
| DavePearce | 14 | 4 | 2 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#7DavePearce2023-08-27 21:14Polynomial Example
- Issue#6DavePearce2023-08-27 21:13Support Derivation Rules
- Issue#5DavePearce2023-08-27 21:10Add More Tests!
- Issue#4DavePearce2023-08-27 21:10Generate `SMT_LIB` output
- Issue#5DavePearce2023-08-27 21:07Add More Tests!
- Issue#4DavePearce2023-08-27 21:06Generate `SMT_LIB` output
- Issue#3DavePearce2023-08-24 23:12Efficiency of SAT Example
- Issue#1DavePearce2023-08-24 23:11Add Minimal Test
- Pull request#2DavePearce2023-08-24 23:11
- Pull request#2DavePearce2023-08-24 23:11
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.