Ecosyste.ms: Issues

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

GitHub / Z3Prover / z3 issue stats

Last synced: about 4 hours ago

Total issues: 481
Total pull requests: 191
Average time to close issues: about 2 months
Average time to close pull requests: 2 days
Total issue authors: 217
Total pull request authors: 52
Average comments per issue: 2.17
Average comments per pull request: 0.69
Merged pull requests: 161
Bot issues: 0
Bot pull requests: 21

Past year issues: 323
Past year pull requests: 155
Past year average time to close issues: 9 days
Past year average time to close pull requests: 2 days
Past year issue authors: 150
Past year pull request authors: 39
Past year average comments per issue: 1.53
Past year average comments per pull request: 0.61
Past year merged pull requests: 131
Past year bot issues: 0
Past year bot pull requests: 19

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/Z3Prover/z3
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/Z3Prover%2Fz3

Issue Author Associations

  • None (428, 88.98%)
  • Contributor (51, 10.60%)
  • Collaborator (2, 0.42%)

Pull Request Author Associations

  • Contributor (160, 83.77%)
  • Collaborator (24, 12.57%)
  • None (7, 3.66%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • Floats (16)
  • nlsat (10)
  • string (9)
  • no-repro (7)
  • Horn (6)
  • qel (6)
  • bug (5)
  • javascript (4)
  • external (4)
  • API usability / compile (3)
  • qe (3)
  • duplicate (2)
  • help wanted (1)
  • performance (1)
  • wontfix (1)

Top Pull Request Labels

  • dependencies (21)
  • github_actions (18)
  • javascript (3)