Project

General

Profile

Download (1.04 KB) Statistics
| Branch: | Tag: | Revision:
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
# Dependencies
12
On a fresh ubuntu/debian-like install
13
 ```
14
 apt-get install opam libmpfr-dev
15
 ```
16
Get a fresh version of ocaml
17
 ```
18
opam switch create 4.06.1
19
 ```
20
Install some dependencies
21
 ```
22
opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir
23
 ```
24
In OSX, some issues with Z3, please pin the following version:
25
 ```
26
opam pin add z3 4.8.1
27
opam install z3
28
 ```
29
# Build
30
```
31
> autoconf
32
> ./configure
33
> make
34
```
35

    
36
# Usage
37
```
38
> ./bin/lustrec -help
39
```
40

    
41
# People
42
* Pierre-Loic Garoche (ONERA)
43
* Xavier Thirioux (IRIT)
44
* Temesghen Kahsai (NASA Ames / CMU)
(10-10/17)