Individual Contributor.
+## Handy Things to Know
+
+- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
+
# Status tracking
Move things along from one stage to the next.
## Currently working on
- - [https://bugs.libre-soc.org/show_bug.cgi?id=418](SPR pipeline formal correctness proof needed)
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=340> formal proof of POWER9 SHIFTROT pipeline needed
## Completed but not yet submitted:
-## Submitted for NLNet RFP
-
-Submitted but not confirmed paid:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=421> TRAP pipeline formal correctness proof needed
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL pipeline formal proof needed
-## Paid
+## Submitted (but not confirmed paid) for NLNet RFP
-Donation from NLNet confirmed received:
+## Confirmed NLNet Paid