Current Status: LustreC LustreC is a modular compiler of Lustre code into C and Horn Clauses. Build > autoconf > ./configure > make Usage > ./bin/lustrec -help People Pierre-Loic Garoche (ONERA) Xavier Thirioux (IRIT) Temesghen Kahsai (NASA Ames / CMU)
