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