Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ 86ae18b7

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)