## Handy Things to Know
-- [Notes on Formal Proofs.](Documentation/notes_on_formal_proofs.mdwn)
+- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
# Status tracking
## 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
+* <https://bugs.libre-soc.org/show_bug.cgi?id=418>
+ - SPR pipeline formal correctness proof needed
+ - EUR 350 (shared with [[lkcl]]
+* <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
-Submitted but not confirmed paid:
+## Submitted (but not confirmed paid) for NLNet RFP
-## Paid
-
-Donation from NLNet confirmed received:
+## Confirmed NLNet Paid