[Termtools] termination competition interface
simon.bailey at uibk.ac.at
Fri Oct 10 17:02:43 CEST 2008
The competition management interface is now open for business.
Please follow the instructions posted at
to register and create a team.
When uploading your tools, please ensure the following criteria are
met, otherwise the test runs may or may not work
– the zip file contains at most 1 directory (VERY important for mac
– your executable is a direct child of this directory
These limitations will be removed in the coming week.
Once you've registered, you can create or join a team and upload your
tools for testing. If you encounter any problems, please use the
bugzilla interface at http://dev.aspsimon.org/bugzilla/ to submit bug
RE certified categories: there seems to be some form of versioning
hell with CoLoR, Rainbow and coq. The versions installed on the
competition server at the moment are:
coq: 8.1pl3 (in /usr/local/bin and /usr/local/lib)
CoLoR: 080509 (in /usr/local/share/color)
Rainbow: 070713 (in /usr/local/share/rainbow)
Do not expect certification to work properly yet. First results in the
certified category are expected next week; these will be announced in
a separate email.
The Innsbruck Team
Institut fuer Informatik
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
More information about the Termtools