Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rod-chapman issue stats
Total issues: 43
Total pull requests: 3
Merged pull request: 2
Average time to close issues: 3 months
Average time to close pull requests: 3 days
Average comments per issue: 5.51
Average comments per pull request: 0.0
Issues created
Pull requests created
- aws/s2n-tls: 3
Maintainer
- diffblue/cbmc: 16
Active Maintainer
- diffblue/cbmc: 14
Issue Author Associations
- None (26, 60.47%)
- Collaborator (16, 37.21%)
- Contributor (1, 2.33%)
Pull Request Author Associations
- Contributor (3, 100.00%)
Top Issue Labels
- aws (22)
- bug (10)
- pending merge (8)
- documentation (3)
- enhancement (3)
- SMT Backend Interface (3)
- aws-high (3)
- blocker (3)
- Performance Optimisations (2)
- Solvers (2)
- aws-medium (1)
- Documentation (1)
- Bug (1)
- Version 6 (1)
- soundness (1)
Top Pull Request Labels
- CBMC (1)