Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
user avatar
- Makefile: solved dependency problem when compiling include lusi
Pierre Loic Garoche authored 
- Renamed type declarations as lustre_types and machine_code_types
8446bf03
History
user avatar 8446bf03
History
Name Last commit Last update
data-test
doc
include
share
src
.gitignore
.ocaml-config.sh
.travis.yml
AUTHORS
LICENSE-LGPL.txt
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)