Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Z3Prover issue stats
Total issues: 628
Total pull requests: 306
Merged pull request: 233
Average time to close issues: about 1 month
Average time to close pull requests: 1 day
Average comments per issue: 2.0
Average comments per pull request: 0.53
Issues created
- Z3Prover/z3: 628
Pull requests created
- Z3Prover/z3: 306
Issue owner Associations
- None (571, 90.92%)
- Contributor (55, 8.76%)
- Collaborator (2, 0.32%)
Pull Request owner Associations
- Contributor (264, 86.27%)
- Collaborator (27, 8.82%)
- None (15, 4.90%)
All Maintainers
- CEisenhofer (9)
- jfleisher (7)
- JakobR (6)
- nunoplopes (3)
- rhelmot (3)
- agurfinkel (1)
Active Maintainers
- JakobR (5)
- CEisenhofer (4)
- rhelmot (3)
- jfleisher (2)
- nunoplopes (2)
Top Issue Authors
- merlinsun (55)
- zhendongsu (38)
- LeventErkok (27)
- Heaven2024 (25)
- anirjoshi (14)
- brutalsavage (11)
- fwangdo (9)
- tigerfower (9)
- hagozaebii (9)
- muchang (8)
- ndreuu (8)
- Naville (7)
- r0ayane (7)
- blishko (6)
- shijy16 (6)
Top Pull Request Authors
- ChuyueSun (51)
- levnach (35)
- dependabot[bot] 🤖 (34)
- NikolajBjorner (26)
- waywardmonkeys (19)
- hgvk94 (17)
- wintersteiger (12)
- CEisenhofer (9)
- smoy (8)
- jfleisher (7)
- catap (6)
- tiborschneider (6)
- JakobR (6)
- mrexodia (4)
- remysucre (3)
Top Issue Labels
- Floats (20)
- nlsat (10)
- string (9)
- Horn (9)
- no-repro (7)
- qel (6)
- bug (5)
- external (4)
- javascript (4)
- duplicate (4)
- API usability / compile (3)
- qe (3)
- wontfix (2)
- performance (1)
- help wanted (1)
Top Pull Request Labels
- dependencies (34)
- github_actions (31)
- javascript (3)