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
