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: 274
Total pull requests: 218
Merged pull request: 198
Average time to close issues: 4 months
Average time to close pull requests: 4 days
Average comments per issue: 3.31
Average comments per pull request: 1.41
Issues created
- SRI-CSL/yices2: 129
- 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 (184, 67.15%)
- Member (61, 22.26%)
- Contributor (23, 8.39%)
- Collaborator (6, 2.19%)
Pull Request owner Associations
- Member (112, 51.38%)
- Contributor (65, 29.82%)
- None (32, 14.68%)
- Collaborator (9, 4.13%)
All Maintainers
- ahmed-irfan (105)
- ianamason (56)
- woodruffw (13)
- dddejan (6)
- BrunoDutertre (5)
- joehendrix (1)
- loicgelle (1)
- paul-naert (1)
Active Maintainers
- ahmed-irfan (64)
Top Issue Authors
- ianamason (48)
- rainoftime (26)
- mudbri (16)
- caballa (14)
- disteph (10)
- woodruffw (6)
- ahmed-irfan (5)
- ptr1120 (4)
- shoaibCS (4)
- ekiwi (4)
- dddejan (4)
- BrunoDutertre (4)
- yurivict (4)
- hongxuchen (3)
- loicgelle (3)
Top Pull Request Authors
- ahmed-irfan (127)
- 0152la (15)
- Ovascos (12)
- markpmitchell (9)
- ianamason (8)
- woodruffw (7)
- isanych (5)
- shoaibCS (4)
- dtzWill (3)
- MuhammadAbuBakar95 (3)
- dddejan (2)
- disteph (2)
- hliebel (2)
- alexbernat (1)
- umbertov (1)
Top Issue Labels
- bug (38)
- enhancement (16)
- mcsat (15)
- interpolation (8)
- over-specialization (6)
- QF_NRA (5)
- occamized-binary-exec-wrong-output (4)
- occamized-binary-exec-crash (4)
- QF_NIA (4)
- experimental (3)
- limitation (2)
- duplicate (2)
- help wanted (1)
- wiki (1)
- config-prime-crash (1)
Top Pull Request Labels
- mcsat (3)