Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mvcisback issue stats
Total issues: 62
Total pull requests: 286
Merged pull request: 120
Average time to close issues: 7 months
Average time to close pull requests: 18 days
Average comments per issue: 2.68
Average comments per pull request: 0.97
Issues created
- mvcisback/py-aiger: 30
- mvcisback/py-metric-temporal-logic: 10
- mvcisback/py-AIGAR: 5
- mvcisback/dfa: 4
- mvcisback/py-aiger-sat: 3
- mvcisback/py-mdd: 2
- mvcisback/py-aiger-bdd: 2
- mvcisback/py-aiger-dfa: 2
- mvcisback/dfa-identify: 1
- mvcisback/pyLazyTree: 1
- mvcisback/LogicalLens: 1
- mvcisback/py-aiger-past-ltl: 1
Pull requests created
- mvcisback/py-metric-temporal-logic: 90
- mvcisback/py-aiger: 73
- mvcisback/py-AIGAR: 41
- mvcisback/LogicalLens: 20
- mvcisback/DiscreteSignals: 14
- mvcisback/dfa-identify: 13
- mvcisback/py-aiger-bdd: 8
- mvcisback/py-aiger-coins: 8
- mvcisback/past-mtl-monitors: 7
- mvcisback/dfa: 3
- mvcisback/py-aiger-cnf: 2
- mvcisback/py-aiger-sat: 2
- mvcisback/py-aiger-past-ltl: 2
- mvcisback/pyLazyTree: 1
- mvcisback/probabilistic_automata: 1
- mvcisback/py-aiger-abc: 1
Issue owner Associations
- None (25, 40.32%)
- Contributor (15, 24.19%)
- Owner (12, 19.35%)
- Collaborator (10, 16.13%)
Pull Request owner Associations
- Contributor (222, 77.62%)
- Owner (42, 14.69%)
- Collaborator (15, 5.24%)
- None (7, 2.45%)
All Maintainers
- mvcisback (54)
- MarkusRabe (22)
- ameesh-shah (3)
Active Maintainers
- mvcisback (2)
Top Issue Authors
- mvcisback (12)
- MarkusRabe (11)
- pyup-bot (4)
- alexeyignatiev (3)
- masinag (3)
- Gaudeval (3)
- kaiyuhou (2)
- sjunges (2)
- sokolsky (2)
- xian49930 (2)
- SatarupaChak (1)
- sventhijssen (1)
- tomyaacov (1)
- niklaslauffer (1)
- wonhyukchoi (1)
Top Pull Request Authors
- pyup-bot (184)
- mvcisback (42)
- MarkusRabe (14)
- dependabot[bot] 🤖 (12)
- ameesh-shah (5)
- vint-1 (4)
- Gaudeval (4)
- masinag (3)
- marissachanlatte (3)
- sjunges (2)
- niklaslauffer (2)
- osankur (1)
- Nangos (1)
- leon-sony (1)
- kveretennicov (1)
Top Issue Labels
- bug (1)
- wontfix (1)
Top Pull Request Labels
- dependencies (12)