max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

doc(tests/bench/README): update speedcenter URL

Browse source
This commit is contained in:
Sebastian Ullrich 2019-07-05 16:23:07 +02:00
parent b343e45958
commit 3ee9371374
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/bench/README.md
View file

@ -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 -