BUGS file
authorChristoph Egger <Christoph.Egger@cs.fau.de>
Wed, 7 Jan 2015 20:44:04 +0000 (21:44 +0100)
committerChristoph Egger <Christoph.Egger@cs.fau.de>
Wed, 7 Jan 2015 20:44:04 +0000 (21:44 +0100)
BUGS.org [new file with mode: 0644]

diff --git a/BUGS.org b/BUGS.org
new file mode 100644 (file)
index 0000000..17c6a53
--- /dev/null
+++ b/BUGS.org
@@ -0,0 +1,10 @@
+* TODO BasicBlockWidget should get an unique type
+
+    As a result, properly filter BasicBlockWidgets when spacing
+    without linearly searching through all BasicBlockWidgets all the
+    time
+
+* TODO 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