Draw edges between BasicBlockWidgets while handling loops
authorChristoph Egger <siccegge@cs.fau.de>
Tue, 3 Jun 2014 17:05:30 +0000 (19:05 +0200)
committerChristoph Egger <siccegge@cs.fau.de>
Tue, 3 Jun 2014 17:05:30 +0000 (19:05 +0200)
commitd51782798930575415d53300340ede3a004f1661
tree058025e632a3ff3152480e19f1c6b0d2c6bf78b5
parent9244195b13b1673757b4bc77d6306e7b2f21244a
Draw edges between BasicBlockWidgets while handling loops
src/gui/Mainwindow.cxx
src/gui/Mainwindow.hxx
src/gui/widgets/BasicBlockWidget.cxx
src/gui/widgets/BasicBlockWidget.hxx