[libre-riscv-dev] formal verification

[Jacob Lifshay]

On Wed, Apr 17, 2019 at 12:15 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
>  ok good find, i've cross-referenced to the (new as of yesterday)
> formal mathematical proof bug (#61), should see some messages come
> through... can we keep this discussion going through the bugtracker,
> on this one?
>
ok, sounds good

Jacob Lifshay