GitHub / diffblue issue stats
Total issues: 336
Total pull requests: 836
Merged pull request: 644
Average time to close issues: 4 months
Average time to close pull requests: 4 months
Average comments per issue: 2.57
Average comments per pull request: 1.92
Issues created
- diffblue/cbmc: 336
Pull requests created
- diffblue/cbmc: 757
- diffblue/deeptest-utils: 73
- diffblue/hw-cbmc: 6
Issue owner Associations
- None (167, 49.70%)
- Collaborator (74, 22.02%)
- Contributor (70, 20.83%)
- Member (25, 7.44%)
Pull Request owner Associations
- Collaborator (447, 53.47%)
- Member (190, 22.73%)
- Contributor (171, 20.45%)
- None (28, 3.35%)
All Maintainers
- tautschnig (394)
- kroening (145)
- NlightNFotis (53)
- qinheping (34)
- remi-delmas-3000 (31)
- rod-chapman (26)
- peterschrammel (14)
- martin-cs (13)
- feliperodri (8)
- zhassan-aws (6)
- celinval (4)
- rjmunro (2)
- thomasspriggs (2)
- nwetzler (1)
- karkhaz (1)
Active Maintainers
- tautschnig (96)
- kroening (63)
- rod-chapman (15)
- remi-delmas-3000 (11)
- qinheping (8)
- peterschrammel (7)
- zhassan-aws (3)
- celinval (1)
Top Issue Authors
- rod-chapman (36)
- thomasspriggs (27)
- NlightNFotis (26)
- remi-delmas-3000 (14)
- esteffin (12)
- Elowen-jjw (12)
- tautschnig (12)
- ligurio (8)
- hanno-becker (6)
- andreast271 (6)
- feliperodri (5)
- cesaro (5)
- qinheping (5)
- zhoulaifu (5)
- zhassan-aws (5)
Top Pull Request Authors
- tautschnig (382)
- kroening (145)
- thomasspriggs (45)
- NlightNFotis (34)
- esteffin (29)
- qinheping (29)
- remi-delmas-3000 (17)
- mgudemann (15)
- thk123 (14)
- TGWDB (12)
- peterschrammel (12)
- martin-cs (10)
- dependabot[bot] 🤖 (10)
- majakusber (9)
- antlechner (7)
Top Issue Labels
- aws (69)
- pending merge (51)
- bug (41)
- Incomplete Incremental SMT2 (30)
- cleanup (23)
- aws-high (20)
- question (17)
- Code Contracts (15)
- RFC (10)
- aws-medium (9)
- blocker (9)
- Version 6 (9)
- Kani (9)
- soundness (8)
- feature request (7)
Top Pull Request Labels
- cleanup (89)
- bugfix (74)
- C Front End (60)
- aws (54)
- Code Contracts (43)
- blocker (38)
- C++ Front End (28)
- aws-high (24)
- Tests (22)
- Solvers (21)
- Version 6 (19)
- dependent - do not merge (19)
- do not merge (18)
- CI (17)
- SMT Backend Interface (15)