On 7/10/20 5:28 AM, Akim Demaille wrote: > Now superseded by 3.6.91. > >> Le 4 juil. 2020 à 14:57, Akim Demaille <a...@lrde.epita.fr> a écrit : >> >> >> Hi all, >> >> I am super excited to announce the forthcoming release of Bison 3.7, whose >> main novelty, contributed by Vincent Imbimbo, is the generation of >> counterexamples for conflicts. For instance on a grammar featuring the >> infamous "dangling else" problem, "bison -Wcounterexamples" now gives: >> >> dangling.y: warning: 1 shift/reduce conflict [-Wconflicts-sr] >> Shift/reduce conflict on token "else": >> Example "if" exp "if" exp exp • "else" exp >> First derivation exp ::=[ "if" exp exp ::=[ "if" exp exp • ] "else" exp >> ] >> Second derivation exp ::=[ "if" exp exp ::=[ "if" exp exp • "else" exp ] >> ] >> >> which proves that the grammar is ambiguous by exhibiting a test sample with >> two derivations (corresponding to two parse trees). >> >> When Bison is installed with text styling enabled, the example is actually >> shown twice, with colors demonstrating the ambiguity (see >> https://www.lrde.epita.fr/~akim/private/bison/dangling-else.png). >> >> Joshua Watt contributed the option `--file-prefix-map OLD=NEW`, to make >> reproducible builds. >> >> See the NEWS below for more details. >> >> We *need* feedback on this beta. Not just on counterexamples, there were >> other changes affecting all the skeletons. >> >> *Please* *,* *pretty* *please* *,* *test* *it* *!* >> >> Feedback on the format of the counterexamples would also be most useful. > > Here are the compressed sources: > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.gz (5.1MB) > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.lz (3.1MB) > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.xz (3.1MB) > > Here are the GPG detached signatures[*]: > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.gz.sig > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.lz.sig > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.xz.sig > > Cheers! >
To follow up... excellent results here : ## ------------- ## ## Test results. ## ## ------------- ## 468 tests were successful. 191 tests were skipped. gmake[3]: Leaving directory '/opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.002' gmake[2]: Leaving directory '/opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.002' gmake[1]: Leaving directory '/opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.002' alpha$ pwd /opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.002 alpha$ alpha$ uname -a SunOS alpha 5.10 Generic_150400-65 sun4u sparc SUNW,SPARC-Enterprise alpha$ echo $CC /opt/developerstudio12.6/bin/c99 alpha$ echo $CFLAGS -m64 -xarch=sparc -g -Xc -xs -xO0 -errfmt=error -erroff=%none -errshort=full -xstrconst -xildoff -xmemalign=8s -xnolibmil -xcode=pic32 -xregs=no%appl -xlibmieee -mc -ftrap=%none -xbuiltin=%none -xunroll=1 -Qy -xdebugformat=dwarf alpha$ echo $CPPFLAGS -I/opt/bw/include -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -D_TS_ERRNO -D_XOPEN_SOURCE=600 alpha$ alpha$ psrinfo -pv The physical processor has 6 virtual processors (2-7) SPARC64-VII+ (portid 1024 impl 0x7 ver 0xa1 clock 2860 MHz) alpha$ Beauty ! Thank you Sir . -- Dennis Clarke RISC-V/SPARC/PPC/ARM/CISC UNIX and Linux spoken GreyBeard and suspenders optional