"git@git.frama-c.com:pub/frama-c.git" did not exist on "7d71f83c949f0b9449ae84566a0ef78ade1a877a"
-
Jan Rochel authored
The next commit reworks the graph structure completely. For its correctness only the alias sets are relevant. So we temporarily disable graph output such that the diff of the next commit only includes changes to the alias sets.
Jan Rochel authoredThe next commit reworks the graph structure completely. For its correctness only the alias sets are relevant. So we temporarily disable graph output such that the diff of the next commit only includes changes to the alias sets.