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
* <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof