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

[Cole Poirier]

Today I am going to attempt to try hooking up the bperm.py module to the
logical pipeline and adding a test for it, using logical/main_stage.py's
OP_CNTZ as a model for OP_BPERM and logical/test/test_pipe_caller.py's
test_cmpb as a model for test_bperm.

Thank you very much for the confidence boost on the formal proof
yesterday Luke, it was very, very helpful.

Cole