Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ 0d54d8a8

History | View | Annotate | Download (678 Bytes)

1

    
2
Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
3

    
4
[![Stories in Ready](https://badge.waffle.io/coco-team/lustrec.png?label=ready&title=Ready)](https://waffle.io/coco-team/lustrec)
5
[![Throughput Graph](https://graphs.waffle.io/coco-team/lustrec/throughput.svg)](https://waffle.io/coco-team/lustrec/metrics/throughput)
6

    
7
# LustreC
8

    
9
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
10

    
11
# Build
12
```
13
> autoconf
14
> ./configure
15
> make
16
```
17

    
18
# Usage
19
```
20
> ./bin/lustrec -help
21
```
22

    
23
# People
24
* Pierre-Loic Garoche (ONERA)
25
* Xavier Thirioux (IRIT)
26
* Temesghen Kahsai (NASA Ames / CMU)