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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri Jul 17 19:51:40 BST 2020

samuel: next step is to move the task to "completed"

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.


More information about the libre-riscv-dev mailing list