[Termtools] Wanted: TrafO information

[Matthias Raffelsieper]

On Monday 18 May 2009 14:16:57 Johannes Waldmann wrote:
> Hi.

Hello.

> Who is the TrafO participant in the outermost category?

Being an author of that tool I have updated the TrafO page in the wiki, which 
apparently was created shortly before.
http://www.termination-portal.org/wiki/Tools:TrafO

> Half Aprove,
> http://termcomp.uibk.ac.at/termcomp/competition/resultDetail.seam?resultId=
>49529&cid=1216 half Jambox?
> http://termcomp.uibk.ac.at/termcomp/competition/resultDetail.seam?resultId=
>49457&cid=1216

Indeed, we used as backends these two "standard" termination provers, since 
TrafO is only a transformation and not a complete standalone tool.


Matthias Raffelsieper