bedrock2 icon indicating copy to clipboard operation
bedrock2 copied to clipboard
verified publisher icon mit-plv

opam package for bench

Open SkySkimmer opened this issue 5 years ago • 1 comments

Currently the opam package at https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-bedrock2/coq-bedrock2.dev/opam makes bedrock_ex which seems to be quite small (~4min on the bench) Could we have a more complete package for Coq's benchmark infrastructure?

SkySkimmer avatar Dec 11 '20 14:12 SkySkimmer

cc @JasonGross ?

SkySkimmer avatar Jan 07 '21 10:01 SkySkimmer