summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* bench: fix support for pure parserAkim Demaille2020-08-071-29/+41
* portability: multiple typedefsAkim Demaille2020-08-031-2/+2
* style: revert "avoid warnings with GCC 4.6"Akim Demaille2020-08-021-3/+3
* maint: post-release administriviaAkim Demaille2020-08-022-1/+4
* version 3.7.1v3.7.1Akim Demaille2020-08-021-1/+1
* portability: we use termios.h and sys/ioctl.hAkim Demaille2020-08-026-1/+12
* portability: rename accept to acceptsymbol because of MSVCMaarten De Braekeleer2020-08-025-12/+12
* regenAkim Demaille2020-08-022-20/+20
* portability: use CHAR_LITERAL instead of CHAR because MSVC defines CHARMaarten De Braekeleer2020-08-022-5/+5
* portability: use INT_LITERAL instead of INT because MSVC defines INTMaarten De Braekeleer2020-08-023-12/+13
* portability: beware of max () with MSVCAkim Demaille2020-08-024-27/+20
* libtextstyle: be sure to have ostream_printf and hyperlink supportAkim Demaille2020-08-027-8/+20
* CI: comment changesAkim Demaille2020-08-011-0/+2
* regenAkim Demaille2020-08-012-9/+9
* diagnostics: better location for type redeclarationsAkim Demaille2020-08-015-14/+21
* todo: updates for DAkim Demaille2020-07-301-15/+293
* cex: style: comment changesAkim Demaille2020-07-291-15/+11
* cex: style: prefer "res" for the returned valueAkim Demaille2020-07-291-6/+6
* cex: style: prefer FOO_print to print_FOOAkim Demaille2020-07-295-14/+15
* scanner: don't crash on strings containing a NUL byteAkim Demaille2020-07-284-12/+50
* doc: refer to cex from sections dealing with conflictsAkim Demaille2020-07-282-39/+68
* doc: factor ifnottex/iftex examplesAkim Demaille2020-07-281-15/+4
* doc: fix colorsAkim Demaille2020-07-281-14/+27
* doc: fixesAkim Demaille2020-07-281-16/+10
* maint: post-release administriviaAkim Demaille2020-07-232-1/+4
* version 3.7v3.7Akim Demaille2020-07-231-1/+1
* style: avoid warnings with GCC 4.6Akim Demaille2020-07-231-3/+3
* doc: fix definition of -WallAkim Demaille2020-07-232-2/+3
* 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