[Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline

[bugzilla-daemon at libre-soc.org]

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

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|mtnolan2640 at gmail.com       |lkcl at lkcl.net

--- Comment #13 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
commit 5e73a60c7beb52480dcf73469f597aa28b845227 (HEAD -> master, origin/master)
Author: Luke Kenneth Casson Leighton <lkcl at lkcl.net>
Date:   Wed Jul 22 11:41:44 2020 +0100

    fix branch main_stage proof, add ctr 32-bit, fix BCREG

commit 17849f9dd18fdb7564e299763e261b8a2c5ee7ad
Author: Luke Kenneth Casson Leighton <lkcl at lkcl.net>
Date:   Wed Jul 22 11:14:32 2020 +0100

    rework branch proof to use br_input_record

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