Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP project metrix"
(New page: == TPTP 4.7 == * Number of plugins: * Number of features: * Number of committers: * Number of bugs opened on TPTP 4.7: * Number of bugs fixed in TPTP 4.7:) |
(→TPTP 4.7) |
||
Line 1: | Line 1: | ||
== TPTP 4.7 == | == TPTP 4.7 == | ||
− | * Number of plugins: | + | * Number of plugins: 105 |
− | * Number of features: | + | * Number of features: 43 |
− | * | + | * Total size of TPTP runtime: ~78M (~38M when compressed in zips) |
− | * Number of | + | * Number of committers across all projects: 13 (9 active) |
− | * Number of bugs fixed in TPTP 4.7: | + | * Number of bugs fixed in TPTP 4.7: 124 ([http://www.eclipse.org/tptp/reports/bugs/report_47.php?src=All&queryType=bugs&component=All Detail bug report on TPTP 4.7]) |
Revision as of 16:50, 21 April 2010
TPTP 4.7
- Number of plugins: 105
- Number of features: 43
- Total size of TPTP runtime: ~78M (~38M when compressed in zips)
- Number of committers across all projects: 13 (9 active)
- Number of bugs fixed in TPTP 4.7: 124 (Detail bug report on TPTP 4.7)