GitHub / atomb issue stats
Total issues: 184
Total pull requests: 184
Merged pull request: 158
Average time to close issues: 12 months
Average time to close pull requests: 13 days
Average comments per issue: 1.43
Average comments per pull request: 0.75
Issues created
- GaloisInc/llvm-pretty-bc-parser: 42
- dafny-lang/dafny: 37
- GaloisInc/saw-script: 24
- dafny-lang/compiler-bootstrap: 12
- GaloisInc/crucible: 10
- GaloisInc/lustre-sally: 9
- GaloisInc/argo: 9
- GaloisInc/llvm-verifier: 8
- GaloisInc/what4-solvers: 7
- atomb/rupert: 5
- GaloisInc/jvm-verifier: 4
- GaloisInc/saw-core: 2
- atomb/core-to-isabelle: 2
- GaloisInc/mir-verifier: 2
- GaloisInc/mir-json: 2
- GaloisInc/cryptol: 2
- ghulette/monad-supply: 1
- GaloisInc/cryptol-verifier: 1
- dafny-lang/setup-dafny-action: 1
- luqui/data-inttrie: 1
- GaloisInc/parameterized-utils: 1
- Z3Prover/z3: 1
- GaloisInc/lustre: 1
Pull requests created
- dafny-lang/dafny: 123
- dafny-lang/dafny-reportgenerator: 11
- dafny-lang/blog: 6
- GaloisInc/cryptol: 6
- dafny-lang/libraries: 5
- dafny-lang/compiler-bootstrap: 5
- GaloisInc/what4-solvers: 5
- GaloisInc/argo: 4
- GaloisInc/saw-core: 3
- GaloisInc/what4: 2
- dafny-lang/ide-vscode: 2
- GaloisInc/aig: 2
- GaloisInc/cryptol-verifier: 1
- leanprover/lean4: 1
- GaloisInc/jvm-verifier: 1
- GaloisInc/abcBridge: 1
- luqui/data-inttrie: 1
- GaloisInc/elf-edit: 1
- ghulette/monad-supply: 1
- dafny-lang/setup-dafny-action: 1
- GaloisInc/cryptol-specs: 1
- GaloisInc/saw-core-what4: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (103, 55.98%)
- Member (26, 14.13%)
- None (24, 13.04%)
- Collaborator (24, 13.04%)
- Owner (7, 3.80%)
Pull Request Author Associations
- Collaborator (111, 60.33%)
- Member (42, 22.83%)
- Contributor (18, 9.78%)
- None (13, 7.07%)
Top Issue Labels
- kind: enhancement (19)
- enhancement (16)
- kind: bug (16)
- priority (5)
- part: verifier (5)
- question (4)
- priority: not yet (4)
- crucible (4)
- difficulty: easy (3)
- wontfix (3)
- maybe-fixed (2)
- bug (2)
- obsolete (2)
- part: language definition (2)
- compiler/clang++ (2)
Top Pull Request Labels
- run-deep-tests (10)
- skip-deep-tests (1)
- documentation (1)
- toolchain-available (1)