Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cex: style: prefer FOO_print to print_FOO | Akim Demaille | 2020-07-29 | 1 | -3/+3 |
* | style: s/lookahead_tokens/lookaheads/g | Akim Demaille | 2020-07-14 | 1 | -2/+2 |
* | cex: use state_item_number consistently | Akim Demaille | 2020-07-14 | 1 | -6/+6 |
* | cex: use better type names | Akim Demaille | 2020-07-14 | 1 | -3/+3 |
* | style: cex: prefer the array notation | Akim Demaille | 2020-07-11 | 1 | -23/+21 |
* | style: use 'nonterminal' consistently | Akim Demaille | 2020-06-27 | 1 | -1/+1 |
* | cex: also include the counterexamples in the report | Akim Demaille | 2020-06-16 | 1 | -4/+4 |
* | style: fix syntax-check issues | Akim Demaille | 2020-06-07 | 1 | -1/+1 |
* | warnings: fix -Wmissing-prototypes issues | Akim Demaille | 2020-06-03 | 1 | -2/+2 |
* | cex: fix pruning crash | Vincent Imbimbo | 2020-05-23 | 1 | -36/+81 |
* | style: spell fixes | Akim Demaille | 2020-05-23 | 1 | -5/+4 |
* | cex: replace state-item data structures | Vincent Imbimbo | 2020-05-22 | 1 | -42/+32 |
* | cex: fix miscellaneous leaks | Vincent Imbimbo | 2020-05-22 | 1 | -0/+1 |
* | cex: be sure to always reclaim memory put in hashes | Akim Demaille | 2020-05-22 | 1 | -14/+15 |
* | cex: properly reclaim hash's allocated memory | Akim Demaille | 2020-05-22 | 1 | -3/+3 |
* | cex: avoid gratuitous heap allocations | Akim Demaille | 2020-05-22 | 1 | -20/+15 |
* | cex: fix leaks | Vincent Imbimbo | 2020-05-22 | 1 | -2/+8 |
* | style: use hash_xinsert | Akim Demaille | 2020-05-22 | 1 | -8/+5 |
* | cex: style changes in state-item | Akim Demaille | 2020-05-22 | 1 | -12/+10 |
* | cex: fix a crash | Akim Demaille | 2020-05-22 | 1 | -1/+1 |
* | cex: add support for state-item pair graph generation | Vincent Imbimbo | 2020-05-22 | 1 | -0/+566 |