| commit | 24b8631f19f4a6d150c1c1917b743c7c7d0c3316 | [log] [tgz] |
|---|---|---|
| author | Boutheina Bannour <boutheina.bannour@gmail.com> | Thu Jan 26 19:02:34 2017 +0100 |
| committer | Boutheina Bannour <boutheina.bannour@gmail.com> | Thu Jan 26 19:02:34 2017 +0100 |
| tree | e8b245417d4a6c2c8b98f1b2e15a7b051144c8f5 | |
| parent | 07591797231655abfd80eb1d9d688a0d77b4c6e3 [diff] |
Initial commit Change-Id: I38c56cfb4ed6242c1583f493bc45f2ba95eb4607
diff --git a/README.md b/README.md new file mode 100644 index 0000000..f3bb1a9 --- /dev/null +++ b/README.md
@@ -0,0 +1 @@ +# EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform \ No newline at end of file