Community
Participate
Working Groups
64 bit architectures need to be tested and exploited for the following chipsets. Other chipsets may need to be added. 1. Intel 2. PPC
*** Bug 74629 has been marked as a duplicate of this bug. ***
The priority should be updated to P1 according to the features list
This enhancement request has been deferred by the project from 4.0 and needs to be reconsidered for 4.1.
Also need AMD (Opteron and 64) as well.
I'm very interested in seeing TPTP support 64-bit platforms as soon as possible. I can work on the porting myself, but I'd like to get in contact with the maintainer or person to whom the report has been assigned first, as I've never contributed to the Eclipse project and I'd like to know the contribution policy and whatnot.
See http://www.eclipse.org/tptp/groups/Architecture/documents/features/hf_50867.html for more info and details.
Please retarget to version 4.2 - still a P1
Changing to P1 as per the 4.1 official plan.
Dropped reference to 3.3 from the title and setting target to 4.1.
Kevin is handling all of the 64-bit IA porting now, so making him the owner.
(In reply to comment #0) > 64 bit architectures need to be tested and exploited for the following > chipsets. Other chipsets may need to be added. > 1. Intel > 2. PPC This Enhancement is specific to Intel specific 64 bit platforms (Em64T and Itanium) Bugzilla 85825 covers other 64-bit platforms (currently targeted for 4.2).
Port to IPF and EM64T completed on Windows and Itanium.
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.