Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cex: fix reporting of null nonterminals | Vincent Imbimbo | 2020-06-22 | 1 | -1/+1 |
* | cex: style changes | Akim Demaille | 2020-06-19 | 1 | -1/+1 |
* | cex: also include the counterexamples in the report | Akim Demaille | 2020-06-16 | 1 | -4/+5 |
* | cex: make sure traces go to stderr | Akim Demaille | 2020-06-16 | 1 | -8/+9 |
* | warnings: fix -Wmissing-prototypes issues | Akim Demaille | 2020-06-03 | 1 | -3/+5 |
* | lists: fix various issues with the use of gnulib's list | Akim Demaille | 2020-06-01 | 1 | -21/+26 |
* | cex: replace state-item data structures | Vincent Imbimbo | 2020-05-22 | 1 | -10/+8 |
* | cex: fix parse state leaks | Vincent Imbimbo | 2020-05-22 | 1 | -29/+40 |
* | cex: derivation reference counting | Vincent Imbimbo | 2020-05-22 | 1 | -67/+98 |
* | cex: style changes in parse-simulation | Akim Demaille | 2020-05-22 | 1 | -30/+26 |
* | cex: style: prefer res for returned value | Akim Demaille | 2020-05-22 | 1 | -17/+17 |
* | cex: fix stack overflow | Vincent Imbimbo | 2020-05-22 | 1 | -25/+28 |
* | cex: introduce the parse simulator | Vincent Imbimbo | 2020-05-22 | 1 | -0/+556 |