[Libre-soc-dev] payment for formal proofs work

[Jacob Lifshay]

I started working on the shift/rotate formal proof again, and noticed you
had done a bunch of work but weren't paid for your work yet, do you want to
get paid for that and the other tasks you worked on (mul formal proof and a
few others)? if so, we can figure out how much is appropriate. you'll want
to submit the requests for payment to nlnet soon, because the nlnet grants
are expiring in a few months.

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

Jacob