Samuel_A_Falvo_II.mdwn

   1 # Samuel A. Falvo II
   2
   3 Individual Contributor.
   4
   5 ## Handy Things to Know
   6
   7 - [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
   8
   9 # Status tracking
  10
  11 Move things along from one stage to the next.
  12
  13 ## Currently working on
  14
  15  - <https://bugs.libre-soc.org/show_bug.cgi?id=340> formal proof of POWER9 SHIFTROT pipeline needed
  16
  17 ## Completed but not yet submitted:
  18
  19  - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
  20  - <https://bugs.libre-soc.org/show_bug.cgi?id=421> TRAP pipeline formal correctness proof needed
  21  - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL pipeline formal proof needed
  22
  23 ## Submitted (but not confirmed paid) for NLNet RFP
  24
  25 ## Confirmed NLNet Paid
  26