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)
|