Difference between revisions of "Termination Competition 2015 TODO"

From Termination-Portal.org
Jump to navigationJump to search
Line 8: Line 8:
  
 
* [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/84 use original file name whenever possible]
+
 
  
 
== suggested ==
 
== suggested ==
Line 14: Line 14:
 
You may put suggestions here, but keep them brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.  
 
You may put suggestions here, but keep them 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]
  
 
== done ==
 
== done ==

Revision as of 15:13, 12 July 2015

TODO list for the competition organizer.

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)


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

  • better display of (rejected) results in certified categories
  • better display of complexity bounds (show lower/upper bound degree)
  • XSL rendering for benchmark display