search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

Get rid of the local repos hack for Coq #58

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

With OPAM 2, we should be able to use opam pin coq $coq_dir and avoid a lot of hacks in the script.