Difference between revisions of "Termination Competition 2015 TODO"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) (→done) |
||
| (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/ | + | * [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
- fix stability and performance problems (starexec connection and/or caching)
- hors-concours participants
- static display of last year's results, with announcement
- repair non-XML benchmark display
suggested
Be brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.
- use original file name whenever possible
- display all job pairs with strange results (not YES, NO, MAYBE, WORST_CASE)
done
- implement complexity scoring (lower and upper bounds)
- 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
