[libre-riscv-dev] formal verification

Luke Kenneth Casson Leighton lkcl at lkcl.net
Wed Apr 17 09:08:50 BST 2019


On Wed, Apr 17, 2019 at 8:23 AM Jacob Lifshay <programmerjake at gmail.com> wrote:

> 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

 if i could work out a way to silently discard messages not intended
for the bugtracker (and stop bugzilla from sending already-received
comments) i'd join the bugtracker to the mailing list.

l.



More information about the libre-riscv-dev mailing list