Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / zvonimir issue stats
Total issues: 64
Total pull requests: 9
Merged pull request: 9
Average time to close issues: 6 months
Average time to close pull requests: 28 days
Average comments per issue: 2.2
Average comments per pull request: 1.56
Issues created
- smackers/smack: 48
- seahorn/sea-dsa: 5
- sosy-lab/sv-benchmarks: 4
- SRI-CSL/yices2: 2
- Z3Prover/bin: 1
- PRUNERS/archer: 1
- smackers/smack-emulab: 1
- smackers/lockpwn: 1
- smackers/smackd: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (51, 79.69%)
- None (9, 14.06%)
- Contributor (4, 6.25%)
Pull Request Author Associations
- Member (7, 77.78%)
- Contributor (2, 22.22%)
Top Issue Labels
- enhancement (23)
- bug (9)
- refactoring (5)
- C (4)
- question (3)
- issue with benchmark (2)
- wontfix (2)
- top priority (1)
Top Pull Request Labels
- issue with benchmark (2)
- C (2)