summaryrefslogtreecommitdiff
path: root/test/Analysis/exploded-graph-rewriter/program_points.dot
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] exploded-graph-rewriter: Fix dump for state 0.Artem Dergachev2019-10-181-4/+4
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-14/+28
* [analyzer] Display cast kinds in program point dumps.Artem Dergachev2019-10-171-0/+48
* [analyzer] exploded-graph-rewriter: Improve source location dumps.Artem Dergachev2019-07-121-4/+5
* [analyzer] exploded-graph-rewriter: Fix filenames in program point.Artem Dergachev2019-07-111-1/+2
* [analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.Artem Dergachev2019-07-031-3/+3
* [analyzer] exploded-graph-rewriter: Collapse very long statement pretty-prints.Artem Dergachev2019-07-031-0/+24
* [analyzer] exploded-graph-rewriter: Improve program point dumps.Artem Dergachev2019-07-021-5/+27
* [analyzer] exploded-graph-rewriter: Implement program point tags.Artem Dergachev2019-07-011-1/+9
* [analyzer] exploded-graph-rewriter: Implement a --diff mode.Artem Dergachev2019-06-191-1/+0
* Revert "[analyzer] exploded-graph-rewriter: An attempt to fix Windows buildbo...Artem Dergachev2019-06-031-0/+3
* [analyzer] exploded-graph-rewriter: Initial commit.Artem Dergachev2019-06-021-0/+60