Quentin Garchery

Its quite severe: my whole test suite for lambdapi used to go through in 15s and with version 2.1.0 it now takes 4m21s. Also, it seems like there is something...

No problem, I can simply use version 2.0.0 for now. I wish good luck to you and to Gabriel :) I would also like to move on to other things,...

Great, thanks, I did not know about this repo

I think [this](https://github.com/JoranHonig/vertigo) is the reference to the tool. This seems to be an excerpt of the ouput. Can you provide the full ouput please and how to get it...

> It is an excerpt because I removed all mutations that were killed or errored at compilation, leaving only the viable mutations that we should test Ok got it now,...

MM does not have extSloads so it would essentially be a loop calling MM multiple times. Knowing that, don't you think it's better to do nothing and let the integrator...

Putting as draft because the dual licensing seems to be on purpose. Maybe we should append the full BUSL license as well

Closing this, let's reopen when needed

Thanks a lot for the ideas ! Here are some thoughts about them: 1. The share price could decrease if there is some bad debt on some market. So to...

Closing this as 4-7 have been completed, 3 is dropped because it seems difficult to specify, and 1 & 2 have been added to #333