Skip to content
Snippets Groups Projects

migrate criterion benchmarks to PLNK

Merged STEVAN Antoine requested to merge migrate-criterion-benchmarks-to-plnk into main
1 file
+ 2
2
Compare changes
  • Side-by-side
  • Inline
+ 2
2
@@ -74,7 +74,7 @@ python scripts/plot/plot.py ...[
open setup.ndjson
| update times { each { $in / 1_000_000 } }
| insert mean {|it| $it.times | math avg}
| insert stddev {|it| $it.times | into int | into float | math stddev | into int}
| insert stddev {|it| $it.times | into float | math stddev}
| insert degree { get label | parse "degree {d}" | into record | get d | into int}
| insert curve {|it| if ($it.name | str starts-with "ARK") {
let c = $it.name | parse "ARK setup on {curve}" | into record | get curve
@@ -108,7 +108,7 @@ python scripts/plot/plot.py ...[
open commit.ndjson
| update times { each { $in / 1_000_000 } }
| insert mean {|it| $it.times | math avg}
| insert stddev {|it| $it.times | into int | into float | math stddev | into int}
| insert stddev {|it| $it.times | into float | math stddev}
| update label { parse "degree {d}" | into record | get d | into int }
| rename --column { label: "x", name: "curve", mean: "measurement", stddev: "error" }
| group-by curve --to-table
Loading