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>
  16   - formal proof of POWER9 SHIFTROT pipeline needed
  17
  18 ## Completed but not yet submitted:
  19
  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
  27
  28 ## Submitted (but not confirmed paid) for NLNet RFP
  29
  30 ## Confirmed NLNet Paid
  31