From 079cf5a082a42232de30be1dd88779aac085174c Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@cs.fau.de>
Date: Wed, 7 Jan 2015 21:44:04 +0100
Subject: [PATCH] BUGS file

---
 BUGS.org | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 BUGS.org

diff --git a/BUGS.org b/BUGS.org
new file mode 100644
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
-- 
2.39.5