[Termtools] Problems with TPA.

[Koprowski, A.]

    Dear all,

 

  Hans already explained the situation with TPA but since it concerns my
tool I think I should comment on that as well, instead of remaining
silent. So in summary:

 

-) TPA for non-certified competition have bugs. Be it preliminary
version or final version, it is flawed and I'm ready to face the
consequences. If I'm allowed to withdraw then I'd like to do that (given
that I expect the bug to influence TPA results for many systems this may
ease the interpretation of the competition results), if not, TPA clearly
should be disqualified. I'd like to thank Christian Sternagel for
pointing out the bug in TPA.

 

-) On the other hand those problems with TPA have nothing to do with the
certified category. It's a completely independent category (and in fact
according to the rules the TPA for this category is treated as a
different tool than non-certified TPA) and for that I am not aware of
any problems with TPA (and if there are any, then Coq is there to reveal
them). Hence the suggestion that the final version of CoLoR+Rainbow
(that was always the case) and the final version of TPA (reverted to
preliminary one after discovering problems with TPA) are used in the
certified competition.

 

 My sincere apologies and big thanks to Claude whom I'm giving some
extra work this year... 

 

  Kind regards,

   Adam

 

--

========================================================================

 Adam Koprowski, (A.Koprowski at tue.nl, http://www.win.tue.nl/~akoprows)

 Department of Mathematics and Computer Science

 Eindhoven University of Technology (TU/e)

 The difference between impossible and possible lies in determination

      Tommy Lasorda 

========================================================================

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.lri.fr/pipermail/termtools/attachments/20070605/2a29e61e/attachment.html