Termination Competition 2015 TODO

From Termination-Portal.org
Revision as of 15:11, 12 July 2015 by J.waldmann (talk | contribs) (Created page with "TODO list for the competition organizer. == accepted == * install this year's TPDB on starexec * implement complexity scoring (lower and upper bounds) * fix stability and p...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

TODO list for the competition organizer.

accepted

  • install this year's TPDB on starexec
  • implement complexity scoring (lower and upper bounds)
  • fix stability and performance problems (starexec connection and/or caching)

suggested

You may put suggestions here, but keep them brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.

done

  • better display of (rejected) results in certified categories
  • better display of complexity bounds (show lower/upper bound degree)
  • XSL rendering for benchmark display
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2015_TODO&oldid=1585"