[libre-riscv-dev] [Bug 63] queue (FIFO) library routine needed

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Tue Nov 19 14:38:23 GMT 2019


--- Comment #6 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
happy with the queue.py code,
there are unit tests at the pipeline
API level that pass.

formal proof testing is to be added from
another NLNet proposal

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list