| 1 |
5573fee2
|
Teme
|
|
| 2 |
7ec8e203
|
Temesghen Kahsai
|
Current Status: [](https://travis-ci.org/coco-team/lustrec)
|
| 3 |
5573fee2
|
Teme
|
|
| 4 |
|
|
[](https://waffle.io/coco-team/lustrec)
|
| 5 |
|
|
[](https://waffle.io/coco-team/lustrec/metrics/throughput)
|
| 6 |
|
|
|
| 7 |
e2068500
|
Temesghen Kahsai
|
# 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 |
f9707d86
|
lememta
|
* Temesghen Kahsai (NASA Ames / CMU)
|