GitHub / sjunges issue stats
Total issues: 23
Total pull requests: 31
Merged pull request: 27
Average time to close issues: about 1 year
Average time to close pull requests: 11 days
Average comments per issue: 1.65
Average comments per pull request: 0.77
Issues created
- moves-rwth/stormpy: 16
- moves-rwth/pycarl: 2
- mvcisback/dfa: 1
- marcoeilers/nagini: 1
- cvc5/cvc5: 1
- scipopt/soplex: 1
- mvcisback/py-aiger: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (20, 86.96%)
- None (3, 13.04%)
Pull Request Author Associations
- Contributor (31, 100.00%)
Top Issue Labels
- wontfix (1)
- unwanted behavior (1)
- enhancement (1)