[photran] Photran and TPTP

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[photran] Photran and TPTP

From: DEVEL Michel <Michel.Devel@xxxxxxxx>
Date: Thu, 14 May 2009 18:10:40 +0200
Delivered-to: photran@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/photran>
List-help: <mailto:photran-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/photran>, <mailto:photran-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/photran>, <mailto:photran-request@eclipse.org?subject=unsubscribe>
User-agent: Thunderbird 2.0.0.19 (X11/20081227)

Has anyone succeeded in using the TPTP eclipse plugin together with
photran ?

I would like to profile some of my sequential codes and I therefore got
interested in the Test and Performance Tool Platform. However, when I
click on the "getting started" or "documentation" part of the  TPTP, I
just get an emty frame !...
If I search google a bit more, I get plenty of results from 2006...

Does anyone know of a recent tutorial about TPTP ?

-- 

Sincerely yours,

Michel DEVEL

Follow-Ups:
- Re: [photran] Photran and TPTP
  - From: Wyatt Spear

Prev by Date: [photran] Photran apparently does not recognize ";"
Next by Date: Re: [photran] Photran and TPTP
Previous by thread: [photran] Photran apparently does not recognize ";"
Next by thread: Re: [photran] Photran and TPTP
Index(es):
- Date
- Thread

Breadcrumbs