Project

General

Profile

Revision 86ae18b7 README.md

View differences:

README.md
1 

  		




  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
  
    

  		




  2
  7
  
    
# LustreC


  		




  3
  8
  
    

  		




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


  		












Also available in:  Unified diff