Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
TODO list for the competition organizer.  
+
TODO list for the competition organizer. You (participant) may edit the "suggested" part
 +
(be brief - If you need more text, write elsewhere (termtools, wiki) and only put a link here.)
 +
and may put "+1" votes on the "accepted" items.
 +
 
  
 
== accepted ==
 
== accepted ==

Revision as of 13:36, 28 July 2015

TODO list for the competition organizer. You (participant) may edit the "suggested" part (be brief - If you need more text, write elsewhere (termtools, wiki) and only put a link here.) and may put "+1" votes on the "accepted" items.


accepted

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

  • implement complexity scoring (lower and upper bounds) [1]
  • install this year's TPDB on starexec
  • better display of (rejected) results in certified categories
  • better display of complexity bounds (show lower/upper bound degree)
  • XSL rendering for benchmark display