lustrec / README.md @ 86ae18b7
History | View | Annotate | Download (678 Bytes)
1 |
|
---|---|
2 |
Current Status: [](https://travis-ci.org/coco-team/lustrec) |
3 |
|
4 |
[](https://waffle.io/coco-team/lustrec) |
5 |
[](https://waffle.io/coco-team/lustrec/metrics/throughput) |
6 |
|
7 |
# LustreC |
8 |
|
9 |
LustreC is a modular compiler of Lustre code into C and Horn Clauses. |
10 |
|
11 |
# Build |
12 |
``` |
13 |
> autoconf |
14 |
> ./configure |
15 |
> make |
16 |
``` |
17 |
|
18 |
# Usage |
19 |
``` |
20 |
> ./bin/lustrec -help |
21 |
``` |
22 |
|
23 |
# People |
24 |
* Pierre-Loic Garoche (ONERA) |
25 |
* Xavier Thirioux (IRIT) |
26 |
* Temesghen Kahsai (NASA Ames / CMU) |