log benchmark/benchmarks.jl @ 1174:50c31500eb97 tooling/benchmarks

age author description
Wed, 25 Jan 2023 13:22:51 +0100 Jonatan Werpers Clean up run_and_view tooling/benchmarks
Wed, 25 Jan 2023 12:52:09 +0100 Jonatan Werpers Add run_and_view script tooling/benchmarks
Tue, 24 Jan 2023 21:57:24 +0100 Jonatan Werpers Start setting things up tooling/benchmarks