Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ e2068500

History | View | Annotate | Download (270 Bytes)

1
# LustreC
2

    
3
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
4

    
5
# Build
6
```
7
> autoconf
8
> ./configure
9
> make
10
```
11

    
12
# Usage
13
```
14
> ./bin/lustrec -help
15
```
16

    
17
# People
18
* Pierre-Loic Garoche (ONERA)
19
* Xavier Thirioux (IRIT)
20
* Temesghen Kahsai (NASA Ames / CMU)