3 Individual Contributor.
5 ## Handy Things to Know
7 - [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
11 Move things along from one stage to the next.
13 ## Currently working on
15 * <https://bugs.libre-soc.org/show_bug.cgi?id=340>
16 - formal proof of POWER9 SHIFTROT pipeline needed
18 ## Completed but not yet submitted:
20 * <https://bugs.libre-soc.org/show_bug.cgi?id=418>
21 - SPR pipeline formal correctness proof needed
22 - EUR 350 (shared with [[lkcl]]
23 * <https://bugs.libre-soc.org/show_bug.cgi?id=421>
24 - TRAP pipeline formal correctness proof needed
25 * <https://bugs.libre-soc.org/show_bug.cgi?id=419>
26 - MUL pipeline formal proof needed
28 ## Submitted (but not confirmed paid) for NLNet RFP
30 ## Confirmed NLNet Paid