lustrec/README.md @ 6394042a
| 1 |
# LustreC #
|
|---|---|
| 2 |
|
| 3 |
LustreC is a modular compiler of Lustre code into C and Horn Clauses. |
| 4 |
|
| 5 |
|
| 6 |
### People ###
|
| 7 |
|
| 8 |
* Pierre-Loic Garoche
|
| 9 |
* Temesghen Kahsai
|