A generic parser and tool package for the BTOR2 format.
active 2023-08-16 → 2024-10-10 (UTC)
Partial coverage20,524 / 26,280 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
41
Pushes
4
Pull requests
8
Issues
4
Stars
9
Forks
6
Activity over time
Daily event counts in the loaded window
Line chart, 422 days from 2023-08-16 to 2024-10-10. Pushes: 4 total, peak 1 in a day. Pull requests: 8 total, peak 3 in a day. Issues: 4 total, peak 1 in a day. Comments: 7 total, peak 1 in a day. Stars: 9 total, peak 1 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#27gipsyh2024-09-02 01:01
- Issue comment#20gipsyh2024-08-31 05:56bump aiger version and support arbitrary initialization functions in btor2aiger
- Pull request#20gipsyh2024-08-31 05:56
- Issue comment#20gipsyh2024-08-27 01:53bump aiger version and support arbitrary initialization functions in btor2aiger
- Issue#26mpreiner2024-07-23 02:17case 'l' in btor2parser.c
- Issue comment#26mpreiner2024-07-23 02:17case 'l' in btor2parser.c
- Issue#26JohnLyu22024-06-28 22:08casr 'l' in btor2parser.c
- Issue comment#21Po-Chun-Chien2024-05-17 11:11Partial register initialization
- Issue#21Po-Chun-Chien2024-05-17 11:10Partial register initialization
- Issue comment#21mpreiner2024-05-14 21:14Partial register initialization
- Issue#16mpreiner2024-03-22 00:49Negating an array with the minus sign
- Pull request#19mpreiner2024-03-06 22:01
- Issue comment#18cr19012024-01-20 03:20Add exception stubs for successful compile to wasm.
- Pull request#18cr19012024-01-20 03:20
- Pull request#19cr19012024-01-20 03:19
- Pull request#18cr19012024-01-20 02:42
- Pull request#17mpreiner2023-08-16 17:12
- Pull request#17smuenzel2023-08-16 08:37
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 9 stars here means stars gained during the window, not the repo's star count.