MathisGD

Do you mean that `symbol` and `name` should be stored in storage ? This would mean that they would be more expensive to get, whereas constant could be set at...

By the way, I just noticed that all the other IRMs assume that the number of second between each block is 15 (2 102 400 blocks per year). But that's...

@Rubilmax can you run it again pls, I'm curious to see what's remaining

It can be seen as an other way of evaluating coverage

If the onchain team has some time I think that it can be really interesting to try out

Pending discussion on the dual licence

Other ideas: - [x] Metamorpho can't deposit on a non enabled market

I don't think that this is not planned. This idea is objectively good, it's just that we don't have the bandwidth at the moment to adapt the formal verification to...

WIP there #76

It has to be implemented ! I started something in #76, but it was far from being ready. I might go back to it when I will have a little...