[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 00/10] Update HTML reports
From: |
Akim Demaille |
Subject: |
[PATCH 00/10] Update HTML reports |
Date: |
Sat, 11 Jul 2020 12:55:18 +0200 |
The HTML reports should also include the counterexamples. I don't
when I will work on that, but beforehand some improvements were dearly
needed in the XML outputs.
Akim Demaille (10):
maint: make it easier to update expectations
style: factor complex expressions
tests: check html
reports: update html ouput
reports: let xml reports catch up with --report and --graph
reports: let html reports catch up with --report and --graph
html: simplify
html: don't define several times the same anchors
fixup! maint: make it easier to update expectations
html: capitalize titles
README-hacking.md | 2 +-
data/xslt/xml2text.xsl | 20 +-
data/xslt/xml2xhtml.xsl | 120 +++++---
src/print-xml.c | 23 +-
src/print.c | 15 +-
tests/local.at | 9 +-
tests/local.mk | 8 +
tests/report.at | 652 ++++++++++++++++++++++++++++++++++++++--
8 files changed, 753 insertions(+), 96 deletions(-)
--
2.27.0
- [PATCH 00/10] Update HTML reports,
Akim Demaille <=
- [PATCH 01/10] maint: make it easier to update expectations, Akim Demaille, 2020/07/11
- [PATCH 02/10] style: factor complex expressions, Akim Demaille, 2020/07/11
- [PATCH 03/10] tests: check html, Akim Demaille, 2020/07/11
- [PATCH 04/10] reports: update html ouput, Akim Demaille, 2020/07/11
- [PATCH 05/10] reports: let xml reports catch up with --report and --graph, Akim Demaille, 2020/07/11
- [PATCH 06/10] reports: let html reports catch up with --report and --graph, Akim Demaille, 2020/07/11
- [PATCH 07/10] html: simplify, Akim Demaille, 2020/07/11
- [PATCH 08/10] html: don't define several times the same anchors, Akim Demaille, 2020/07/11
- [PATCH 09/10] fixup! maint: make it easier to update expectations, Akim Demaille, 2020/07/11
- [PATCH 10/10] html: capitalize titles, Akim Demaille, 2020/07/11