summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* gnulib: updateAkim Demaille2020-07-232-1/+1
* tests: fixesAkim Demaille2020-07-231-2/+2
* cex: update NEWS for 3.7Akim Demaille2020-07-222-73/+118
* doc: catch up with the current display of cexAkim Demaille2020-07-225-52/+275
* cex: make "rerun with '-Wcex'" a note instead of a warningAkim Demaille2020-07-217-47/+60
* maint: post-release administriviaAkim Demaille2020-07-202-1/+4
* version 3.6.93v3.6.93Akim Demaille2020-07-201-1/+1
* cex: label all the derivations by their initial actionAkim Demaille2020-07-205-134/+163
* cex: improve readability of the subsectionsAkim Demaille2020-07-207-77/+76
* cex: don't issue an empty line between counterexamplesAkim Demaille2020-07-204-67/+3
* cex: use usual routines for diagnostics about S/R conflictsAkim Demaille2020-07-205-53/+60
* cex: use usual routines for diagnostics about R/R conflictsAkim Demaille2020-07-205-35/+51
* diagnostics: use hyperlinks to point to the only documentationAkim Demaille2020-07-193-6/+38
* doc: add anchors for warningsAkim Demaille2020-07-191-15/+14
* glyphs: fix typesAkim Demaille2020-07-193-30/+28
* maint: post-release administriviaAkim Demaille2020-07-192-1/+4
* version 3.6.92v3.6.92Akim Demaille2020-07-191-1/+1
* style: avoid strncpyAkim Demaille2020-07-193-3/+5
* cex: display derivations as treesAkim Demaille2020-07-189-71/+985
* cex: use the glyphsAkim Demaille2020-07-163-43/+5
* cex: factor the handling of graphical symbolsAkim Demaille2020-07-165-2/+124
* cex: style changesAkim Demaille2020-07-151-1/+1
* cex: simplify testsAkim Demaille2020-07-151-34/+20
* cex: more colorsAkim Demaille2020-07-152-0/+5
* style: comments changesAkim Demaille2020-07-142-8/+8
* doc: update GLR sectionsAkim Demaille2020-07-141-43/+11
* cex: display shifts before reductionsAkim Demaille2020-07-147-128/+146
* style: s/lookahead_tokens/lookaheads/gAkim Demaille2020-07-1416-107/+104
* cex: factor memory allocationAkim Demaille2020-07-141-5/+6
* cex: use state_item_number consistentlyAkim Demaille2020-07-142-15/+15
* cex: more consistent memory allocation/copyAkim Demaille2020-07-142-9/+9
* cex: minor renamingAkim Demaille2020-07-141-2/+2
* cex: use better type namesAkim Demaille2020-07-147-65/+78
* cex: minor style changesAkim Demaille2020-07-143-25/+34
* tests: beware of version numbers from git describeAkim Demaille2020-07-141-2/+2
* tests: fix expectationsAkim Demaille2020-07-141-4/+2
* doc: makeinfo wants @arrow{}, not @arrowAkim Demaille2020-07-121-14/+14
* gnulib: updateAkim Demaille2020-07-111-0/+0
* cex: prefer → to ::=Akim Demaille2020-07-118-125/+147
* style: cex: prefer the array notationAkim Demaille2020-07-114-43/+41
* style: cex: remove variables that don't make it simpler to readAkim Demaille2020-07-112-24/+17
* bistromathic: demonstrate caret-diagnosticsAkim Demaille2020-07-116-13/+86
* bistromathic: do not display parse errors on completionAkim Demaille2020-07-112-16/+36
* bistromathic: don't stupidly reset the location for each tokenAkim Demaille2020-07-112-4/+4
* bistromathic: promote yytoken_kind_tAkim Demaille2020-07-111-6/+7
* html: capitalize titlesAkim Demaille2020-07-112-30/+30
* html: don't define several times the same anchorsAkim Demaille2020-07-112-33/+39
* html: simplifyAkim Demaille2020-07-111-7/+1
* reports: let html reports catch up with --report and --graphAkim Demaille2020-07-112-6/+12
* reports: let xml reports catch up with --report and --graphAkim Demaille2020-07-114-36/+54