/lustrec

A modular Lustre to C / Horn clauses compiler

Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1

Current Status: Build Status

Stories in Ready Throughput Graph

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)