BUGS file

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