GitHub / dijkstracula issue stats
Total issues: 16
Total pull requests: 36
Merged pull request: 25
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 2.31
Average comments per pull request: 1.28
Issues created
- p-org/P: 4
- dafny-lang/dafny-lang.github.io: 1
- dafny-lang/dafny: 1
- federico-busato/Modern-CPP-Programming: 1
- ocaml/ocaml: 1
- endoli/lldb-sys.rs: 1
- ocaml-multicore/eio: 1
- stellentus/go-plc: 1
- realworldocaml/examples: 1
- dijkstracula/solvent: 1
- dijkstracula/go-ilock: 1
- prove-rs/z3.rs: 1
- leanprover/theorem_proving_in_lean4: 1
Pull requests created
- stellentus/go-plc: 9
- p-org/P: 8
- leanprover/theorem_proving_in_lean4: 4
- semgrep/semgrep: 2
- semgrep/semgrep-docs: 2
- ant0ine/go-json-rest: 1
- prove-rs/z3.rs: 1
- client9/libinjection: 1
- runoshun/vim-alloy: 1
- sgpthomas/terracotta: 1
- QuickChick/QuickChick: 1
- johnearnest/decker: 1
- realworldocaml/book: 1
- hauntsaninja/useful_types: 1
- bob-beck/libtls: 1
- HdrHistogram/HdrHistogram_c: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (7, 43.75%)
- Contributor (6, 37.50%)
- Owner (2, 12.50%)
- Collaborator (1, 6.25%)
Pull Request Author Associations
- Contributor (21, 58.33%)
- Collaborator (11, 30.56%)
- None (4, 11.11%)
Top Issue Labels
- P Compiler Enhancement (3)
- Feature Request (1)
- kind: bug (1)
- part: language server (1)
- during 1: program development (1)