GitHub / KeYProject / key issue stats
Last synced: 2 days ago
Total issues: 61
Total pull requests: 209
Average time to close issues: 9 months
Average time to close pull requests: 2 months
Total issue authors: 15
Total pull request authors: 23
Average comments per issue: 0.67
Average comments per pull request: 1.63
Merged pull requests: 112
Bot issues: 0
Bot pull requests: 48
Past year issues: 18
Past year pull requests: 68
Past year average time to close issues: 2 days
Past year average time to close pull requests: 12 days
Past year issue authors: 8
Past year pull request authors: 13
Past year average comments per issue: 0.0
Past year average comments per pull request: 0.76
Past year merged pull requests: 31
Past year bot issues: 0
Past year bot pull requests: 15
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/KeYProject%2Fkey
Issue Author Associations
- Member (48, 78.69%)
- Contributor (8, 13.11%)
- None (5, 8.20%)
Pull Request Author Associations
- Member (133, 63.64%)
- Contributor (72, 34.45%)
- None (4, 1.91%)
Top Issue Authors
- wadoon (18)
- mattulbrich (11)
- WolframPfeifer (8)
- BookWood7th (6)
- Drodt (4)
- FliegendeWurst (3)
- unp1 (3)
- FabianKof (1)
- tobias-rnh (1)
- flo2702 (1)
- as2-0 (1)
- Robert-Brune (1)
- Ao-senXiong (1)
- fab918 (1)
- frereit (1)
Top Pull Request Authors
- wadoon (58)
- dependabot[bot] 🤖 (48)
- mattulbrich (22)
- Drodt (17)
- WolframPfeifer (16)
- FliegendeWurst (11)
- unp1 (6)
- BookWood7th (6)
- flo2702 (4)
- tobias-rnh (4)
- lks9 (2)
- JonasKlamroth (2)
- samysweb (2)
- MarcoScaletta (2)
- wmdietl (1)
All Maintainers
- wadoon (71)
- mattulbrich (33)
- WolframPfeifer (24)
- Drodt (21)
- FliegendeWurst (14)
- unp1 (9)
- flo2702 (5)
- frereit (2)
- emptyseth (1)
- mi-ki (1)
Active Maintainers
- wadoon (27)
- Drodt (11)
- mattulbrich (9)
- unp1 (3)
- FliegendeWurst (2)
- WolframPfeifer (2)
- flo2702 (1)
Top Issue Labels
- :lady_beetle: Bug (29)
- HacKeYthon (14)
- Feature (7)
- GUI (6)
- P:LOW (6)
- Error Reporting (5)
- JML (Semantics) (5)
- JML Parser (5)
- JavaJMLParser (4)
- P:NORMAL (4)
- 🛠Maintenance (3)
- Test cases (3)
- Calculus (3)
- Documentation (3)
- Proof Loading/Saving (3)
- ✋ Soundness (2)
- Prover Core (2)
- P:HIGH (2)
- Command Line Interface (2)
- Completeness (2)
- SMT (2)
- KeY Parser (2)
- :rocket: Performance (2)
- Robustness (1)
- KeYBook (1)
- keyext.slicing (1)
- Infrastructure (1)
- Postponed (1)
Top Pull Request Labels
- dependencies (48)
- Java (33)
- 🛠Maintenance (28)
- :lady_beetle: Bug (20)
- Review Request (15)
- GUI (13)
- Feature (13)
- github_actions (11)
- Calculus (7)
- JML Parser (6)
- java (5)
- Reviewer Feedback (5)
- Proof Scripts (4)
- KeY Parser (4)
- CI (4)
- RFC (4)
- SMT (4)
- Infrastructure (3)
- HacKeYthon (3)
- Prover Core (2)
- Test cases (2)
- Ignore in Changelog (2)
- Deployment (2)
- JML (Semantics) (2)
- Breaks API (2)
- :rocket: Performance (2)
- Command Line Interface (2)
- JavaJMLParser (2)
- Completeness (2)
- ✋ Soundness (2)