isuckatcs b5147937b2 [analyzer] Add more information to the Exploded Graph ... This patch dumps every state trait in the egraph. Also the empty state traits are no longer dumped, instead they are treated as null by the egraph rewriter script, which solves reverse compatibility issues. Differential Revision: https://reviews.llvm.org/D131187		2022-09-03 00:21:05 +02:00
..
projects	…
.dockerignore	…
CmpRuns.py	[analyzer] SATest: Weaken assumption about HTML files	2022-06-20 09:46:07 +02:00
Dockerfile	[analyzer] SATest: Ensure Docker image can be built	2022-06-20 09:43:21 +02:00
ProjectMap.py	…
SATest.py	Fixed a number of typos	2022-08-01 13:13:18 -04:00
SATestAdd.py	…
SATestBenchmark.py	…
SATestBuild.py	[analyzer] Fix deprecated plistlib functions	2021-10-01 17:07:24 +02:00
SATestUpdateDiffs.py	…
SATestUtils.py	…
SumTimerInfo.py	…
entrypoint.py	[analyzer] Allow cmake options to be passed to satest container	2021-10-25 11:15:40 +02:00
exploded-graph-rewriter.py	[analyzer] Add more information to the Exploded Graph	2022-09-03 00:21:05 +02:00
reducer.pl	…
requirements.txt	…
update_plist_test.pl	…