- <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=420> DIV proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=336> Compunit RA=0 test
- - <https://bugs.libre-soc.org/show_bug.cgi?id=345> POWER9 regfiles
- <https://bugs.libre-soc.org/show_bug.cgi?id=348> SPR pipe
- <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=350> LDST RA=0 test
## Completed but not yet submitted:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=345> POWER9 regfiles
+ - EUR 200
- <https://bugs.libre-soc.org/show_bug.cgi?id=325> Trap pipe
- EUR 500 60% shared, cole (20%) samuel (20%), EUR 300
- <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof