Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dafny-lang issue stats
Total issues: 880
Total pull requests: 905
Merged pull request: 706
Average time to close issues: 3 months
Average time to close pull requests: 13 days
Average comments per issue: 1.77
Average comments per pull request: 0.59
Issues created
Pull requests created
Issue owner Associations
- Member (383, 43.52%)
- None (269, 30.57%)
- Collaborator (160, 18.18%)
- Contributor (68, 7.73%)
Pull Request owner Associations
- Member (429, 47.40%)
- Collaborator (366, 40.44%)
- Contributor (104, 11.49%)
- None (6, 0.66%)
All Maintainers
- keyboardDrummer (392)
- robin-aws (206)
- MikaelMayer (177)
- atomb (169)
- RustanLeino (139)
- davidcok (79)
- fabiomadge (64)
- shadaj (32)
- Dargones (24)
- cpitclaudel (15)
- stefan-aws (8)
- zafer-esen (6)
- seanmcl (6)
- EkanshdeepGupta (6)
- dschoepe (6)
Active Maintainers
- keyboardDrummer (349)
- robin-aws (141)
- MikaelMayer (137)
- RustanLeino (102)
- atomb (98)
- fabiomadge (47)
- shadaj (31)
- Dargones (22)
- stefan-aws (8)
- dschoepe (6)
- zafer-esen (6)
- EkanshdeepGupta (5)
- seanmcl (5)
- Chris-Hawblitzel (1)
- mschlaipfer (1)
Top Issue Authors
- robin-aws (137)
- keyboardDrummer (122)
- MikaelMayer (94)
- RustanLeino (62)
- atomb (44)
- davidcok (36)
- erniecohen (21)
- hmijail (18)
- dafny-lang-bot (17)
- seebees (16)
- aws-crypto-tools-ci-bot (16)
- racko (14)
- cpitclaudel (14)
- fabiomadge (13)
- alex-usher (13)
Top Pull Request Authors
- keyboardDrummer (270)
- atomb (127)
- MikaelMayer (83)
- RustanLeino (77)
- robin-aws (69)
- fabiomadge (51)
- davidcok (44)
- shadaj (31)
- Dargones (25)
- jtristan (24)
- alex-chew (21)
- dependabot[bot] 🤖 (20)
- ssomayyajula (7)
- zafer-esen (7)
- stefan-aws (7)
Top Issue Labels
- kind: bug (443)
- kind: enhancement (209)
- priority: next (88)
- during 2: compilation of correct program (84)
- part: resolver (73)
- part: verifier (67)
- priority: not yet (61)
- kind: language development speed (60)
- part: code-generation (58)
- part: documentation (53)
- part: language server (41)
- during 1: program development (40)
- lang: java (40)
- crash (36)
- severity: crash (30)
Top Pull Request Labels
- run-deep-tests (54)
- dependencies (20)
- github_actions (17)
- severity: release-blocker (3)
- part: counterexamples (3)
- ruby (3)
- run-integration-tests (3)
- skip-deep-tests (1)
- need-check-proof-variability (1)
- makes-mikael-grateful (1)