Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP project metrix"
(→TPTP 4.7) |
|||
Line 5: | Line 5: | ||
* Total size of TPTP runtime: ~78M (~38M when compressed in zips) | * Total size of TPTP runtime: ~78M (~38M when compressed in zips) | ||
* Number of committers across all projects: 13 (9 active) | * Number of committers across all projects: 13 (9 active) | ||
− | * | + | * [http://www.eclipse.org/tptp/reports/bugs/report_47.php?src=All&queryType=bugs&component=All Detail bug report on TPTP 4.7] |
+ | |||
+ | This project metric will be updated with more detail closer to Helios ship dates. |
Latest revision as of 23:28, 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)
- Detail bug report on TPTP 4.7
This project metric will be updated with more detail closer to Helios ship dates.