-* <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
- EUR 2500
-* <https://bugs.libre-soc.org/show_bug.cgi?id=195> Power ISA Formal Proof
- EUR 6550
-* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
- EUR 8650