- <https://bugs.libre-soc.org/show_bug.cgi?id=448> MUL tests
- shared with cole
- <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL proof
+ - EUR 50, shared with samuel 10%
- <https://bugs.libre-soc.org/show_bug.cgi?id=420> DIV proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=340> SHIFTROT proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=336> Compunit RA=0 test