summaryrefslogtreecommitdiff
path: root/tests/report.at
Commit message (Expand)AuthorAgeFilesLines
* package: bump copyrights to 2022Paul Eggert2022-01-151-1/+1
* tests: disable "Multistart reports"Akim Demaille2021-09-021-1595/+1598
* tests: be robust to old versions of xlstprocAkim Demaille2021-08-121-3/+16
* traces: display the Bison versionAkim Demaille2021-01-301-18/+18
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-7/+7
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* report: put the dot after %empty in itemsAkim Demaille2020-10-071-7/+7
* multistart: also check the HTML reportAkim Demaille2020-09-271-0/+448
* multistart: adjust computation of initial core and adjust reportsAkim Demaille2020-09-271-0/+1149
* add support for --htmlAkim Demaille2020-09-191-23/+11
* cex: display the rule numbersAkim Demaille2020-08-301-44/+44
* cex: label all the derivations by their initial actionAkim Demaille2020-07-201-4/+4
* cex: improve readability of the subsectionsAkim Demaille2020-07-201-12/+12
* cex: don't issue an empty line between counterexamplesAkim Demaille2020-07-201-6/+0
* cex: use usual routines for diagnostics about S/R conflictsAkim Demaille2020-07-201-10/+10
* cex: use usual routines for diagnostics about R/R conflictsAkim Demaille2020-07-201-2/+2
* cex: display derivations as treesAkim Demaille2020-07-181-25/+94
* cex: display shifts before reductionsAkim Demaille2020-07-141-20/+20
* tests: beware of version numbers from git describeAkim Demaille2020-07-141-2/+2
* cex: prefer → to ::=Akim Demaille2020-07-111-24/+24
* html: capitalize titlesAkim Demaille2020-07-111-29/+29
* html: don't define several times the same anchorsAkim Demaille2020-07-111-19/+19
* reports: let html reports catch up with --report and --graphAkim Demaille2020-07-111-6/+6
* reports: let xml reports catch up with --report and --graphAkim Demaille2020-07-111-24/+24
* reports: update html ouputAkim Demaille2020-07-111-50/+90
* tests: check htmlAkim Demaille2020-07-111-0/+564
* dot: also use a dot in the outputAkim Demaille2020-07-031-29/+29
* doc: use dot/'•' rather than point/'.'Akim Demaille2020-06-231-84/+84
* cex: display all the S/R conflicts, not just one per (state, rule)Akim Demaille2020-06-231-0/+24
* cex: don't display twice unifying examples if there is no colorAkim Demaille2020-06-221-8/+0
* cex: don't assume the terminal supports "•"Akim Demaille2020-06-161-43/+43
* cex: also include the counterexamples in the reportAkim Demaille2020-06-161-3/+60
* reports: the column width differs from the byte countAkim Demaille2020-06-131-11/+16
* reports: don't escape the labelsAkim Demaille2020-06-131-16/+16
* parser: keep string aliases as the user wrote itAkim Demaille2020-06-131-72/+72
* tests: check reports with conflicts and UTF-8Akim Demaille2020-06-131-0/+510
* test: report.at: avoid tiny new failureJim Meyering2020-01-191-2/+2
* package: bump copyrights to 2020Akim Demaille2020-01-101-1/+1
* report: clean up its formatAkim Demaille2019-02-091-48/+62
* tests: check XML and dot reportsAkim Demaille2019-01-301-2/+831
* package: bump copyrights to 2019Akim Demaille2019-01-051-1/+1
* tests: check typed mid-rule actionsAkim Demaille2018-08-111-3/+3
* tests: check the typed symbols in the reportsAkim Demaille2018-06-181-0/+299
View Lorry Controller Status