Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
Line 3: Line 3:
 
== 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/85 hors-concours participants]
 
  
 
== suggested ==
 
== suggested ==
Line 19: Line 15:
 
== done ==
 
== done ==
  
 +
* implement complexity scoring (lower and upper bounds) [http://lists.lri.fr/pipermail/termtools/2015-July/001049.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

Revision as of 13:34, 28 July 2015

TODO list for the competition organizer.

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