Current Status:
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
On a fresh ubuntu/debian-like install
apt-get install opam libmpfr-dev Get a fresh version of ocaml opam switch 4.06.1 Install some dependencies opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir In OSX, some issues with Z3, please pin the following version: opam pin add z3 4.8.1 opam install z3
> autoconf
> ./configure
> make
> ./bin/lustrec -help
- Pierre-Loic Garoche (ONERA)
- Xavier Thirioux (IRIT)
- Temesghen Kahsai (NASA Ames / CMU)