Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ d0d8fe27

History | View | Annotate | Download (918 Bytes)

1 5573fee2 Teme
2 7ec8e203 Temesghen Kahsai
Current Status:    [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?branch=master)](https://travis-ci.org/coco-team/lustrec)
3 5573fee2 Teme
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 e2068500 Temesghen Kahsai
# LustreC
8
9
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
10
11 d0d8fe27 Pierre Loic Garoche
# Dependencies
12
On a fresh ubuntu/debian-like install
13
> apt-get install opam libmpfr-dev
14
Get a fresh version of ocaml
15
> opam switch 4.06.1
16
Install some dependencies
17
> opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir
18 e2068500 Temesghen Kahsai
# Build
19
```
20
> autoconf
21
> ./configure
22
> make
23
```
24
25
# Usage
26
```
27
> ./bin/lustrec -help
28
```
29
30
# People
31
* Pierre-Loic Garoche (ONERA)
32
* Xavier Thirioux (IRIT)
33 f9707d86 lememta
* Temesghen Kahsai (NASA Ames / CMU)