Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sosy-lab issue stats
Total issues: 520
Total pull requests: 489
Merged pull request: 381
Average time to close issues: 8 months
Average time to close pull requests: about 1 month
Average comments per issue: 3.57
Average comments per pull request: 2.23
Issues created
- sosy-lab/java-smt: 261
- sosy-lab/benchexec: 115
- sosy-lab/sv-benchmarks: 37
- sosy-lab/sv-witnesses: 33
- sosy-lab/cpu-energy-meter: 31
- sosy-lab/java-common-lib: 25
- sosy-lab/llvm-j: 12
- sosy-lab/tbf: 5
- sosy-lab/sv-comp: 1
Pull requests created
- sosy-lab/benchexec: 159
- sosy-lab/java-smt: 100
- sosy-lab/sv-comp: 99
- sosy-lab/sv-benchmarks: 63
- sosy-lab/sv-witnesses: 30
- sosy-lab/java-common-lib: 17
- sosy-lab/cpachecker: 11
- sosy-lab/tbf: 4
- sosy-lab/llvm-j: 3
- sosy-lab/cpu-energy-meter: 2
- sosy-lab/reprozip: 1
Issue owner Associations
- Member (224, 43.08%)
- None (173, 33.27%)
- Contributor (93, 17.88%)
- Collaborator (30, 5.77%)
Pull Request owner Associations
- Contributor (302, 61.76%)
- Member (126, 25.77%)
- None (55, 11.25%)
- Collaborator (6, 1.23%)
All Maintainers
- PhilippWendler (147)
- kfriedberger (136)
- dbeyer (29)
- MartinSpiessl (16)
- Po-Chun-Chien (14)
- baierd (12)
- lembergerth (8)
- cheshire (7)
- JawHawk (6)
- younghojan (5)
- mdangl (3)
- karkhaz (1)
- Naman-Priyadarshi (1)
- ottseb (1)
Active Maintainers
- PhilippWendler (24)
- Po-Chun-Chien (12)
- baierd (6)
- JawHawk (6)
- younghojan (5)
- dbeyer (4)
- kfriedberger (3)
Top Issue Authors
- PhilippWendler (134)
- kfriedberger (68)
- hernanponcedeleon (48)
- baierd (26)
- MartinSpiessl (24)
- lembergerth (18)
- jfh1911 (11)
- dbeyer (11)
- phantamanta44 (10)
- ThomasHaas (8)
- incaseoftrouble (8)
- tautschnig (8)
- cheshire (7)
- mchalupa (7)
- bobismijnnaam (6)
Top Pull Request Authors
- kfriedberger (68)
- MartinSpiessl (25)
- mchalupa (23)
- tautschnig (20)
- dbeyer (18)
- dependabot[bot] 🤖 (18)
- lembergerth (17)
- Po-Chun-Chien (14)
- PhilippWendler (13)
- sim642 (11)
- SvenUmbricht (9)
- avritichauhan (8)
- baierd (8)
- serras (8)
- SakshiAgrawal18 (7)
Top Issue Labels
- enhancement (75)
- solver (60)
- bug (51)
- question (39)
- Z3 (33)
- HTML table (23)
- container (21)
- C (21)
- issue with benchmark (20)
- wontfix (19)
- help wanted (18)
- low priority (18)
- cgroups (16)
- MathSAT (16)
- Documentation (15)
Top Pull Request Labels
- tool support (84)
- issue with benchmark (28)
- C (28)
- enhancement (19)
- dependencies (18)
- HTML table (11)
- documentation (8)
- invalid (7)
- Z3 (6)
- Maven (5)
- javascript (4)
- container (4)
- package collect (3)
- bug (3)
- solver (3)