README.txt 695 B
(* OASIS_START *) (* DO NOT EDIT (digest: 60e4b12af94a3d68c3266a56d99b4774) *) lustre-v6 - The Lustre V6 Verimag compiler ========================================== This package contains: - lv6: the (current) name of the compiler (and interpreter via -exec) - the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from ocaml - the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg See the file [INSTALL.txt](INSTALL.txt) for building and installation instructions. [Home page](http://www-verimag.imag.fr/lustre-v6.html) Copyright and license --------------------- lustre-v6 is distributed under the terms of the CEA-CNRS-INRIA Logiciel Libre. (* OASIS_STOP *)