Revision a1ea5749
Added by lememta over 8 years ago
| README.md | ||
|---|---|---|
| 1 |
Current Build Status [](https://travis-ci.org/lememta/lustrec)
|
|
| 1 |
Current Status: [](https://travis-ci.org/lememta/lustrec)
|
|
| 2 | 2 |
# LustreC |
| 3 | 3 |
|
| 4 | 4 |
LustreC is a modular compiler of Lustre code into C and Horn Clauses. |
Also available in: Unified diff
build status