GitHub / zhassan-aws issue stats
Total issues: 95
Total pull requests: 166
Merged pull request: 149
Average time to close issues: 5 months
Average time to close pull requests: 3 days
Average comments per issue: 2.27
Average comments per pull request: 0.94
Issues created
- model-checking/kani: 63
- AeneasVerif/aeneas: 10
- aeneasverif/charon: 5
- diffblue/cbmc: 5
- model-checking/kani-github-action: 2
- tautschnig/bmt: 2
- xldenis/creusot: 1
- viperproject/prusti-dev: 1
- leanprover/fp-lean: 1
- rust-lang/rust: 1
- camshaft/bolero: 1
- leanprover/lean-action: 1
- a-maier/graph-cycles: 1
- model-checking/cbmc-viewer: 1
Pull requests created
- model-checking/kani: 130
- model-checking/kani-github-action: 9
- model-checking/rust-lean-models: 8
- camshaft/bolero: 5
- aws/s2n-quic: 4
- model-checking/kani-verifier-blog: 3
- AeneasVerif/aeneas: 2
- model-checking/cbmc-viewer: 1
- xldenis/creusot: 1
- aeneasverif/charon: 1
- leanprover/fp-lean: 1
- diffblue/cbmc: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (83, 87.37%)
- None (7, 7.37%)
- Collaborator (5, 5.26%)
Pull Request Author Associations
- Contributor (164, 98.80%)
- None (1, 0.60%)
- Collaborator (1, 0.60%)
Top Issue Labels
- [C] Bug (39)
- [E] Performance (14)
- [C] Feature / Enhancement (13)
- [C] Internal (11)
- [F] Spurious Failure (7)
- T-High Priority (7)
- [F] Crash (6)
- T-CBMC (6)
- T-User (5)
- Z-Kani Compiler (4)
- [F] Soundness (3)
- Kani (2)
- Z-Contracts (2)
- bug (2)
- [I] CI / Infrastructure (2)
Top Pull Request Labels
- Z-BenchCI (79)
- Z-EndToEndBenchCI (1)