Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dafny-lang / dafny issue stats
Last synced: 3 days ago
Total issues: 870
Total pull requests: 897
Average time to close issues: 3 months
Average time to close pull requests: 13 days
Total issue authors: 99
Total pull request authors: 36
Average comments per issue: 1.78
Average comments per pull request: 0.59
Merged pull requests: 700
Bot issues: 0
Bot pull requests: 20
Past year issues: 591
Past year pull requests: 720
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 9 days
Past year issue authors: 81
Past year pull request authors: 34
Past year average comments per issue: 1.6
Past year average comments per pull request: 0.52
Past year merged pull requests: 565
Past year bot issues: 0
Past year bot pull requests: 19
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny
Issue Author Associations
- Member (378, 43.45%)
- None (267, 30.69%)
- Collaborator (158, 18.16%)
- Contributor (67, 7.70%)
Pull Request Author Associations
- Member (423, 47.16%)
- Collaborator (365, 40.69%)
- Contributor (103, 11.48%)
- None (6, 0.67%)
Top Issue Authors
- robin-aws (132)
- keyboardDrummer (122)
- MikaelMayer (94)
- RustanLeino (62)
- atomb (43)
- davidcok (35)
- erniecohen (21)
- hmijail (18)
- dafny-lang-bot (17)
- aws-crypto-tools-ci-bot (16)
- seebees (14)
- racko (14)
- cpitclaudel (14)
- fabiomadge (13)
- alex-usher (13)
Top Pull Request Authors
- keyboardDrummer (270)
- atomb (126)
- MikaelMayer (83)
- RustanLeino (77)
- robin-aws (63)
- fabiomadge (51)
- davidcok (44)
- shadaj (31)
- Dargones (25)
- jtristan (24)
- alex-chew (21)
- dependabot[bot] 🤖 (20)
- ssomayyajula (7)
- zafer-esen (7)
- stefan-aws (7)
All Maintainers
- keyboardDrummer (392)
- robin-aws (195)
- MikaelMayer (177)
- atomb (169)
- RustanLeino (139)
- davidcok (79)
- fabiomadge (64)
- shadaj (32)
- Dargones (24)
- cpitclaudel (15)
- stefan-aws (8)
- dschoepe (6)
- EkanshdeepGupta (6)
- seanmcl (6)
- zafer-esen (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 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)
- release-blocker (27)
- during 3: execution of incorrect program (25)
- part: standard libraries (24)
- area: error-reporting (24)
- misc: cleanup (22)
- testing-method: uniform-backend-testing (20)
- kind: development-speed (18)
- severity: release-blocker (18)
- lang: c# (15)
- makes-mikael-grateful (15)
- lang: python (15)
- part: parser (14)
- part: boogie (13)
- incompleteness (13)
- lang: golang (12)
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)