The dqlite bugs found by mallory

[zouyonghao]

Dear authors,

I recently read the Mallory paper. In the paper, there are 11 bugs for Dqlite. However, I only found four bugs on github, which are: https://github.com/canonical/dqlite/issues/587 https://github.com/canonical/dqlite/issues/585 https://github.com/canonical/dqlite/issues/586 https://github.com/canonical/dqlite/issues/591

Are other bugs not open-sourced or should I look elsewhere?