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

From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: [libre-riscv-dev] spr formal proof, NLNet RFPs
Date: Fri, 17 Jul 2020 19:51:40 +0100
Message-ID: <CAPweEDws_xR1OtcjP54qGo1RgKA7Gssy+=sYU_vGXN0mVXuS6g@mail.gmail.com> (raw)

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.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev