GitHub / remi-delmas-3000 issue stats
Total issues: 27
Total pull requests: 45
Merged pull request: 40
Average time to close issues: 5 months
Average time to close pull requests: 9 days
Average comments per issue: 2.11
Average comments per pull request: 1.64
Issues created
Pull requests created
Maintainer
- diffblue/cbmc: 31
Active Maintainer
- diffblue/cbmc: 11
Issue Author Associations
- Collaborator (14, 51.85%)
- None (8, 29.63%)
- Contributor (5, 18.52%)
Pull Request Author Associations
- Contributor (26, 57.78%)
- Collaborator (17, 37.78%)
- None (2, 4.44%)
Top Issue Labels
- aws (12)
- aws-high (7)
- bug (5)
- aws-medium (5)
- blocker (4)
- [C] Internal (3)
- soundness (2)
- pending merge (2)
- Performance Optimisations (1)
- enhancement (1)
- help wanted (1)
- [C] Feature / Enhancement (1)
- Version 6 (1)
Top Pull Request Labels
- Z-BenchCI (13)
- Code Contracts (10)
- aws (6)
- aws-high (5)
- dependencies (2)
- blocker (1)
- [E] Performance (1)
- enhancement (1)
- new feature (1)