diff options
Diffstat (limited to 'Tasks.org')
| -rw-r--r-- | Tasks.org | 12 |
1 files changed, 4 insertions, 8 deletions
@@ -282,13 +282,13 @@ Ideas: **** DONE Conclusion -*** TODO Predictions +*** DONE Predictions -**** TODO Chosen benchmarks +**** DONE Chosen benchmarks -**** TODO Effect of selection on benchmarks (spread in execution time) +**** DONE Effect of selection on benchmarks (spread in execution time) -**** TODO Summarise predicted versus actual +**** DONE Summarise predicted versus actual **** TODO Evaluate performance @@ -304,8 +304,4 @@ Ideas: **** TODO Suggest future improvements? -*** TODO Selection time / developer experience - -**** TODO Mention speedup versus naive brute force - ** TODO Conclusion |