Community
Participate
Working Groups
Fix incosistency with sequenceCounter and add the missing events: parameter/returnValue.
Bulk deferral of all defects except for the following: 1. blocker 2. critical 3. major 4. README 5. web documentation I didn't read each defect individually, so if I've mistakenly deferred your bugzilla when I shouldn't have, then please change the target back to 4.0 i4.
Fix in CVS. The new schema is in trace model, including the associated EMF model which will be used in the trace loaders. The web version would be updated in a separate defect.
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.