lustrec/README.md @ a1ea5749
| 1 | a1ea5749 | lememta | Current Status: [](https://travis-ci.org/lememta/lustrec) |
|---|---|---|---|
| 2 | e2068500 | Temesghen Kahsai | # LustreC
|
| 3 | |||
| 4 | LustreC is a modular compiler of Lustre code into C and Horn Clauses. |
||
| 5 | |||
| 6 | # Build
|
||
| 7 | ```
|
||
| 8 | > autoconf |
||
| 9 | > ./configure |
||
| 10 | > make |
||
| 11 | ```
|
||
| 12 | |||
| 13 | # Usage
|
||
| 14 | ```
|
||
| 15 | > ./bin/lustrec -help |
||
| 16 | ```
|
||
| 17 | |||
| 18 | # People
|
||
| 19 | * Pierre-Loic Garoche (ONERA)
|
||
| 20 | * Xavier Thirioux (IRIT)
|
||
| 21 | f9707d86 | lememta | * Temesghen Kahsai (NASA Ames / CMU)
|