diff --git a/README.md b/README.md index 54d9aa9cae32fe8107cf53ea31f81d25bf4c514e..f7ae9c2f27426c487f9f1e436d1d3d7e3ae34236 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: [](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)