Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / SRI-CSL issue stats
Total issues: 248
Total pull requests: 93
Merged pull request: 80
Average time to close issues: 4 months
Average time to close pull requests: 5 days
Average comments per issue: 3.57
Average comments per pull request: 1.6
Issues created
- SRI-CSL/yices2: 103
- SRI-CSL/gllvm: 58
- SRI-CSL/OCCAM: 54
- SRI-CSL/whole-program-llvm: 28
- SRI-CSL/yices2_python_bindings: 3
- SRI-CSL/PLambda: 2
Pull requests created
Issue owner Associations
- None (167, 67.34%)
- Member (56, 22.58%)
- Contributor (19, 7.66%)
- Collaborator (6, 2.42%)
Pull Request owner Associations
- Contributor (42, 45.16%)
- None (31, 33.33%)
- Member (11, 11.83%)
- Collaborator (9, 9.68%)
All Maintainers
- ianamason (56)
- woodruffw (13)
- dddejan (6)
- BrunoDutertre (5)
- loicgelle (1)
- paul-naert (1)
Active Maintainers
Top Issue Authors
- ianamason (48)
- rainoftime (26)
- mudbri (16)
- caballa (14)
- disteph (8)
- woodruffw (6)
- BrunoDutertre (4)
- dddejan (4)
- ekiwi (4)
- shoaibCS (4)
- ptr1120 (4)
- stevenmeker (3)
- hongxuchen (3)
- csH7KmCC9 (3)
- umangm (3)
Top Pull Request Authors
- ahmed-irfan (29)
- 0152la (15)
- ianamason (8)
- woodruffw (7)
- shoaibCS (4)
- dtzWill (3)
- MuhammadAbuBakar95 (3)
- dddejan (2)
- disteph (2)
- hliebel (2)
- alexbernat (1)
- umbertov (1)
- trofi (1)
- Saloed (1)
- RafaeNoor (1)
Top Issue Labels
- bug (36)
- enhancement (16)
- mcsat (15)
- interpolation (8)
- over-specialization (6)
- QF_NRA (5)
- QF_NIA (4)
- occamized-binary-exec-wrong-output (4)
- occamized-binary-exec-crash (4)
- experimental (3)
- limitation (2)
- duplicate (2)
- help wanted (1)
- wiki (1)
- config-prime-crash (1)
Top Pull Request Labels
- mcsat (3)