| Summary: | Contribute RAC and workbench (non-UI) side Dynamic Probekit and BCI Engine to TPTP | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Anandi Krishnamurthy <anandik> |
| Component: | TPTP | Assignee: | Navid Mehregani <nmehrega> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P1 | CC: | apratt |
| Version: | unspecified | Keywords: | plan |
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| URL: | http://www.eclipse.org/tptp/groups/Architecture/documents/features/hf_109684.html | ||
| Whiteboard: | closed460 | ||
| Bug Depends on: | 123835, 126421 | ||
| Bug Blocks: | |||
| Deadline: | 2006-03-31 | ||
|
Description
Anandi Krishnamurthy
Clarification: The request is for IBM to contribute existing proprietary technology to TPTP. Status Update: Waiting for Hubert to do the runtime builds for the Probekit plugin This feature is broken up into three parts and hence it depends on the parts. Removing dependency on 126425, since the test cases have been created. I'm just going to keep 126425 open until the test cases are automated. Closing this feautre, since it has been implemented. As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open. |