Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ThomasHaas issue stats
Total issues: 12
Total pull requests: 3
Merged pull request: 2
Average time to close issues: 5 months
Average time to close pull requests: 2 days
Average comments per issue: 5.75
Average comments per pull request: 3.33
Issues created
- sosy-lab/java-smt: 8
- SRI-CSL/yices2: 2
- Z3Prover/z3: 2
Pull requests created
- Z3Prover/z3: 2
- sosy-lab/java-smt: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (11, 91.67%)
- Contributor (1, 8.33%)
Pull Request Author Associations
- Contributor (2, 66.67%)
- None (1, 33.33%)
Top Issue Labels
- Z3 (1)