[PATCH 0/3] cex: prefer → to ::=

[Akim Demaille]

Akim Demaille (3):
  style: cex: remove variables that don't make it simpler to read
  style: cex: prefer the array notation
  cex: prefer → to ::=

 NEWS                    |   8 +--
 doc/bison.texi          |  28 +++++------
 src/counterexample.c    |  41 +++++++--------
 src/derivation.c        |   4 +-
 src/gram.h              |  30 ++++++++---
 src/lssi.c              |   8 +--
 src/parse-simulation.c  |  16 +++---
 src/state-item.c        |  44 ++++++++--------
 src/state-item.h        |  16 +++---
 tests/conflicts.at      |  24 ++++-----
 tests/counterexample.at | 108 ++++++++++++++++++++--------------------
 tests/diagnostics.at    |  22 ++++----
 tests/report.at         |  48 +++++++++---------
 13 files changed, 205 insertions(+), 192 deletions(-)

-- 
2.27.0