Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | portability: beware of max () with MSVC | Akim Demaille | 2020-08-02 | 1 | -8/+2 |
* | cex: style: prefer "res" for the returned value | Akim Demaille | 2020-07-29 | 1 | -6/+6 |
* | cex: update NEWS for 3.7 | Akim Demaille | 2020-07-22 | 1 | -3/+2 |
* | cex: improve readability of the subsections | Akim Demaille | 2020-07-20 | 1 | -2/+1 |
* | cex: display derivations as trees | Akim Demaille | 2020-07-18 | 1 | -12/+244 |
* | cex: use the glyphs | Akim Demaille | 2020-07-16 | 1 | -4/+3 |
* | cex: minor style changes | Akim Demaille | 2020-07-14 | 1 | -23/+23 |
* | cex: prefer → to ::= | Akim Demaille | 2020-07-11 | 1 | -1/+3 |
* | cex: fix reporting of null nonterminals | Vincent Imbimbo | 2020-06-22 | 1 | -10/+24 |
* | cex: don't assume the terminal supports "•" | Akim Demaille | 2020-06-16 | 1 | -1/+1 |
* | cex: also include the counterexamples in the report | Akim Demaille | 2020-06-16 | 1 | -6/+8 |
* | cex: color the counterexamples | Akim Demaille | 2020-06-07 | 1 | -43/+60 |
* | lists: fix various issues with the use of gnulib's list | Akim Demaille | 2020-06-01 | 1 | -14/+20 |
* | cex: derivation reference counting | Vincent Imbimbo | 2020-05-22 | 1 | -7/+64 |
* | cex: fixes, and enable tests | Akim Demaille | 2020-05-22 | 1 | -8/+18 |
* | cex: introduce the parse simulator | Vincent Imbimbo | 2020-05-22 | 1 | -0/+107 |