Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sosy-lab / sv-benchmarks issue stats
Last synced: 8 months ago
Total issues: 37
Total pull requests: 63
Average time to close issues: about 1 month
Average time to close pull requests: 12 days
Total issue authors: 18
Total pull request authors: 16
Average comments per issue: 2.08
Average comments per pull request: 2.05
Merged pull requests: 55
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/sosy-lab%2Fsv-benchmarks
Issue Author Associations
- Contributor (25, 67.57%)
- None (7, 18.92%)
- Member (5, 13.51%)
Pull Request Author Associations
- Contributor (54, 85.71%)
- Member (7, 11.11%)
- None (2, 3.17%)
Top Issue Authors
- tautschnig (6)
- mchalupa (6)
- zvonimir (4)
- hernanponcedeleon (4)
- PhilippWendler (3)
- dbeyer (2)
- holznerst (1)
- fatimahkj (1)
- michael-schwarz (1)
- omainv (1)
- robdockins (1)
- RyanGlScott (1)
- schuessf (1)
- sim642 (1)
- sohah (1)
Top Pull Request Authors
- tautschnig (17)
- mchalupa (15)
- lembergerth (7)
- sim642 (4)
- dbeyer (3)
- MartinSpiessl (2)
- kfriedberger (2)
- PhilippWendler (2)
- Eiram (2)
- cyrille-artho (2)
- zvonimir (2)
- peterschrammel (1)
- goldmannc (1)
- hernanponcedeleon (1)
- letonchanh (1)
All Maintainers
- dbeyer (5)
- PhilippWendler (5)
- kfriedberger (2)
Active Maintainers
Top Issue Labels
- C (21)
- issue with benchmark (20)
- question (5)
- affects SV-COMP rules (3)
- top priority (2)
- help wanted (1)
- Java (1)
- duplicate (1)
- for verification (1)
Top Pull Request Labels
- C (28)
- issue with benchmark (28)
- new benchmarks (3)
- Java (3)
- CI (2)
- documentation (2)
- for test generation (2)
- build system and metadata (2)
- category definitions (1)
- data-race (1)