Project

General

Profile

Download (538 Bytes) Statistics
| Branch: | Tag: | Revision:
1
[![Stories in Ready](https://badge.waffle.io/coco-team/lustrec.png?label=ready&title=Ready)](https://waffle.io/coco-team/lustrec)
2
Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
3
# LustreC
4

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

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

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

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