GitHub / model-checking issue stats
Total issues: 908
Total pull requests: 1,348
Merged pull request: 1,174
Average time to close issues: 8 months
Average time to close pull requests: 19 days
Average comments per issue: 1.77
Average comments per pull request: 0.84
Issues created
Pull requests created
Issue owner Associations
- Contributor (700, 77.09%)
- None (166, 18.28%)
- Member (42, 4.63%)
Pull Request owner Associations
- Contributor (1,127, 83.61%)
- Member (205, 15.21%)
- None (16, 1.19%)
All Maintainers
- tautschnig (188)
- karkhaz (59)
Active Maintainers
- tautschnig (86)
Top Issue Authors
- celinval (133)
- github-actions[bot] 🤖 (98)
- adpaco-aws (72)
- zhassan-aws (66)
- danielsn (51)
- matthiaskrgr (50)
- karkhaz (31)
- tedinski (28)
- carolynzech (26)
- jaisnan (19)
- JustusAdam (19)
- feliperodri (15)
- qinheping (14)
- tautschnig (13)
- markrtuttle (12)
Top Pull Request Authors
- github-actions[bot] 🤖 (248)
- tautschnig (175)
- zhassan-aws (140)
- celinval (130)
- dependabot[bot] 🤖 (96)
- carolynzech (80)
- markrtuttle (74)
- adpaco-aws (58)
- qinheping (42)
- karkhaz (35)
- jaisnan (34)
- feliperodri (30)
- thanhnguyen-aws (27)
- remi-delmas-3000 (26)
- angelonakos (24)
Top Issue Labels
- [C] Bug (292)
- [C] Feature / Enhancement (241)
- T-User (91)
- [C] Internal (90)
- [F] Crash (63)
- [E] Performance (47)
- [E] User Experience (45)
- T-CBMC (29)
- Z-Contracts (29)
- [F] Spurious Failure (23)
- Z-Kani Compiler (22)
- T-High Priority (20)
- [C] Documentation (16)
- [F] Soundness (16)
- [I] Refactoring / Clean Up (16)
Top Pull Request Labels
- Z-BenchCI (679)
- dependencies (98)
- submodules (64)
- Z-EndToEndBenchCI (35)
- Z-CompilerBenchCI (27)
- github_actions (14)
- enhancement (13)
- T-RFC (10)
- Z-Contracts (8)
- [C] Feature / Enhancement (6)
- no-test (2)
- [C] Documentation (2)
- [E] User Experience (2)
- [I] Refactoring / Clean Up (2)
- testing (2)