Sören Tempel

> Please add a test application that makes use of the `coverage` module so this gets build by CI. Good idea, will do so later. > If the call to...

Added a preliminary coverage test application which checks that a coverage dump is properly performed. Ideally, it would also be cool to check the validity of the obtained data by...

> When I run `tests/coverage` on `native` it immediately segfaults. This is not intended to be run on `native`, on `native` you can directly use gcov instrumentation to determine coverage....

FYI: freer-simple works fine for me with GHC 9.4.4 if I build my cabal project with `--allow-newer` so I guess this just requires widening the template-haskell dependency accordingly?

The libsodium compat code is also recommended in the referenced talk. However, given the prior discussion in #148 and the comments regarding non-posix functions, I assumed that something like this...

Keep in mind though that `memset_explicit` has only [recently been standardized with C23](https://www.open-std.org/JTC1/SC22/WG14/www/docs/n2897.htm), hence it will so it will be a while before it is widely available.

This also affects the listings environment provided by minted: There is too much vertical spacing between the code (as rendered by the `minted` environment or `\inputminted`) and the caption of...

Yep, can confirm that this has been fixed. This issue can be closed.

> I'm having the same problem, with LUKS2 (also converted from LUKS1) on LVM and ext4 as root filesystem. I am also running into this. I cannot open a LUKS2...

> I am also running into this. I cannot open a LUKS2 device that was converted from LUKS1. I debugged this further and this seems to be a bug in...