Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / atomb issue stats
Total issues: 170
Total pull requests: 155
Merged pull request: 128
Average time to close issues: about 1 year
Average time to close pull requests: 11 days
Average comments per issue: 1.52
Average comments per pull request: 0.71
Issues created
- dafny-lang/dafny: 43
- GaloisInc/llvm-pretty-bc-parser: 42
- GaloisInc/saw-script: 24
- GaloisInc/crucible: 10
- GaloisInc/argo: 9
- GaloisInc/lustre-sally: 9
- GaloisInc/llvm-verifier: 8
- GaloisInc/what4-solvers: 7
- GaloisInc/jvm-verifier: 4
- GaloisInc/mir-verifier: 2
- GaloisInc/saw-core: 2
- GaloisInc/mir-json: 2
- GaloisInc/cryptol-verifier: 1
- GaloisInc/lustre: 1
- GaloisInc/cryptol: 1
- dafny-lang/setup-dafny-action: 1
- GaloisInc/parameterized-utils: 1
- ghulette/monad-supply: 1
- luqui/data-inttrie: 1
- Z3Prover/z3: 1
Pull requests created
- dafny-lang/dafny: 125
- GaloisInc/cryptol: 6
- GaloisInc/what4-solvers: 5
- GaloisInc/argo: 4
- GaloisInc/saw-core: 3
- GaloisInc/aig: 2
- dafny-lang/setup-dafny-action: 1
- ghulette/monad-supply: 1
- GaloisInc/abcBridge: 1
- luqui/data-inttrie: 1
- GaloisInc/what4: 1
- GaloisInc/elf-edit: 1
- GaloisInc/jvm-verifier: 1
- GaloisInc/cryptol-verifier: 1
- GaloisInc/cryptol-specs: 1
- GaloisInc/saw-core-what4: 1
Maintainer
- dafny-lang/dafny: 168
Active Maintainer
- dafny-lang/dafny: 101
Issue Author Associations
- Contributor (103, 60.59%)
- Collaborator (34, 20.00%)
- None (24, 14.12%)
- Member (9, 5.29%)
Pull Request Author Associations
- Collaborator (120, 77.42%)
- Contributor (19, 12.26%)
- None (11, 7.10%)
- Member (5, 3.23%)
Top Issue Labels
- kind: enhancement (24)
- kind: bug (16)
- enhancement (12)
- part: verifier (5)
- priority (5)
- difficulty: easy (4)
- crucible (4)
- question (3)
- wontfix (3)
- has-workaround: yes (2)
- release-blocker (2)
- part: documentation (2)
- during 3: execution of incorrect program (2)
- Windows (2)
- compiler/clang++ (2)
Top Pull Request Labels
- run-deep-tests (11)
- skip-deep-tests (1)