Total issues: 96
Total pull requests: 82
Average time to close issues: 6 months
Average time to close pull requests: 3 days
Total issue authors: 28
Total pull request authors: 12
Average comments per issue: 2.26
Average comments per pull request: 0.74
Merged pull requests: 67
Bot issues: 0
Bot pull requests: 0

Past year issues: 11
Past year pull requests: 1
Past year average time to close issues: 17 days
Past year average time to close pull requests: 17 minutes
Past year issue authors: 8
Past year pull request authors: 1
Past year average comments per issue: 1.64
Past year average comments per pull request: 1.0
Past year merged pull requests: 1
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• None (34, 35.42%)
• Contributor (26, 27.08%)
• Collaborator (2, 2.08%)
• Member (1, 1.04%)

Pull Request Author Associations

• None (25, 30.49%)
• Contributor (14, 17.07%)
• Member (9, 10.98%)
• Collaborator (1, 1.22%)

Top Issue Authors

• agurfinkel (10)
• caballa (9)
• lememta (6)
• Robbin1987 (4)
• caterinaurban (4)
• roachspray (3)
• lahiri-phdworks (3)
• priyasiddharth (2)
• nekketsuuu (2)
• ezudheen (2)
• trucnguyenlam (1)
• shashinh (1)
• Lqs66 (1)
• leonardoalt (1)
• yugurt2005 (1)

Top Pull Request Authors

• edmcman (12)
• Chenguang-Zhu (10)
• kuhar (9)
• jiaqi-liu (5)
• roachspray (3)
• wuestholz (3)
• jeffgennari (2)
• waffle-iron (1)
• gitter-badger (1)
• monniaux (1)
• rainoftime (1)
• priyasiddharth (1)

All Maintainers

• kuhar (10)
• priyasiddharth (3)

Active Maintainers

• priyasiddharth (3)

Top Issue Labels

• bug (4)
• enhancement (4)
• in progress (3)
• help wanted (2)
• sea-dsa (2)
• ready (2)
• question (2)
• clam (1)
• llvm-seahorn (1)
• llvm-dsa (1)
• spacer (1)

Top Pull Request Labels

• in progress (2)