Alain D D Williams (addw)

Status Tracking

Currently working on

  • Bug #853: Name server config for lists.libre-riscv.org. is bad

Completed but not yet added to payees list

  • Bug #174: NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046
  • Bug #213: SimpleV Standard writeup needed
    • this task is a MoU Milestone
  • Bug #255: formal standard documentation of 3D Opcodes
    • this task is a MoU Milestone

Paid by NLNet

NLNet.2019.10.046.Standards

  • Bug #214: ISAMUX/NS Standard writeup needed
    • submitted on 2022-08-18
    • paid on 2022-08-25
    • €1250 out of total of €2500
    • this task is a MoU Milestone
  • Bug #238: POWER Compressed Formal Standard writeup
    • submitted on 2022-08-18
    • paid on 2022-08-25
    • €1000 out of total of €5000
    • this task is a MoU Milestone
  • Bug #239: FP16 (and FP128) POWER Formal Standard proposal
    • submitted on 2022-08-18
    • paid on 2022-08-25
    • €1250 out of total of €2500
    • this task is a MoU Milestone
  • Bug #240: POWER-RISCV ISA switch formal standard writeup needed
    • submitted on 2022-08-18
    • paid on 2022-08-25
    • €1000 out of total of €3000
    • this task is a MoU Milestone

MoU Milestone subtotals for paid payments

  • Bug #214: ISAMUX/NS Standard writeup needed
    • subtotal €1250 out of total including subtasks of €2500

MoU Milestone subtotals for paid payments

  • Bug #238: POWER Compressed Formal Standard writeup
    • subtotal €1000 out of total including subtasks of €5000

MoU Milestone subtotals for paid payments

  • Bug #239: FP16 (and FP128) POWER Formal Standard proposal
    • subtotal €1250 out of total including subtasks of €2500

MoU Milestone subtotals for paid payments

  • Bug #240: POWER-RISCV ISA switch formal standard writeup needed
    • subtotal €1000 out of total including subtasks of €3000