Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / baierd issue stats
Total issues: 29
Total pull requests: 8
Merged pull request: 4
Average time to close issues: 2 months
Average time to close pull requests: 7 months
Average comments per issue: 2.69
Average comments per pull request: 6.25
Issues created
- sosy-lab/java-smt: 26
- Z3Prover/z3: 2
- cvc5/cvc5: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (16, 55.17%)
- Collaborator (10, 34.48%)
- None (3, 10.34%)
Pull Request Author Associations
- Contributor (6, 75.00%)
- Collaborator (2, 25.00%)
Top Issue Labels
- wontfix (5)
- enhancement (4)
- MathSAT (4)
- solver (3)
- question (2)
- CVC5 (2)
- bug (1)
Top Pull Request Labels
- Z3 (1)
- API (1)
- solver (1)