summaryrefslogtreecommitdiff
path: root/src/derivation.c
Commit message (Expand)AuthorAgeFilesLines
* package: bump copyrights to 2022Paul Eggert2022-01-151-1/+1
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-1/+1
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* cex: always show ε/%empty in counterexamplesAkim Demaille2020-09-021-0/+14
* cex: display the rule numbersAkim Demaille2020-08-301-2/+26
* portability: beware of max () with MSVCAkim Demaille2020-08-021-8/+2
* cex: style: prefer "res" for the returned valueAkim Demaille2020-07-291-6/+6
* cex: update NEWS for 3.7Akim Demaille2020-07-221-3/+2
* cex: improve readability of the subsectionsAkim Demaille2020-07-201-2/+1
* cex: display derivations as treesAkim Demaille2020-07-181-12/+244
* cex: use the glyphsAkim Demaille2020-07-161-4/+3
* cex: minor style changesAkim Demaille2020-07-141-23/+23
* cex: prefer → to ::=Akim Demaille2020-07-111-1/+3
* cex: fix reporting of null nonterminalsVincent Imbimbo2020-06-221-10/+24
* cex: don't assume the terminal supports "•"Akim Demaille2020-06-161-1/+1
* cex: also include the counterexamples in the reportAkim Demaille2020-06-161-6/+8
* cex: color the counterexamplesAkim Demaille2020-06-071-43/+60
* lists: fix various issues with the use of gnulib's listAkim Demaille2020-06-011-14/+20
* cex: derivation reference countingVincent Imbimbo2020-05-221-7/+64
* cex: fixes, and enable testsAkim Demaille2020-05-221-8/+18
* cex: introduce the parse simulatorVincent Imbimbo2020-05-221-0/+107
View Lorry Controller Status