Total issues: 336
Total pull requests: 757
Average time to close issues: 4 months
Average time to close pull requests: 5 months
Total issue authors: 101
Total pull request authors: 39
Average comments per issue: 2.57
Average comments per pull request: 2.04
Merged pull requests: 581
Bot issues: 0
Bot pull requests: 9

Past year issues: 88
Past year pull requests: 194
Past year average time to close issues: 13 days
Past year average time to close pull requests: 15 days
Past year issue authors: 37
Past year pull request authors: 14
Past year average comments per issue: 2.55
Past year average comments per pull request: 1.64
Past year merged pull requests: 154
Past year bot issues: 0
Past year bot pull requests: 2

Issue Author Associations

• None (167, 49.70%)
• Collaborator (74, 22.02%)
• Contributor (70, 20.83%)
• Member (25, 7.44%)

Pull Request Author Associations

• Collaborator (447, 59.05%)
• Member (182, 24.04%)
• Contributor (112, 14.80%)
• None (16, 2.11%)

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)
• qinheping (5)
• zhassan-aws (5)
• zhoulaifu (5)
• cesaro (5)

Top Pull Request Authors

• tautschnig (382)
• kroening (139)
• thomasspriggs (39)
• NlightNFotis (34)
• esteffin (29)
• qinheping (29)
• remi-delmas-3000 (17)
• TGWDB (12)
• peterschrammel (12)
• martin-cs (10)
• dependabot[bot] 🤖 (9)
• qaphla (5)
• rurban (4)
• zhixing-xu (3)
• feliperodri (3)

All Maintainers

• tautschnig (394)
• kroening (139)
• NlightNFotis (53)
• qinheping (34)
• remi-delmas-3000 (31)
• rod-chapman (26)
• peterschrammel (14)
• martin-cs (13)
• feliperodri (8)
• zhassan-aws (6)
• celinval (4)
• thomasspriggs (2)
• giulio-garbi (1)
• romainbrenguier (1)
• nwetzler (1)

Active Maintainers

• tautschnig (96)
• kroening (57)
• rod-chapman (15)
• remi-delmas-3000 (11)
• qinheping (8)
• peterschrammel (7)
• zhassan-aws (3)
• celinval (1)

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)
• SMT Backend Interface (6)
• C Front End (6)
• More info needed (5)
• enhancement (5)
• Pointer Modelling (5)
• Build (5)
• Performance Optimisations (5)
• documentation (3)
• Solvers (3)
• Tests (2)
• Dump C (2)
• Concurrency (2)
• CI (2)
• Goto-checker (1)
• Version 7 (1)

Top Pull Request Labels

• cleanup (88)
• bugfix (74)
• C Front End (60)
• aws (54)
• Code Contracts (43)
• blocker (38)
• C++ Front End (28)
• aws-high (24)
• Solvers (21)
• Tests (20)
• Version 6 (19)
• dependent - do not merge (19)
• CI (17)
• SMT Backend Interface (15)
• do not merge (14)
• Kani (13)
• work in progress (12)
• do not review (10)
• documentation (9)
• dependencies (9)
• soundness (8)
• enhancement (8)
• Build (8)
• Synthesis (6)
• Symbolic Execution (6)
• Version 7 (3)
• Performance Optimisations (3)
• Needs rebase (3)
• Array Theory (2)
• Property Instrumentation (2)