Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |