[Termtools] SRS-certified category?

[Simon Bailey]

hi,

On Oct 24, 2008, at 11:26 AM, Johannes Waldmann wrote:
> I think this should be easy to realize on the server,
> given the machinery for TRS-certified that is already in place.
> (Simon, can you confirm? How much time would you need?)

less than a minute. please submit a test run in the SRS Certifying  
category.

> So far, two teams (Aprove, Matchbox) want to take part.
> Perhaps there are there more?
>
> Are there strong reasons not to do this?
>
> If we do it, then I suggest to take SRS/Zantema/* for random testing.


ah. i should read all of the email before starting to work. :)

> (Simon, can you confirm? How much time would you need?)

new answer: 30-40 mins due to a firefox bug

status:
- the SRS Certifying category is available in the web-interface
- the scheduler selects the test problems from SRS/Zantema/
- the new version of the scheduler is online (see screeny attached)  
[also incorporates the change request from bug #22]

regards,
sb

--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: srs-cert-screeny.png
Type: image/png
Size: 180000 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081024/954785b1/attachment-0001.png 
-------------- next part --------------