Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
(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...")
 
 
(12 intermediate revisions by the same user not shown)
Line 1: Line 1:
TODO list for the competition organizer.  
+
TODO list for the competition organizer. You (participant) may edit the "suggested" part
 +
and may put "+1/-1" votes on the "accepted" items.
 +
 
  
 
== accepted ==
 
== 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)
 
* 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/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 ==
  
You may put suggestions here, but keep them brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.  
+
Be brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.  
  
*  
+
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/84 use original file name whenever possible]
 +
* [https://github.com/stefanvonderkrone/star-exec-presenter/issues/86 display all job pairs with strange results (not YES, NO, MAYBE, WORST_CASE)]
  
 
== done ==
 
== done ==
  
 +
* [http://lists.lri.fr/pipermail/termtools/2015-July/001049.html implement complexity scoring (lower and upper bounds)]
 +
* [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