Re: Bison 3.6.90 released [beta]

[Dennis Clarke]

On 7/10/20 5:28 AM, Akim Demaille wrote:
> Now superseded by 3.6.91.
> 
>> Le 4 juil. 2020 à 14:57, Akim Demaille <akim@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