GitHub / qinheping issue stats
Total issues: 19
Total pull requests: 77
Merged pull request: 65
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.84
Average comments per pull request: 1.39
Issues created
- model-checking/kani: 14
- diffblue/cbmc: 5
Pull requests created
Maintainer
- diffblue/cbmc: 34
Active Maintainer
Issue Author Associations
- Contributor (14, 73.68%)
- Collaborator (5, 26.32%)
Pull Request Author Associations
- Contributor (48, 62.34%)
- Collaborator (29, 37.66%)
Top Issue Labels
- [C] Bug (7)
- [C] Feature / Enhancement (7)
- Code Contracts (3)
- aws (2)
- bug (2)
- T-CBMC (2)
- Z-Contracts (1)
- Z-Quantifiers (1)
Top Pull Request Labels
- Z-BenchCI (25)
- Code Contracts (12)
- aws (11)
- Synthesis (6)
- Z-Contracts (4)
- aws-high (3)
- T-RFC (2)
- bugfix (2)
- Kani (2)
- cbmc (2)
- [C] Documentation (2)
- dependent - do not merge (1)
- aws-medium (1)
- needs-review (1)
- submodules (1)