Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dreal issue stats
Total issues: 88
Total pull requests: 32
Merged pull request: 29
Average time to close issues: 3 months
Average time to close pull requests: about 15 hours
Average comments per issue: 2.52
Average comments per pull request: 0.75
Issues created
- dreal/dreal4: 88
Pull requests created
- dreal/dreal4: 32
Issue owner Associations
- None (75, 85.23%)
- Member (12, 13.64%)
- Contributor (1, 1.14%)
Pull Request owner Associations
- Member (28, 87.50%)
- None (3, 9.38%)
- Contributor (1, 3.13%)
All Maintainers
- soonho-tri (22)
- soonhokong (18)
Active Maintainers
Top Issue Authors
- soonho-tri (8)
- LeventErkok (8)
- soonhokong (4)
- KJongUk (4)
- juliusbrehme (4)
- rainoftime (3)
- LGM97 (3)
- baoluomeng (3)
- ThisIsJairo (2)
- kgoyal40 (2)
- ayeshamkzhh (2)
- akaph2p (2)
- AndreaCallia (2)
- alre5639 (2)
- MominaSajid (1)
Top Pull Request Authors
- soonhokong (14)
- soonho-tri (14)
- yazhai (2)
- jwnimmer-tri (1)
- mrdomino (1)
Top Issue Labels
- question (19)
- bug (12)
- enhancement (10)
- smt2 (8)
- python (4)
- build (2)
- mac (1)
- wontfix (1)
- next (1)
Top Pull Request Labels
- smt2 (3)