Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / zvonimir issue stats
Total issues: 56
Total pull requests: 8
Merged pull request: 8
Average time to close issues: 7 months
Average time to close pull requests: about 1 month
Average comments per issue: 2.16
Average comments per pull request: 1.63
Issues created
- smackers/smack: 48
- sosy-lab/sv-benchmarks: 4
- SRI-CSL/yices2: 2
- PRUNERS/archer: 1
- Z3Prover/bin: 1
Pull requests created
Maintainer
- smackers/smack: 54
Active Maintainer
Issue Author Associations
- Member (48, 85.71%)
- Contributor (4, 7.14%)
- None (4, 7.14%)
Pull Request Author Associations
- Member (6, 75.00%)
- Contributor (2, 25.00%)
Top Issue Labels
- enhancement (23)
- bug (9)
- refactoring (5)
- C (4)
- issue with benchmark (2)
- wontfix (2)
- top priority (1)
- question (1)
Top Pull Request Labels
- issue with benchmark (2)
- C (2)