Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / florianschanda issue stats
Total issues: 199
Total pull requests: 5
Merged pull request: 4
Average time to close issues: 5 months
Average time to close pull requests: about 17 hours
Average comments per issue: 0.48
Average comments per pull request: 0.8
Issues created
- florianschanda/miss_hit: 58
- bmw-software-engineering/trlc: 52
- florianschanda/fp_test_generator: 24
- bmw-software-engineering/lobster: 24
- florianschanda/PyMPF: 15
- cvc5/cvc5: 11
- florianschanda/smtlib_schanda: 8
- model-checking/kani: 2
- dabeaz/ply: 1
- affenwiesel/matlab-formatter-vscode: 1
- florianschanda/pyvcg: 1
- vlfeat/matconvnet: 1
- pypa/pipx: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Owner (106, 53.27%)
- Contributor (74, 37.19%)
- Collaborator (13, 6.53%)
- None (6, 3.02%)
Pull Request Author Associations
- Collaborator (3, 60.00%)
- None (1, 20.00%)
- Contributor (1, 20.00%)
Top Issue Labels
- topic: core (24)
- tool: mh_lint (22)
- enhancement (18)
- new tests (15)
- requires: sem (15)
- large (15)
- topic: analysis (13)
- topic: LRM (13)
- good first issue (13)
- topic: python implementation (11)
- lobster-core (10)
- bug (10)
- lobster-json (9)
- component: parser (9)
- component: core (8)
Top Pull Request Labels
- topic: core (1)
- topic: packaging (1)