[PATCH 0/9] cex: shift derivation vs reduce derivation

[Akim Demaille]

The main goal of this series of commits is to go from

    Example              exp '+' exp • '/' exp
    First derivation     exp → [ exp → [ exp '+' exp • ] '/' exp ]
    Second derivation    exp → [ exp '+' exp → [ exp • '/' exp ] ]

to

    Example              exp '+' exp • '/' exp
    Shift derivation     exp → [ exp '+' exp → [ exp • '/' exp ] ]
    Reduce derivation    exp → [ exp → [ exp '+' exp • ] '/' exp ]

i.e., to show the shift case first, and labelled as such.  We should
probably also display the number of the rule being reduced, included
in r/r conflicts.  Future work.

Akim Demaille (9):
  tests: beware of version numbers from git describe
  cex: minor style changes
  cex: use better type names
  cex: minor renaming
  cex: more consistent memory allocation/copy
  cex: use state_item_number consistently
  cex: factor memory allocation
  style: s/lookahead_tokens/lookaheads/g
  cex: display shifts before reductions

 NEWS                    |  14 ++--
 doc/bison.texi          |  42 ++++++------
 src/AnnotationList.c    |  10 +--
 src/conflicts.c         |  34 +++++-----
 src/counterexample.c    | 146 +++++++++++++++++++++++-----------------
 src/counterexample.h    |  10 ++-
 src/derivation.c        |  46 ++++++-------
 src/derivation.h        |   3 +
 src/getargs.c           |   2 +-
 src/getargs.h           |   2 +-
 src/graphviz.c          |   4 +-
 src/ielr.c              |   2 +-
 src/lalr.c              |  51 +++++++-------
 src/lssi.c              |  16 +++--
 src/lssi.h              |   6 +-
 src/parse-simulation.c  |  50 +++++++-------
 src/parse-simulation.h  |   2 +-
 src/print-graph.c       |   6 +-
 src/print-xml.c         |  20 +++---
 src/print.c             |  20 +++---
 src/state-item.c        |  22 +++---
 src/state-item.h        |   4 ++
 src/state.c             |  14 ++--
 src/state.h             |  10 +--
 src/tables.c            |   8 +--
 tests/conflicts.at      |   4 +-
 tests/counterexample.at | 100 +++++++++++++--------------
 tests/report.at         |  44 ++++++------
 tests/torture.at        |   8 +--
 29 files changed, 369 insertions(+), 331 deletions(-)

-- 
2.27.0