[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/6] diagnostics: more changes for cex
From: |
Akim Demaille |
Subject: |
[PATCH 0/6] diagnostics: more changes for cex |
Date: |
Mon, 20 Jul 2020 08:03:53 +0200 |
The final (?) bunch of changes to improve the readability of the
counterexamples.
Cheers!
Akim Demaille (6):
diagnostics: use hyperlinks to point to the only documentation
cex: use usual routines for diagnostics about R/R conflicts
cex: use usual routines for diagnostics about S/R conflicts
cex: don't issue an empty line between counterexamples
cex: improve readability of the subsections
cex: label all the derivations by their initial action
src/complain.c | 38 +++-
src/counterexample.c | 99 +++++++--
src/derivation.c | 3 +-
src/derivation.h | 2 +-
tests/conflicts.at | 40 ++--
tests/counterexample.at | 470 ++++++++++++++++++----------------------
tests/diagnostics.at | 43 ++--
tests/local.at | 2 +-
tests/report.at | 62 +++---
9 files changed, 389 insertions(+), 370 deletions(-)
--
2.27.0
- [PATCH 0/6] diagnostics: more changes for cex,
Akim Demaille <=
- [PATCH 1/6] diagnostics: use hyperlinks to point to the only documentation, Akim Demaille, 2020/07/20
- [PATCH 2/6] cex: use usual routines for diagnostics about R/R conflicts, Akim Demaille, 2020/07/20
- [PATCH 3/6] cex: use usual routines for diagnostics about S/R conflicts, Akim Demaille, 2020/07/20
- [PATCH 4/6] cex: don't issue an empty line between counterexamples, Akim Demaille, 2020/07/20
- [PATCH 5/6] cex: improve readability of the subsections, Akim Demaille, 2020/07/20
- [PATCH 6/6] cex: label all the derivations by their initial action, Akim Demaille, 2020/07/20