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: 532
Total pull requests: 544
Merged pull request: 432
Average time to close issues: 8 months
Average time to close pull requests: 29 days
Average comments per issue: 3.53
Average comments per pull request: 2.13
Issues created
- sosy-lab/java-smt: 261
- sosy-lab/benchexec: 127
- 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: 214
- 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 (232, 43.61%)
- None (176, 33.08%)
- Contributor (94, 17.67%)
- Collaborator (30, 5.64%)
Pull Request owner Associations
- Contributor (350, 64.34%)
- Member (133, 24.45%)
- None (55, 10.11%)
- Collaborator (6, 1.10%)
All Maintainers
- PhilippWendler (157)
- kfriedberger (136)
- dbeyer (31)
- Po-Chun-Chien (17)
- MartinSpiessl (16)
- baierd (12)
- lembergerth (8)
- cheshire (7)
- JawHawk (6)
- younghojan (5)
- mdangl (3)
- karkhaz (1)
- Naman-Priyadarshi (1)
- ottseb (1)
Active Maintainers
- PhilippWendler (26)
- Po-Chun-Chien (9)
- JawHawk (6)
- younghojan (5)
- dbeyer (3)
Top Issue Authors
- PhilippWendler (142)
- 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)
- dbeyer (20)
- tautschnig (20)
- dependabot[bot] 🤖 (18)
- lembergerth (17)
- Po-Chun-Chien (17)
- PhilippWendler (15)
- marian-lingsch (13)
- sim642 (11)
- leventeBajczi (10)
- SvenUmbricht (9)
- baierd (8)
- ricffb (8)
Top Issue Labels
- enhancement (76)
- solver (60)
- bug (53)
- question (39)
- Z3 (33)
- container (25)
- HTML table (23)
- C (21)
- issue with benchmark (20)
- wontfix (19)
- cgroups (19)
- help wanted (18)
- low priority (17)
- MathSAT (16)
- Documentation (15)
Top Pull Request Labels
- tool support (123)
- issue with benchmark (28)
- C (28)
- enhancement (20)
- dependencies (18)
- HTML table (12)
- documentation (8)
- invalid (7)
- Z3 (6)
- Maven (5)
- javascript (4)
- container (4)
- solver (3)
- bug (3)
- new benchmarks (3)