From 5cedb91e9050929dd9fb1f3a4f627cf94b52a908 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Sat, 28 Jun 2014 16:09:12 +0200
Subject: [PATCH] Added TODO list

---
 TODO.txt | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 TODO.txt

diff --git a/TODO.txt b/TODO.txt
new file mode 100644
index 0000000..6197e62
--- /dev/null
+++ b/TODO.txt
@@ -0,0 +1,5 @@
+Validation of generated trace files: Parsing the trace files
+
+Missing constructs:
+ - SEES, INCLUDES, REFINES, IMPORTS
+ - sequential composition, while loop
\ No newline at end of file
-- 
GitLab