aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Tasks.org11
1 files changed, 3 insertions, 8 deletions
diff --git a/Tasks.org b/Tasks.org
index 758040c..9453f77 100644
--- a/Tasks.org
+++ b/Tasks.org
@@ -95,15 +95,10 @@ The CLI should get cost models for all of the candidate types, and for now just
We can fit polynomials for each operation from the benchmarking data.
This seems(?) to be working, but could use some further testing.
-** TODO Also cache benchmark results
+** TODO Update benchmark parsing for criterion benchmarks
-Currently, we only cache the resulting polynomials, and not the results.
-We should probably cache both
-
-** TODO Fix benchmarks when compiled with release mode
-
-Currently benchmarks break when compiled in release mode, presumably due to the optimiser being 'too smart'.
-Cosmo suggested putting the closures into their own functions.
+To fix incorrect outputs, we've switched to criterion for benchmarking.
+Unfortunately, it has its own non-machine-readable output which we need to parse results out of.
* TODO Semantic profiler