[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/5] Conflict Counterexample Generation
From: |
Vincent Imbimbo |
Subject: |
Re: [PATCH 0/5] Conflict Counterexample Generation |
Date: |
Wed, 13 May 2020 07:41:35 -0400 |
Hey Akim,
Unfortunately in your latest rebase, we lost all the commit messages, so
> I'm currently writing them.
Sorry for the inconvenience. If you're talking about the bug fix commits, a
lot of them were moving code around, which I thought was kind of ugly to
have in a repo. Also, after the heavy rebasing, I wasn't sure if scratched
implementations from earlier versions still worked.
> I also had to fix some conflicts with complain.[ch] (what did you rebase
> against?).
I forked sometime in October maybe? There's been a warning option added in
the meantime. I couldn't pull from master as the merge commit would've made
it a lot harder to rebase.
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 wasn't getting warnings during my build, I should have tested on more
than MacOS.
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.
>
So I mentioned in the cover letter that I didn't want to update these until
we had decided where cex output goes. Right now none of the tests contain
their expected results. IIRC the effects of cex are non-deterministic on
the existing.at tests (there's a lot of conflicts without unifying
examples), so those tests should probably just not use it.
- [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, 2020/05/13
- Re: [PATCH 0/5] Conflict Counterexample Generation,
Vincent Imbimbo <=
- 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