I will have to make another tarball, I had left a debugging trace. Sorry about
that.
commit 25b3d0e1a3f97a33615099e4b211f3953990c203
Author: Akim Demaille
Date: Tue Sep 20 08:19:02 2022 +0200
cex: check -Dcex.timeout
* src/counterexample.c (counterexample_init): Remove stray de
Frank,
> Le 16 sept. 2022 à 11:12, Frank Heckenbach a écrit :
>
> Thanks. It looks good; I can't easily test it now, but after the
> next release (but don't bother making one just for this).
I recently made a tarball available:
- https://www.lrde.epita.fr/~akim/private/bison/bison-3.8.2.44-de3
Frank,
> Le 16 sept. 2022 à 11:12, Frank Heckenbach a écrit :
>
> Akim Demaille wrote:
>
>>> Le 15 sept. 2022 à 19:02, Jacob L. Mandelson a
>>> écrit :
>>>
>>> I think the English text needs a few minor edits.[...]
>>
>> Thanks a lot for this! I installed the following commit, with your fi
Akim Demaille wrote:
> > Le 15 sept. 2022 à 19:02, Jacob L. Mandelson a
> > écrit :
> >
> > I think the English text needs a few minor edits.[...]
>
> Thanks a lot for this! I installed the following commit, with your fixes.
Thanks. It looks good; I can't easily test it now, but after the
ne
Hi Jacob,
> Le 15 sept. 2022 à 19:02, Jacob L. Mandelson a écrit
> :
>
> I think the English text needs a few minor edits.[...]
Thanks a lot for this! I installed the following commit, with your fixes.
Cheers.
commit c0258915474496874318f4767ba6ebcc1e9471f0
Author: Akim Demaille
Date: Tu
On Thu, Sep 15, 2022 at 06:26:12PM +0200, Akim Demaille wrote:
> Hi Frank,
>
> > Le 29 juil. 2022 à 14:09, Frank Heckenbach a
> > écrit :
> >
> > Hi,
> >
> > I don't know if it's something peculiar about my grammars, but it
> > seems when using "-Wcounterexamples", Bison either finds
> > count
Hi Frank,
> Le 29 juil. 2022 à 14:09, Frank Heckenbach a écrit :
>
> Hi,
>
> I don't know if it's something peculiar about my grammars, but it
> seems when using "-Wcounterexamples", Bison either finds
> counterexamples almost immediately or runs into the timeout.
> (Or maybe 6 seconds (see bel
Hi,
I don't know if it's something peculiar about my grammars, but it
seems when using "-Wcounterexamples", Bison either finds
counterexamples almost immediately or runs into the timeout.
(Or maybe 6 seconds (see below) are just so eternally long to a
modern CPU that there's not much between that
