[libre-riscv-dev] formal verification

Jacob Lifshay programmerjake at gmail.com
Wed Apr 17 08:23:12 BST 2019


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



More information about the libre-riscv-dev mailing list