Calascibetta Romain

Provide a `GNUmakefile` and use it to build `miou` - but keep the `dune` file when people vendor `miou`

2

The project is really small and we don't really want to provide much more that we currently have. It can be interesting to finally have a zero-dependency to build and...

The behaviour when we catch an effect which is not a part of Miou

6

Currently, if an application emits an effect which is not defined by Miou, we raise an exception. It will be nice to think about the right behavior to have in...

Provide a mimic(e) implementation without `lwt`

1

This PR provides a new package `mimic.e` which is `mimic` without `lwt`.

Use Lwt.Syntax and avoid some >>= fun () patterns

13

This little commit takes the advantage of `let*` to replace some parts of the code. In my opinion (feel free to take it in account), the code is more readable...

It should be a simple `task` with new (optional?) argument and require the `AUTHENTICATE` IRCv3 command on `cri`.

/cc @hannesm

This patch adds a new option availabe since GCC 8 and Clang 10 which delete absolute path from produced object files. It does not have huge implication on the execution...

Do not discard .gnu.note, GNU ld complains when we link object files

7

Fix #562 (/cc @palainp)

I observed an infinite loop on FreeBSD 14 when I launched tests of Solo5 with the `grub2-bhyve` available. It appears when we test `virtio` unikernels. Actually, we mainly use `hvt`...