Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
 
(5 intermediate revisions by the same user not shown)
Line 7: Line 7:
 
* fix stability and performance problems (starexec connection and/or caching)
 
* fix stability and performance problems (starexec connection and/or caching)
 
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/85 hors-concours participants]
 
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/85 hors-concours participants]
 +
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/92 static display of last year's results, with announcement]
 +
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/88 repair non-XML benchmark display]
  
 
== suggested ==
 
== suggested ==
Line 17: Line 19:
 
== 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
+
* [http://lists.lri.fr/pipermail/termtools/2015-July/001057.html 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

Latest revision as of 18:51, 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