From 9421e247a7cc1cef6ea5ce177016652dcd280757 Mon Sep 17 00:00:00 2001
From: Temesghen Kahsai <lememta@gmail.com>
Date: Tue, 23 Feb 2016 13:15:38 -0800
Subject: [PATCH] added README

---
 README.md | 31 +++++++++++++++++++++----------
 1 file changed, 21 insertions(+), 10 deletions(-)

diff --git a/README.md b/README.md
index 54d9aa9c..f7ae9c2f 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,21 @@
-# LustreC #
-
-LustreC is a modular compiler of Lustre code into C and Horn Clauses. 
-
-
-### People ###
-
-* Xavier Thirioux
-* Pierre-Loic Garoche
-* Temesghen Kahsai 
+Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
+# LustreC
+
+LustreC is a modular compiler of Lustre code into C and Horn Clauses.
+
+# Build
+```
+> autoconf
+> ./configure
+> make
+```
+
+# Usage
+```
+> ./bin/lustrec -help
+```
+
+# People
+* Pierre-Loic Garoche (ONERA)
+* Xavier Thirioux (IRIT)
+* Temesghen Kahsai (NASA Ames / CMU)
-- 
GitLab