Stream: Coq devs & plugin devs

Topic: Bench plotter


view this post on Zulip Gaëtan Gilbert (Dec 06 2021 at 12:17):

See https://github.com/coq/coq/pull/15296
hott.png
unimath.png

view this post on Zulip Janno (Dec 06 2021 at 12:19):

What's the X axis?

view this post on Zulip Gaëtan Gilbert (Dec 06 2021 at 12:19):

number of benches

view this post on Zulip Gaëtan Gilbert (Dec 06 2021 at 12:20):

for instance we have only 3 successful benches with vst since the zulip bot so it looks pretty stupid
vst.png

view this post on Zulip Janno (Dec 06 2021 at 12:23):

This is neat! I take it all the benches are from the same computer to make them comparable?

view this post on Zulip Gaëtan Gilbert (Dec 06 2021 at 12:28):

not really :v
older benches may have run on "pendulum", it had issues a few months ago so got paused
the other benches were run on ci-coq-$n.sophia.inria.fr which should be identical


Last updated: May 28 2023 at 13:30 UTC