Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / model-checking / kani issue stats

Last synced: 6 days ago

Total issues: 453
Total pull requests: 517
Average time to close issues: 6 months
Average time to close pull requests: 5 days
Total issue authors: 77
Total pull request authors: 23
Average comments per issue: 1.83
Average comments per pull request: 1.02
Merged pull requests: 432
Bot issues: 35
Bot pull requests: 120

Past year issues: 249
Past year pull requests: 452
Past year average time to close issues: 28 days
Past year average time to close pull requests: 3 days
Past year issue authors: 53
Past year pull request authors: 22
Past year average comments per issue: 1.6
Past year average comments per pull request: 0.9
Past year merged pull requests: 382
Past year bot issues: 35
Past year bot pull requests: 117

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/model-checking/kani
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/model-checking%2Fkani

Issue Author Associations

  • Contributor (352, 77.70%)
  • None (80, 17.66%)
  • Member (21, 4.64%)

Pull Request Author Associations

  • Contributor (419, 81.04%)
  • Member (94, 18.18%)
  • None (4, 0.77%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • [C] Bug (169)
  • [C] Feature / Enhancement (143)
  • T-User (56)
  • [C] Internal (49)
  • [F] Crash (46)
  • [E] Performance (26)
  • [E] User Experience (24)
  • Z-Kani Compiler (20)
  • T-High Priority (18)
  • T-CBMC (14)
  • [F] Spurious Failure (12)
  • [I] CI / Infrastructure (11)
  • [E] Unsupported Construct (9)
  • [I] Refactoring / Clean Up (9)
  • [F] Soundness (6)
  • Z-Benchcomp (5)
  • [C] Documentation (4)
  • Z-Sync Upstream (4)
  • [E] Unsupported UB (4)
  • T-TrackingIssue (3)
  • T-RFC (3)
  • T-MLP Should Have (3)
  • Z-IDE Extension (2)

Top Pull Request Labels

  • Z-BenchCI (291)
  • dependencies (28)
  • submodules (15)
  • T-RFC (10)
  • github_actions (8)
  • rust (2)
  • Z-Async Blocker (1)
  • [C] Feature / Enhancement (1)
  • [I] CI / Infrastructure (1)
  • T-High Priority (1)
  • T-User (1)