Re: Counterexamples timeout
Akim Demaille <[email protected]> Tue, 20 Sep 2022 07:26:44 +0200
| Newsgroups | gmane.comp.parsers.bison.bugs |
|---|---|
| Message-ID | <[email protected]> |
Frank, > Le 16 sept. 2022 =C3=A0 11:12, Frank Heckenbach = <[email protected]> a =C3=A9crit : >=20 > 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-de30.tar.gz = 5.6M - = https://www.lrde.epita.fr/~akim/private/bison/bison-3.8.2.44-de30.tar.lz = 3.1M - = https://www.lrde.epita.fr/~akim/private/bison/bison-3.8.2.44-de30.tar.xz = 3.1M Cheers!=