+++ /dev/null
-* TODO BasicBlockWidget should get an unique type
-
- As a result, properly filter BasicBlockWidgets when spacing
- without linearly searching through all BasicBlockWidgets all the
- time
-
-* DONE Splitting BasicBlocks needs to happen sooner
-
- BasicBlocks are splittet too late these days. As a result we
- sometimes get BasicBlocks that are suffixes of other BasicBlocks
-
-* TODO spread out enries
-
- Add some small gap between inbound edges the currently layout is
- slightly confusing