Re: [PATCH 0/5] Conflict Counterexample Generation

[Akim Demaille]

Hi Vincent,

> Le 13 mai 2020 à 04:23, Vincent Imbimbo <address@hidden> a écrit :
> 
> Hi all,
> Counterexample generation is a feature intended to help debugging conflicts 
> in amibuous grammars. It was initially developed in CUP by Andrew Myers and 
> Chinawat Isradisaikul.
> Their paper on it can be found here: 
> https://www.cs.cornell.edu/andru/papers/cupex/cupex.pdf

This is wonderful news!  This is a major contribution to Bison, I'm very happy 
you did this!

Seen from GitHub, you'll see that I have merged 
https://github.com/akimd/bison/pull/15.  However, I won't add it as is to the 
real master repository, there's a number of changes I need to do.

Unfortunately in your latest rebase, we lost all the commit messages, so I'm 
currently writing them.  I also had to fix some conflicts with complain.[ch] 
(what did you rebase against?).  The changes in bootstrap.cfg are also lacking, 
so I'm adding them.  There are many warnings to address (e.g., "int foo()" is 
not a valid signature in C, you need "int foo(void)", or global/local name 
conflicts).

I also need to make sure the test suite passes on the CI, which requires adjust 
the test cases, or maybe disabling some of them.  I'm not done yet.  I've 
pushed the current state of the branch as 
https://github.com/akimd/bison/tree/cex.

Once all this is taken care of, I'll merge your branch into Savannah.  I will 
soon be back to you to discuss about the actual contribution itself.

Cheers!