LustreC

Current Status:

LustreC is a modular compiler of Lustre code into C and Horn Clauses.

Build

> autoconf
> ./configure
> make

> ./bin/lustrec -help

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.settings		.settings
bin		bin
doc		doc
include		include
regression_tests		regression_tests
share		share
src		src
test		test
.gitignore		.gitignore
.ocaml-config.sh		.ocaml-config.sh
.paths		.paths
.project		.project
.projectSettings		.projectSettings
.travis.yml		.travis.yml
AUTHORS		AUTHORS
LICENSE-LGPL.txt		LICENSE-LGPL.txt
Makefile.in		Makefile.in
README.md		README.md
TODO.org		TODO.org
configure.ac		configure.ac
lustrec.odocl		lustrec.odocl
setup.ml		setup.ml
svnignore		svnignore