Especially, does anyone have information on termCOMP 2009?
I mean termCOMP 2010.
Best regards, Akihisa
On 2021/07/13 23:11, YAMADA, Akihisa wrote:
Ahh, TRS Equational Certified is not displayed correctly... Because the csv output is broken, most likely due to the combination of an old starexec bug and certification failure by NaTT...
Best, Akihisa
On 2021/07/13 22:30, YAMADA, Akihisa wrote:
Dear all,
all the jobs are started!
Best, Akihisa
On 2021/07/12 18:57, YAMADA, Akihisa wrote:
Dear all,
the main run will start in the morning of July 13 EDT, and will be live via: https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftermcomp.g...
Dear participants: Please click "[show configs]" on the top line and check your tools are registered as intended.
Best, Akihisa
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de