From 2c26e8ddf8086b34d98d8616852298bea1b457b4 Mon Sep 17 00:00:00 2001
From: Mikael Djurfeldt <mikael@djurfeldt.com>
Date: Mon, 24 Oct 2016 20:04:46 +0200
Subject: [PATCH] TODO

---
 TODO | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/TODO b/TODO
index e7120f4..2de5855 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,9 @@
+* MUSIC should report an error for non-existing app label when connecting ports
+
+* MUSIC should report an error when same app label is reused for different sections
+
+* No default value for stoptime in contsink (possibly others)
+
 * Startup hangs for msgtest3.music example (with unconnected port)
 
 * Check problem with port width and random connections (should we use
-- 
GitLab