[Termtools] SRS-standard-certifying

[Johannes Waldmann]

Dear Olivier,

> The proofs we generate are correct
> but they prove the termination of a wrong trs.

I see. - This is exactly the point of
http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=45
and this incident now underlines its urgency.


> We would like cime3 to be disqualified *for the SRS-standard-certifying
> category ONLY*.

So far, we don't have formalized  the process of
"disqualifiacation" (by the committee) or "retraction" (by the team).

I take it that you want Cime3 to be marked "inactive" for this category,
so that its output column should vanish from the results table.

(Simon, just theoretically: could you do this during competition?
Would it have the desired effect?)

(Committe: I suggest we allow that a team retracts a submission during 
competition.
I think that's standard courtesy towards the tool authors, and if I 
recall correctly,
it's been done that way last year. - Discussion? Vote?)


Best regards, Johannes.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081108/e33d8310/attachment.pgp