-* <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=728> ISACaller, Dmitry
- EUR 1000
-* <https://bugs.libre-soc.org/show_bug.cgi?id=758> Pack/Unpack
- EUR 700
-* <https://bugs.libre-soc.org/show_bug.cgi?id=758> pypowersim, Andrey
- EUR 800
-* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
- EUR 8650