|
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
|
# Dependencies
|
|
12
|
On a fresh ubuntu/debian-like install
|
|
13
|
> apt-get install opam libmpfr-dev
|
|
14
|
Get a fresh version of ocaml
|
|
15
|
> opam switch 4.06.1
|
|
16
|
Install some dependencies
|
|
17
|
> opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir
|
|
18
|
# Build
|
|
19
|
```
|
|
20
|
> autoconf
|
|
21
|
> ./configure
|
|
22
|
> make
|
|
23
|
```
|
|
24
|
|
|
25
|
# Usage
|
|
26
|
```
|
|
27
|
> ./bin/lustrec -help
|
|
28
|
```
|
|
29
|
|
|
30
|
# People
|
|
31
|
* Pierre-Loic Garoche (ONERA)
|
|
32
|
* Xavier Thirioux (IRIT)
|
|
33
|
* Temesghen Kahsai (NASA Ames / CMU)
|