Fri, 27 Jan 2023 22:02:43 +0100 |
Jonatan Werpers |
Rename the script file
tooling/benchmarks
|
Fri, 27 Jan 2023 12:43:38 +0100 |
Jonatan Werpers |
More todos
tooling/benchmarks
|
Fri, 27 Jan 2023 12:40:01 +0100 |
Jonatan Werpers |
Clean up todos
tooling/benchmarks
|
Fri, 27 Jan 2023 12:20:43 +0100 |
Jonatan Werpers |
Add the date function to BenchmarkJudment
tooling/benchmarks
|
Fri, 27 Jan 2023 12:11:04 +0100 |
Jonatan Werpers |
Fix bug in runbenchmark(t,b)
tooling/benchmarks
|
Fri, 27 Jan 2023 12:08:03 +0100 |
Jonatan Werpers |
Fix return value in run_benchmark(rev)
tooling/benchmarks
|