Project

General

Profile

Revision 9421e247 README.md

View differences:

README.md
1
# LustreC #
2

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

  
5

  
6
### People ###
7

  
8
* Xavier Thirioux
9
* Pierre-Loic Garoche
10
* Temesghen Kahsai 
1
Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
2
# LustreC
3

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

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

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

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

Also available in: Unified diff