Quentin VERMANDE
Quentin VERMANDE
I expect the errors were due to me not rebasing. Can we try again?
It seems the problem is always when we get stuck on a match on an evar, in which case it does not really make sense to refold the other term...
May I ask for a bench?
Could someone take a look at this?
Would something like `orig` be fine for the name of the original terms?
Oh, sorry, fixed, and thank you. There is no need to restart the bench, there are several issues to investigate already.
This should be ready for the CI, and if everything goes well a bench.
It looks like my overlay is wrong. What name should I give instead of odd-order?
I did not know about the script, which actually appears at least twice in the documentation, so thank you.
@gares I modified `dev/bench/bench.sh` so that the bench uses the overlays. Do the modifications make sense?