[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/5] Conflict Counterexample Generation
From: |
Akim Demaille |
Subject: |
Re: [PATCH 0/5] Conflict Counterexample Generation |
Date: |
Wed, 13 May 2020 08:41:35 +0200 |
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!
- [PATCH 0/5] Conflict Counterexample Generation, Vincent Imbimbo, 2020/05/12
- [PATCH 1/5] State-item pair graph generation, Vincent Imbimbo, 2020/05/12
- [PATCH 2/5] Parse simulator, Vincent Imbimbo, 2020/05/12
- [PATCH 3/5] Counterexample search, Vincent Imbimbo, 2020/05/12
- [PATCH 4/5] counterexample generation integration, Vincent Imbimbo, 2020/05/12
- [PATCH 5/5] counterexample test suite, Vincent Imbimbo, 2020/05/12
- Re: [PATCH 0/5] Conflict Counterexample Generation,
Akim Demaille <=
- Re: [PATCH 0/5] Conflict Counterexample Generation, Vincent Imbimbo, 2020/05/13
- Re: [PATCH 0/5] Conflict Counterexample Generation, Akim Demaille, 2020/05/13
- Re: [PATCH 0/5] Conflict Counterexample Generation, Akim Demaille, 2020/05/13
- Re: [PATCH 0/5] Conflict Counterexample Generation, Akim Demaille, 2020/05/14
- Re: [PATCH 0/5] Conflict Counterexample Generation, Akim Demaille, 2020/05/16
- cex: isolate missing API from gl_list, Akim Demaille, 2020/05/16
- cex: stylistic changes, Akim Demaille, 2020/05/16
- cex: fix a crash, Akim Demaille, 2020/05/16
- cex: style changes in state-item, Akim Demaille, 2020/05/16
- cex: avoid uninitialized variables, Akim Demaille, 2020/05/16