### NLNet.2019.10.032.Formal
+* [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
+ * €1200 out of total of €1500
* [Bug #845](https://bugs.libre-soc.org/show_bug.cgi?id=845):
binutils: drop svmagic and deal with the prefix instead
* €850 out of total of €1150
* [Bug #849](https://bugs.libre-soc.org/show_bug.cgi?id=849):
binutils: parse macros in SVP64 and refactor code
- * €1300 out of total of €1600
+ * €2100 out of total of €2400
## Submitted to NLNet but not yet paid
binutils: provide tests for setvl/svstep/svshape/svremap
* submitted on 2022-06-21
* €500 out of total of €650
+* [Bug #867](https://bugs.libre-soc.org/show_bug.cgi?id=867):
+ add svindex instruction to binutils \(and openpower\-isa infrastructure\)
+ * submitted on 2022-06-26
+ * €700 out of total of €1200
## Paid by NLNet