[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

[bugzilla-daemon at libre-soc.org]

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

--- Comment #7 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Luke Kenneth Casson Leighton from comment #6)

> ok, cool.  we do now have two CR_ISEL case statements,

ok i see, the first one is for setup, the second for actual isel "proof".

i will delete one of the test_isel()s.

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