Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Z3Prover issue stats
Total issues: 715
Total pull requests: 351
Merged pull request: 273
Average time to close issues: about 1 month
Average time to close pull requests: 2 days
Average comments per issue: 2.05
Average comments per pull request: 0.55
Issues created
- Z3Prover/z3: 715
Pull requests created
- Z3Prover/z3: 351
Issue owner Associations
- None (646, 90.35%)
- Contributor (66, 9.23%)
- Collaborator (3, 0.42%)
Pull Request owner Associations
- Contributor (292, 83.19%)
- Collaborator (41, 11.68%)
- None (18, 5.13%)
All Maintainers
- CEisenhofer (20)
- jfleisher (7)
- JakobR (6)
- nunoplopes (6)
- rhelmot (4)
- agurfinkel (1)
Active Maintainers
- CEisenhofer (11)
- rhelmot (4)
- nunoplopes (3)
- JakobR (2)
- jfleisher (2)
Top Issue Authors
- merlinsun (59)
- zhendongsu (38)
- LeventErkok (29)
- Heaven2024 (25)
- anirjoshi (14)
- brutalsavage (11)
- fwangdo (9)
- r0ayane (9)
- hagozaebii (9)
- tigerfower (8)
- ndreuu (8)
- muchang (8)
- houseofwealth (7)
- Naville (7)
- frankeyjin (7)
Top Pull Request Authors
- ChuyueSun (51)
- dependabot[bot] 🤖 (39)
- levnach (37)
- NikolajBjorner (29)
- CEisenhofer (20)
- waywardmonkeys (19)
- hgvk94 (18)
- wintersteiger (12)
- smoy (8)
- catap (7)
- jfleisher (7)
- JakobR (6)
- tiborschneider (6)
- rhelmot (4)
- mrexodia (4)
Top Issue Labels
- Floats (21)
- Horn (11)
- nlsat (11)
- string (9)
- no-repro (8)
- external (6)
- qel (6)
- bug (5)
- javascript (4)
- duplicate (4)
- API usability / compile (3)
- qe (3)
- wontfix (2)
- performance (1)
- help wanted (1)
Top Pull Request Labels
- dependencies (39)
- github_actions (36)
- javascript (3)