News:Plan for complete run (all tools, all problems)

From Termination-Portal.org
Revision as of 14:59, 12 December 2011 by Thiemann (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Dec 6, 2011

A complete termcomp run (all tools, all problems) is currently executed (Announcement). Partial results are available, but will require some postprecessing after everything has been run (e.g., remove some outdated tools which should not have been run at all). Categories are run sequentially.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Plan_for_complete_run_(all_tools,_all_problems)&oldid=1192"