Explore graph layout improvements

[tmr232]

Following the realization that pretty-printing DOT changes the layout, it makes sense to explore layout improvements.

We need to understand what causes the changes (are things reordered, or is it something else) and see if we can solve the very squiggly edges without messing up the cases where layout is actually kinda nice.

This will probably require quite a bit of experimentation, and a reasonable dataset of "nice looking" and "bad looking" graphs (that can luckily be easily collected from the CFGBot,)

[tmr232]

Here are some examples of messy layout that needs fixing (specifically edge layout):

• https://mastodon.social/@cfgbot/113923473982438111
• https://mastodon.social/@cfgbot/113928693397462838
• https://mastodon.social/@cfgbot/113939051121157597
• https://mastodon.social/@cfgbot/114046859766422768

[OfekShilon]

Perhaps 'splines=ortho'?

[tmr232]

Perhaps 'splines=ortho'?

Seems like the edge layout for ortho splines has a unique set of issues:

DOT

[OfekShilon]

It shouldn't be like that. Reported to graphviz: https://gitlab.com/graphviz/graphviz/-/issues/2674