GitHub / fpoli issue stats
Total issues: 140
Total pull requests: 73
Merged pull request: 64
Average time to close issues: about 2 months
Average time to close pull requests: 19 days
Average comments per issue: 1.97
Average comments per pull request: 0.85
Issues created
- fpoli/astar: 27
- viperproject/prusti-dev: 23
- viperproject/bitbucket-issue-migration: 23
- steakholders/docs: 22
- viperproject/prusti-assistant: 10
- kbknapp/cargo-outdated: 3
- oli-obk/ui_test: 3
- kud1ing/rucaja: 2
- viperproject/vs-verification-toolbox: 2
- fpoli/python-astexport: 2
- fkirc/bitbucket-issues-to-github: 1
- rust-lang/measureme: 1
- fpoli/viper-ide-codespace: 1
- rust-lang/cargo: 1
- viperproject/viperserver: 1
- rust-osdev/volatile: 1
- rust-lang/socket2: 1
- model-checking/kani: 1
- viperproject/carbon: 1
- dtolnay/proc-macro2: 1
- regexident/cargo-modules: 1
- kellnr/kellnr: 1
- kennytm/cargo-kcov: 1
- rust-lang/compiler-builtins: 1
- fpoli/view-spark-timeline: 1
- viperproject/silver: 1
- viperproject/axiom-profiler: 1
- jni-rs/jni-sys: 1
- hyperium/hyper: 1
- viperproject/silicon: 1
- abertschi/postcard_creator_wrapper: 1
- inveniosoftware-contrib/intbitset: 1
- viperproject/tutorial: 1
Pull requests created
- viperproject/prusti-dev: 41
- viperproject/prusti-assistant: 8
- kud1ing/rucaja: 6
- viperproject/carbon: 3
- viperproject/axiom-profiler: 3
- viperproject/vs-verification-toolbox: 2
- fpoli/astar: 2
- fpoli/gicisky-tag: 2
- prove-rs/z3.rs: 1
- viperproject/locate-java-home: 1
- lalrpop/lalrpop: 1
- rust-lang/rustwide: 1
- tiborsimko/invenio-devscripts: 1
- microsoft/vscode-test: 1
Maintainer
- viperproject/prusti-dev: 64
- fpoli/astar: 29
- viperproject/bitbucket-issue-migration: 23
- steakholders/docs: 22
- viperproject/prusti-assistant: 18
- viperproject/axiom-profiler: 4
- viperproject/vs-verification-toolbox: 4
- viperproject/carbon: 4
- fpoli/python-astexport: 2
- fpoli/gicisky-tag: 2
- viperproject/viperserver: 1
- fpoli/viper-ide-codespace: 1
- viperproject/locate-java-home: 1
- fpoli/view-spark-timeline: 1
- viperproject/silver: 1
Active Maintainer
Issue Author Associations
- Member (64, 45.71%)
- Owner (31, 22.14%)
- Collaborator (22, 15.71%)
- None (21, 15.00%)
- Contributor (2, 1.43%)
Pull Request Author Associations
- Member (58, 79.45%)
- Contributor (9, 12.33%)
- Owner (4, 5.48%)
- None (2, 2.74%)
Top Issue Labels
- bug (36)
- enhancement (15)
- good first issue (5)
- error-reporting (5)
- good-first-issue (4)
- unsoundness (4)
- question (3)
- help wanted (3)
- Specifica Tecnica (3)
- segnalazione anomalia (3)
- AR (2)
- check at the end (2)
- richiesta di modifica (2)
- approvato (2)
- Manuale Sviluppatore (2)