[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.
More information about the libre-riscv-dev