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)