Skip to main content

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.

Jump to: navigation, search

TPTP Profiling Initiative Feedback Summary

Revision as of 14:17, 11 December 2008 by Ewchan.ca.ibm.com (Talk | contribs) (TPTP Profiling Initiative Feedback Summary)

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






Back to TPTP wiki page

Back to the top