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 Profiling Initiative Feedback Summary"
(→TPTP Profiling Initiative Feedback Summary) |
|||
| Line 1: | Line 1: | ||
| − | |||
| − | |||
== Background == | == Background == | ||
During TPTP v4.5.2 iteration 1 and 2 development, invitation was sent to the TPTP and Eclipse community targeting plug-in developer to evaluate the TPTP driver and provide feedback for improvement. This page summaries the feedback collected and tracks the defects opened to address the problem. | During TPTP v4.5.2 iteration 1 and 2 development, invitation was sent to the TPTP and Eclipse community targeting plug-in developer to evaluate the TPTP driver and provide feedback for improvement. This page summaries the feedback collected and tracks the defects opened to address the problem. | ||
Revision as of 14:17, 11 December 2008
Background
During TPTP v4.5.2 iteration 1 and 2 development, invitation was sent to the TPTP and Eclipse community targeting plug-in developer to evaluate the TPTP driver and provide 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 |