[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Forthcoming Bison 3.7
From: |
vmi6 |
Subject: |
Re: Forthcoming Bison 3.7 |
Date: |
Tue, 16 Jun 2020 18:57:38 -0400 |
Hey Akim,
I can do that, I’ll try to get it done this week.
~Vincent
> On Jun 16, 2020, at 2:19 AM, Akim Demaille <akim.demaille@gmail.com> wrote:
>
> Hi Vincent,
>
> I think the 3.7 release is getting close. I'm not fully done with the
> changes I would like to have in the reports, but these improvements can be
> brought in future releases.
>
> Yet we have to write the documentation and the NEWS entry for
> -Wcounterexamples. Would you like to do that? If you do, please note that
> there is a References section in the documentation.
>
> Cheers!