fosdem2024_formal: add slides and diagrams
[libreriscv.git] / lxo / 550 /
2020-12-26 Alexandre Olivafirst patch for bug 550; status update