Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / diffblue issue stats
Total issues: 299
Total pull requests: 767
Merged pull request: 580
Average time to close issues: 4 months
Average time to close pull requests: 5 months
Average comments per issue: 2.46
Average comments per pull request: 1.91
Issues created
- diffblue/cbmc: 299
Pull requests created
- diffblue/cbmc: 694
- diffblue/deeptest-utils: 73
Issue owner Associations
- None (143, 47.83%)
- Contributor (68, 22.74%)
- Collaborator (63, 21.07%)
- Member (25, 8.36%)
Pull Request owner Associations
- Collaborator (404, 52.67%)
- Contributor (168, 21.90%)
- Member (168, 21.90%)
- None (27, 3.52%)
All Maintainers
- tautschnig (354)
- kroening (124)
- NlightNFotis (53)
- qinheping (31)
- remi-delmas-3000 (30)
- rod-chapman (19)
- martin-cs (13)
- peterschrammel (13)
- feliperodri (6)
- zhassan-aws (5)
- celinval (4)
- rjmunro (2)
- thomasspriggs (2)
- nwetzler (1)
- karkhaz (1)
Active Maintainers
- tautschnig (160)
- kroening (73)
- rod-chapman (17)
- qinheping (16)
- remi-delmas-3000 (13)
- peterschrammel (6)
- celinval (4)
- zhassan-aws (2)
- feliperodri (1)
- martin-cs (1)
Top Issue Authors
- rod-chapman (30)
- thomasspriggs (27)
- NlightNFotis (26)
- remi-delmas-3000 (14)
- esteffin (12)
- Elowen-jjw (12)
- tautschnig (10)
- ligurio (8)
- hanno-becker (6)
- andreast271 (5)
- cesaro (5)
- qinheping (5)
- JustusAdam (4)
- lzaoral (4)
- malkawimahdi (4)
Top Pull Request Authors
- tautschnig (344)
- kroening (124)
- thomasspriggs (45)
- NlightNFotis (34)
- esteffin (29)
- qinheping (26)
- remi-delmas-3000 (16)
- mgudemann (14)
- thk123 (14)
- TGWDB (12)
- peterschrammel (11)
- dependabot[bot] 🤖 (10)
- martin-cs (10)
- majakusber (9)
- antlechner (7)
Top Issue Labels
- aws (61)
- pending merge (48)
- bug (36)
- Incomplete Incremental SMT2 (30)
- cleanup (23)
- aws-high (18)
- question (16)
- Code Contracts (10)
- RFC (10)
- Version 6 (9)
- aws-medium (9)
- soundness (8)
- Kani (8)
- blocker (8)
- feature request (6)
Top Pull Request Labels
- cleanup (78)
- bugfix (65)
- C Front End (54)
- aws (52)
- Code Contracts (42)
- blocker (35)
- aws-high (23)
- C++ Front End (23)
- Tests (20)
- Solvers (20)
- Version 6 (19)
- do not merge (18)
- CI (17)
- dependent - do not merge (17)
- SMT Backend Interface (15)