Difference between revisions of "Termination Competition 2015 TODO"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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...") |
J.waldmann (talk | contribs) |
||
| Line 6: | Line 6: | ||
* implement complexity scoring (lower and upper bounds) | * 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/84 use original file name whenever possible] | ||
== suggested == | == suggested == | ||
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
