A modular Lustre to C / Horn clauses compiler
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
data-test
doc
include
share
src
.gitignore
.ocaml-config.sh
.travis.yml
AUTHORS
LICENSE-LGPL.txt
LICENSE-kind.md
Makefile-lustresf.in
Makefile.in
README.lustrec
README.md
ReleaseProcess.txt
TODO.org
configure.ac
svnignore

README.md

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)