Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ a1daa793

History | View | Annotate | Download (408 Bytes)

1 7ec8e203 Temesghen Kahsai
Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
2 e2068500 Temesghen Kahsai
# 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 f9707d86 lememta
* Temesghen Kahsai (NASA Ames / CMU)