Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
Line 18: Line 18:
 
== done ==
 
== done ==
  
* implement complexity scoring (lower and upper bounds) [http://lists.lri.fr/pipermail/termtools/2015-July/001049.html]
+
* [http://lists.lri.fr/pipermail/termtools/2015-July/001049.html implement complexity scoring (lower and upper bounds)]
 
* install this year's TPDB on starexec
 
* install this year's TPDB on starexec
 
* better display of (rejected) results in certified categories
 
* better display of (rejected) results in certified categories
 
* better display of complexity bounds (show lower/upper bound degree)
 
* better display of complexity bounds (show lower/upper bound degree)
 
* XSL rendering for benchmark display
 
* XSL rendering for benchmark display

Revision as of 13:40, 28 July 2015

TODO list for the competition organizer. You (participant) may edit the "suggested" part and may put "+1/-1" votes on the "accepted" items.


accepted

suggested

Be brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.

done