Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / diffblue / cbmc issue stats
Last synced: 7 days ago
Total issues: 237
Total pull requests: 538
Average time to close issues: 5 months
Average time to close pull requests: 6 months
Total issue authors: 75
Total pull request authors: 30
Average comments per issue: 2.13
Average comments per pull request: 2.11
Merged pull requests: 406
Bot issues: 0
Bot pull requests: 7
Past year issues: 183
Past year pull requests: 386
Past year average time to close issues: 20 days
Past year average time to close pull requests: 16 days
Past year issue authors: 59
Past year pull request authors: 19
Past year average comments per issue: 1.66
Past year average comments per pull request: 1.56
Past year merged pull requests: 336
Past year bot issues: 0
Past year bot pull requests: 7
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/diffblue%2Fcbmc
Issue Author Associations
- None (116, 48.95%)
- Contributor (58, 24.47%)
- Collaborator (35, 14.77%)
- Member (28, 11.81%)
Pull Request Author Associations
- Collaborator (309, 57.43%)
- Member (116, 21.56%)
- Contributor (100, 18.59%)
- None (13, 2.42%)
Top Issue Authors
- thomasspriggs (27)
- NlightNFotis (26)
- rod-chapman (16)
- esteffin (12)
- Elowen-jjw (12)
- remi-delmas-3000 (12)
- tautschnig (8)
- cesaro (5)
- JustusAdam (4)
- lzaoral (4)
- malkawimahdi (4)
- martinlester (4)
- qinheping (4)
- vt-alt (4)
- ylevhariamzn (3)
Top Pull Request Authors
- tautschnig (266)
- kroening (79)
- thomasspriggs (39)
- NlightNFotis (34)
- esteffin (29)
- qinheping (18)
- TGWDB (12)
- martin-cs (10)
- remi-delmas-3000 (7)
- dependabot[bot] 🤖 (7)
- peterschrammel (5)
- qaphla (5)
- rurban (4)
- zhixing-xu (3)
- feliperodri (3)
All Maintainers
- tautschnig (274)
- kroening (79)
- NlightNFotis (57)
- qinheping (22)
- remi-delmas-3000 (19)
- martin-cs (13)
- peterschrammel (7)
- feliperodri (6)
- celinval (3)
- thomasspriggs (2)
- zhassan-aws (2)
- giulio-garbi (1)
- karkhaz (1)
- nwetzler (1)
- romainbrenguier (1)
Active Maintainers
- tautschnig (196)
- kroening (56)
- NlightNFotis (49)
- qinheping (14)
- remi-delmas-3000 (10)
- martin-cs (7)
- celinval (3)
- feliperodri (3)
- peterschrammel (3)
- thomasspriggs (1)
Top Issue Labels
- aws (48)
- Incomplete Incremental SMT2 (30)
- pending merge (29)
- bug (28)
- cleanup (23)
- aws-high (16)
- question (16)
- RFC (10)
- Version 6 (9)
- Code Contracts (7)
- aws-medium (7)
- C Front End (6)
- More info needed (6)
- Pointer Modelling (5)
- soundness (5)
- Kani (5)
- feature request (5)
- blocker (5)
- Build (5)
- enhancement (3)
- Performance Optimisations (3)
- Dump C (2)
- Tests (2)
- SMT Backend Interface (2)
- documentation (1)
- Concurrency (1)
- help wanted (1)
- CI (1)
- Goto-checker (1)
- Version 7 (1)
Top Pull Request Labels
- cleanup (75)
- bugfix (53)
- aws (51)
- C Front End (48)
- blocker (31)
- Code Contracts (28)
- aws-high (22)
- C++ Front End (21)
- Version 6 (19)
- Tests (17)
- dependent - do not merge (15)
- do not merge (14)
- CI (13)
- Solvers (12)
- Kani (11)
- documentation (9)
- do not review (9)
- work in progress (8)
- soundness (7)
- dependencies (7)
- Synthesis (6)
- Build (5)
- SMT Backend Interface (4)
- Symbolic Execution (4)
- Version 7 (3)
- enhancement (3)
- Needs rebase (3)
- Array Theory (2)
- Property Instrumentation (2)
- Performance Optimisations (2)