GitHub / hernanponcedeleon issue stats
Total issues: 30
Total pull requests: 8
Merged pull request: 7
Average time to close issues: about 1 month
Average time to close pull requests: 13 days
Average comments per issue: 4.3
Average comments per pull request: 0.88
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (26, 86.67%)
- Contributor (4, 13.33%)
Pull Request Author Associations
- Contributor (7, 87.50%)
- Owner (1, 12.50%)
Top Issue Labels
- dependencies (2)
- C (2)
- MathSAT (1)
- Z3 (1)
- enhancement (1)
- API (1)
- solver (1)
- bug (1)
- help wanted (1)
- issue with benchmark (1)
- question (1)
- duplicate (1)
- goal:quality & productivity (1)
Top Pull Request Labels
- tool support (2)
- issue with benchmark (1)
- C (1)
- data-race (1)
- Memory Model TSG (1)