Calascibetta Romain

Just to revive a bit the PR, `decompress.1.3.0` was out and it should be better about compression: - a bug was found about a systematic internal allocation of a static...

Currently, we have a `mirage-gilbraltar` and a PR is already done on the `mirage` side: mirage/mirage#1253. However, I will consider that everything will be done if we can bring our...

Currently, the `unix` back-end is implemented. The `xen` back-end should work with the Solo5 implementation but I suspect that Xen has a different access to block devices. I'm not sure.

From what I read, deflate block of a Zip format is close to RFC1951 - but not explicitly mention this standard - (and by this way, close to decompress). From...

Fixed but it does not work with `flambda`.

An interesting resource exists to check our assertions: https://eprint.iacr.org/2016/1123.pdf But I tried locally to reproduce their result and... it does not work. Then, I don't think that it's the good...

The issue still is open because we must assert our behavior but again, the `check/check.exe` is too fragile to be systematically exploitable (specially into a CI context). I removed the...

Your computer is in 32-bits architecture?

Hmmhmm, I don't know what we can do about that when the problem seems to come from `protobuf`. Do you want a specific behavior from the unikernel about that? Note...

Indeed, we need to join several tables depending on certain factors and avoid either multiple queries (which is currently the case) or a reduction on the result of a query.