[Libre-soc-bugs] [Bug 775] Project Management

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=775

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
so as an example:

## Payment not yet submitted


### NLNet.2019.10.032.Formal

* [Bug #418](https://bugs.libre-soc.org/show_bug.cgi?id=418):
  SPR pipeline formal correctness proof needed
    * this task is part of MoU milestone
      [Bug #195](https://bugs.libre-soc.org/show_bug.cgi?id=195)
    * €350 out of total of €400
* [Bug #835](https://bugs.libre-soc.org/show_bug.cgi?id=835):
  add support for smtlib2 floating\-point to yosys and nmigen
    * this task is part of MoU milestone
      [Bug #196](https://bugs.libre-soc.org/show_bug.cgi?id=196)
    * €800 out of total of €2600
* [Bug #838](https://bugs.libre-soc.org/show_bug.cgi?id=838):
  sync or at least statically check fields\.text, power\_decoder, trans/svp64,
CSVs between each other
    * this task is part of MoU milestone
      [Bug #577](https://bugs.libre-soc.org/show_bug.cgi?id=577)
    * €300 out of total of €1500
* [Bug #867](https://bugs.libre-soc.org/show_bug.cgi?id=867):
  add svindex instruction to binutils \(and openpower\-isa infrastructure\)
    * this task is part of MoU milestone
      [Bug #577](https://bugs.libre-soc.org/show_bug.cgi?id=577)
    * €500 out of total of €1200

vvvvvvv

Total amounts per MoU Milestone:

* [Bug #418](...)
  EUR 350 (195)
* [Bug #577](...)
  EUR 800 (867,838)
* [Bug #835](...)
  EUR 800 (196)

^^^^^^^

no need for the full URL for the sub-tasks, just the bug-numbers
a compact table that aids and assists in putting in the correct
total amount for each MoU Milestone

this is for audit purposes so the EU is happy that there's a paper
trail to the signed MoU

-- 
You are receiving this mail because:
You are on the CC list for the bug.