Revision 86ae18b7 README.md
README.md | ||
---|---|---|
1 |
|
|
1 | 2 |
Current Status: [](https://travis-ci.org/coco-team/lustrec) |
3 |
|
|
4 |
[](https://waffle.io/coco-team/lustrec) |
|
5 |
[](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