From 3ee93713745e2d62b86eb206b1e03afad57b8a01 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 5 Jul 2019 16:23:07 +0200 Subject: [PATCH] doc(tests/bench/README): update speedcenter URL --- tests/bench/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/bench/README.md b/tests/bench/README.md index c89e2b8442..e6f34e9040 100644 --- a/tests/bench/README.md +++ b/tests/bench/README.md @@ -5,7 +5,7 @@ separate benchmark suites based on the [temci](https://github.com/parttimenerd/temci) benchmarking tool: * The light-weight "Speedcenter" suite benchmarks the current build of Lean. It can be used for quick comparisons on the cmdline and powers the [Lean - Speedcenter](http://i44vm3.ipd.kit.edu/lean-speedcenter/) website. + Speedcenter](http://speedcenter.informatik.kit.edu/lean/) website. * The heavy-weight "Cross" suite benchmarks multiple Lean configurations and other functional compilers against each other and generates CSV and HTML reports from that. It was created for the paper "Counting Immutable Beans -