summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-02-17 22:00:26 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-02-17 22:00:26 +0100
commitad0427d4c31856c4f0fe57c1ed6cf7b4fec1ab6e (patch)
tree273c25cfc1914ccfd17158e2e492d29b56ea0859 /TODO
parentc88325920b2000584bf9efc344f2a71ad066f4a4 (diff)
work on performance comparison tool
Diffstat (limited to 'TODO')
-rw-r--r--TODO4
1 files changed, 2 insertions, 2 deletions
diff --git a/TODO b/TODO
index f00c04ca..eafb3252 100644
--- a/TODO
+++ b/TODO
@@ -95,8 +95,8 @@ next:
95- show desugared source code on a tab in the editor 95- show desugared source code on a tab in the editor
96 96
97- testenv: performance benchmarks (time and memory consumption) 97- testenv: performance benchmarks (time and memory consumption)
98 - create benchmark test set (pipeline codegen and error report) 98 done - create benchmark test set (pipeline codegen and error report)
99 - measure: runtest overall time, total time, total alloc from .prof file 99 done - measure: runtest overall time, total time, total alloc from +RTS -tcurrent.perflog --machine-readable
100 - flag to add new result in the benchmark directory (with machine signature/name) (compare only by default) 100 - flag to add new result in the benchmark directory (with machine signature/name) (compare only by default)
101 - create comparison charts from the results 101 - create comparison charts from the results
102 102