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

[Luke Kenneth Casson Leighton]

yesterday:

* morphed MultiCompUnit to use regspec API
* wrote a module that understands the regspec API and documented it
* created a stub DataMerger class for Tobias to implement
* helped Cesar prioritise tasks
* created soc.fu.compunits with help from Cole
* created some more issues to keep track of forward-planned upcoming work
* reviewed pipeline code
* noticed that we can add OP_MT/FMSR to OP_TRAP

this morning:

* updated the pipelines, tests and formal proofs to use Data for INT regs.
* put a bugracker link to everyone's assignments on their wik homepage

today:

* possibly create a series of register files (or at least the bugreport for it)
* plan some unit test infrastructure for soc.fu.compunits
* split out unit tests from all test_pipe_caller.py and look at using
it for testing soc.fu.compunits