(* OASIS_START *) (* DO NOT EDIT (digest: 7ab3176d34ae05ec7be56f340d54ead0) *) lustre-v6 - The Lustre V6 Verimag compiler ========================================== This package contains: - lus2lic: the (current) name of the compiler (and interpreter via -exec). - lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from rdbg (and ocaml as a side effect) 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 Proprietary license, all rights reserved. (* OASIS_STOP *)
| Name | Last commit | Last update |
|---|---|---|
| doc | ||
| lv6-ref-man | ||
| release-lv6 | ||
| src | ||
| test | ||
| tests-pascal | ||
| utils | ||
| .depend | ||
| .gitignore | ||
| .lpp.prcs_aux | ||
| .mkfig | ||
| AUTHORS.txt | ||
| INSTALL.txt | ||
| Makefile | ||
| Makefile.dev | ||
| Makefile.version | ||
| README.txt | ||
| _oasis | ||
| _tags | ||
| lus2lic | ||
| notes.org |