Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] exploded-graph-rewriter: Fix dump for state 0. | Artem Dergachev | 2019-10-18 | 1 | -4/+4 |
* | [analyzer] Assign truly stable identifiers to exploded nodes. | Artem Dergachev | 2019-10-17 | 1 | -8/+32 |
* | [analyzer] exploded-graph-rewriter: Implement manual graph trimming. | Artem Dergachev | 2019-08-13 | 1 | -11/+21 |
* | [analyzer] exploded-graph-rewriter: NFC: Refactor explorers into trimmers. | Artem Dergachev | 2019-08-13 | 1 | -0/+37 |