[libre-riscv-dev] daily kan-ban update 29may2020

[Luke Kenneth Casson Leighton]

yesterday:

* continued review/assistance Tobias DataMerger
* continued guess-work on regfile formal proof
* started a compunit variant of test_pipe_caller for ALU.  discovered
that MultiCompUnit is not pipeline-compliant.

today:

* continue investigating non-compliance with pipeline API.  Cesar:
this *does not* affect what you are doing.

l.


---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68