active 2023-09-07 → 2024-01-09 (UTC)
Complete coverage26,469 / 26,469 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-21 (UTC)
Events
77
Pushes
27
Pull requests
10
Issues
8
Stars
12
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 125 days from 2023-09-07 to 2024-01-09. Pushes: 27 total, peak 10 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 8 total, peak 3 in a day. Comments: 3 total, peak 2 in a day. Stars: 12 total, peak 3 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
Recent activity
Latest issues, pull requests and releases
- Pull request#13vimwitch2024-01-09 15:59
- Pull request#120xWOLAND2023-10-29 21:15
- Pull request#10vimwitch2023-10-18 01:36
- Issue#11vimwitch2023-10-15 18:37Witness solver does not handle unconstrained assignments correctly
- Pull request#10vimwitch2023-10-15 03:34
- Issue#1vimwitch2023-10-12 16:43Reduce the `mul` operator transition constraint degree
- Pull request#8vimwitch2023-10-12 16:43
- Pull request#8vimwitch2023-10-11 23:43
- Pull request#5vimwitch2023-10-11 21:52
- Issue#7vimwitch2023-10-11 02:39Revealing what circuit is being proven
- Issue#6vimwitch2023-10-11 02:32New opcode tracking issue
- Issue#2vimwitch2023-10-10 15:09Add `modinv` operator
- Pull request#4vimwitch2023-10-10 15:09
- Pull request#5vimwitch2023-10-09 23:02
- Pull request#4joyqvq2023-10-09 14:13
- Issue#3vimwitch2023-09-13 04:12Remove unused operators during compilation
- Issue#2vimwitch2023-09-13 04:10Add `modinv` operator
- Issue#1vimwitch2023-09-13 04:02Reduce the transition constraint degree
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 12 stars here means stars gained during the window, not the repo's star count.