Project

General

Profile

Revision e2068500 README.md

View differences:

README.md
1
# lustrec
2
A modular Lustre to C / Horn clauses compiler
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)

Also available in: Unified diff