Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / seahorn / seahorn issue stats
Last synced: about 8 hours ago
Total issues: 92
Total pull requests: 81
Average time to close issues: 6 months
Average time to close pull requests: 3 days
Total issue authors: 25
Total pull request authors: 11
Average comments per issue: 2.29
Average comments per pull request: 0.74
Merged pull requests: 66
Bot issues: 0
Bot pull requests: 0
Past year issues: 7
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: 5
Past year pull request authors: 0
Past year average comments per issue: 1.71
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/seahorn%2Fseahorn
Issue Author Associations
- None (46, 50.00%)
- Contributor (44, 47.83%)
- Member (2, 2.17%)
Pull Request Author Associations
- None (38, 46.91%)
- Contributor (26, 32.10%)
- Member (17, 20.99%)
Top Issue Authors
- agurfinkel (18)
- caballa (15)
- lememta (10)
- Robbin1987 (7)
- roachspray (5)
- caterinaurban (4)
- nekketsuuu (4)
- ezudheen (4)
- lahiri-phdworks (3)
- skywormfol (2)
- kferles (2)
- leonardoalt (2)
- cycine123 (2)
- kuhar (2)
- dannyrasin (2)
Top Pull Request Authors
- Chenguang-Zhu (20)
- kuhar (17)
- edmcman (15)
- jiaqi-liu (8)
- roachspray (6)
- jeffgennari (4)
- wuestholz (4)
- waffle-iron (2)
- monniaux (2)
- rainoftime (2)
- gitter-badger (1)
All Maintainers
- kuhar (19)
Active Maintainers
Top Issue Labels
- bug (8)
- enhancement (8)
- in progress (6)
- help wanted (4)
- sea-dsa (4)
- ready (4)
- question (4)
- clam (2)
- llvm-seahorn (2)
- llvm-dsa (2)
- spacer (2)
Top Pull Request Labels
- in progress (4)