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.
TPTP Profiling Initiative Feedback Summary
Background
During the development of TPTP v4.5.2 iteration 1 and 2, invitation was sent to the TPTP and Eclipse communities targeting plug-in developers to evaluate the TPTP driver and feedback for improvement. This page summaries the feedback collected and tracks the defects opened to address the problem.
Feedback
| Issues | Description | Defects |
|---|---|---|
| col1 | col2 | col3 |
| col1 | col2 | col3 |
| col1 | col2 | col3 |
| col1 | col2 | col3 |