Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fpoli issue stats
Total issues: 157
Total pull requests: 106
Merged pull request: 88
Average time to close issues: 2 months
Average time to close pull requests: 17 days
Average comments per issue: 1.99
Average comments per pull request: 0.77
Issues created
- viperproject/prusti-dev: 31
- fpoli/astar: 27
- viperproject/bitbucket-issue-migration: 24
- steakholders/docs: 22
- viperproject/prusti-assistant: 18
- kbknapp/cargo-outdated: 3
- oli-obk/ui_test: 3
- viperproject/axiom-profiler: 2
- kud1ing/rucaja: 2
- viperproject/vs-verification-toolbox: 2
- fpoli/python-astexport: 2
- viperproject/viperserver: 2
- viperproject/silicon: 2
- fkirc/bitbucket-issues-to-github: 1
- rust-lang/socket2: 1
- fpoli/viper-ide-codespace: 1
- rust-lang/measureme: 1
- rust-osdev/volatile: 1
- kennytm/cargo-kcov: 1
- dtolnay/proc-macro2: 1
- abertschi/postcard_creator_wrapper: 1
- viperproject/carbon: 1
- regexident/cargo-modules: 1
- rust-lang/compiler-builtins: 1
- fpoli/view-spark-timeline: 1
- viperproject/silver: 1
- jni-rs/jni-sys: 1
- hyperium/hyper: 1
- inveniosoftware-contrib/intbitset: 1
- viperproject/tutorial: 1
Pull requests created
- viperproject/prusti-dev: 66
- viperproject/prusti-assistant: 13
- kud1ing/rucaja: 6
- viperproject/axiom-profiler: 5
- viperproject/carbon: 3
- prove-rs/z3.rs: 2
- viperproject/vs-verification-toolbox: 2
- fpoli/astar: 2
- fpoli/gicisky-tag: 2
- viperproject/locate-java-home: 1
- lalrpop/lalrpop: 1
- rust-lang/rustwide: 1
- tiborsimko/invenio-devscripts: 1
- microsoft/vscode-test: 1
Maintainer
- viperproject/prusti-dev: 97
- viperproject/prusti-assistant: 31
- fpoli/astar: 29
- viperproject/bitbucket-issue-migration: 24
- steakholders/docs: 22
- viperproject/axiom-profiler: 7
- viperproject/vs-verification-toolbox: 4
- viperproject/carbon: 4
- viperproject/viperserver: 2
- fpoli/python-astexport: 2
- fpoli/gicisky-tag: 2
- viperproject/silicon: 2
- fpoli/view-spark-timeline: 1
- viperproject/silver: 1
- viperproject/locate-java-home: 1
Active Maintainer
Issue Author Associations
- Member (84, 53.50%)
- Owner (31, 19.75%)
- Collaborator (22, 14.01%)
- None (18, 11.46%)
- Contributor (2, 1.27%)
Pull Request Author Associations
- Member (90, 84.91%)
- Contributor (10, 9.43%)
- Owner (4, 3.77%)
- None (2, 1.89%)
Top Issue Labels
- bug (44)
- enhancement (20)
- good-first-issue (7)
- unsoundness (7)
- good first issue (5)
- error-reporting (5)
- help wanted (3)
- question (3)
- segnalazione anomalia (3)
- Specifica Tecnica (3)
- Definiz Prodotto (2)
- approvato (2)
- AR (2)
- richiesta di modifica (2)
- Manuale Sviluppatore (2)