[libre-riscv-dev] spr formal proof, NLNet RFPs

[Luke Kenneth Casson Leighton]

samuel: next step is to move the task to "completed"
https://libre-soc.org/Samuel_A_Falvo_II/

given that you're in the U.S., unless you open yourself a Transferwise
online bank account (accepting EUR currency) NLNet have asked us to
submit non-EU Requests for Payment at reasonably large amounts so that
bank fees are not extortionate.  (EU accounts including Transferwise
International online accounts they have zero bank fees)

basically, pick your next proof :)  Trap, MUL, DIV, or ShiftRot
"rotate and clear",
they all need doing.

or if you get bored of that there is a key strategic piece of code that needs
writing: the LDSTSplitter.

l.