History | View | Annotate | Download (172 Bytes)
# LustreC #
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
### People ###
* Xavier Thirioux
* Pierre-Loic Garoche
* Temesghen Kahsai