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: 526
Total pull requests: 534
Merged pull request: 424
Average time to close issues: 8 months
Average time to close pull requests: 29 days
Average comments per issue: 3.54
Average comments per pull request: 2.16
Issues created
- sosy-lab/java-smt: 261
- sosy-lab/benchexec: 121
- 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: 204
- 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 (229, 43.54%)
- None (174, 33.08%)
- Contributor (93, 17.68%)
- Collaborator (30, 5.70%)
Pull Request owner Associations
- Contributor (345, 64.61%)
- Member (129, 24.16%)
- None (54, 10.11%)
- Collaborator (6, 1.12%)
All Maintainers
- PhilippWendler (154)
- kfriedberger (136)
- dbeyer (30)
- 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)
- JawHawk (6)
- Po-Chun-Chien (6)
- younghojan (5)
- dbeyer (4)
- baierd (1)
Top Issue Authors
- PhilippWendler (139)
- 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 (19)
- dependabot[bot] 🤖 (18)
- lembergerth (17)
- PhilippWendler (15)
- Po-Chun-Chien (14)
- marian-lingsch (13)
- sim642 (11)
- leventeBajczi (9)
- SvenUmbricht (9)
- baierd (8)
- serras (8)
Top Issue Labels
- enhancement (75)
- solver (60)
- bug (53)
- question (39)
- Z3 (33)
- HTML table (23)
- container (22)
- C (21)
- issue with benchmark (20)
- wontfix (19)
- cgroups (19)
- help wanted (18)
- low priority (18)
- MathSAT (16)
- Documentation (15)
Top Pull Request Labels
- tool support (120)
- 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)
- solver (3)
- bug (3)
- new benchmarks (3)