Re: [PATCH 0/5] Conflict Counterexample Generation

Hi Vincent,

> Le 13 mai 2020 à 04:23, Vincent Imbimbo <[email protected]> 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!