Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rainoftime issue stats
Total issues: 202
Total pull requests: 5
Merged pull request: 3
Average time to close issues: 5 months
Average time to close pull requests: 1 day
Average comments per issue: 1.28
Average comments per pull request: 0.6
Issues created
- uuverifiers/ostrich: 72
- ultimate-pa/smtinterpol: 64
- SRI-CSL/yices2: 26
- Boolector/boolector: 23
- dreal/dreal4: 3
- nafur/pydelta: 3
- Z3Prover/z3: 2
- sri-csl/sally: 2
- thoughtworksinc/deepdarkfantasy: 2
- pysmt/pysmt: 1
- wcventure/FuzzingPaper: 1
- revng/revng: 1
- kraks/llaam: 1
- seahorn/seahorn-tutorial: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (200, 99.01%)
- Contributor (2, 0.99%)
Pull Request Author Associations
- None (5, 100.00%)
Top Issue Labels
- issues with princess (29)
- wontfix (11)
- mcsat (9)
- bug (7)
- enhancement (5)
- interpolation (5)
- duplicate (5)
- experimental (3)
- question (2)
- QF_NRA (2)
- more information needed (1)
- Floats (1)
- QF_NIA (1)
- performance (1)
- parser (1)