GitHub / m-carrasco issue stats
Total issues: 26
Total pull requests: 18
Merged pull request: 13
Average time to close issues: 3 months
Average time to close pull requests: about 3 hours
Average comments per issue: 2.0
Average comments per pull request: 0.56
Issues created
- sammycage/lunasvg: 3
- tudo-aqua/spout: 3
- alcuadrado/contractorj: 3
- dafny-lang/dafny: 3
- Z3Prover/z3: 2
- smackers/smack: 1
- google/fuzzbench: 1
- llvm/llvm-project: 1
- trailofbits/polytracker: 1
- ExpoSEJS/ExpoSE: 1
- eurecom-s3/symcc: 1
- libsndfile/libsndfile: 1
- boostorg/graph: 1
- GreycLab/CImg: 1
- dafny-lang/xdsmith: 1
- tudo-aqua/gdart: 1
- aflgo/aflgo: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (18, 69.23%)
- Contributor (5, 19.23%)
- Collaborator (3, 11.54%)
Pull Request Author Associations
- Owner (9, 50.00%)
- Contributor (5, 27.78%)
- None (4, 22.22%)
Top Issue Labels
- bug (5)
- kind: bug (2)
- part: counterexamples (1)
- coverage (1)
- tools:llvm-cov (1)
Top Pull Request Labels
- Enhancement (1)
- Compile (1)