(* OASIS_START *) (* DO NOT EDIT (digest: 7018be8ddc148ce8fff24df3fef8d341) *) lustre-v6 - The Lustre V6 Verimag compiler ========================================== This package contains: (1) lus2lic: the (current) name of the compiler (and interpreter via -exec). (2) the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter ocaml 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 *)
"lib/evalConst.ml" did not exist on "b13c9efb6b52a826a13a8c1e98e35afe2db80bb4"
erwan
authored
And it is now done only by Lic2soc (L2lCheckLoops is not used anymore) Also, during this change, I was bitten again by the « "__" versus "::" in ident names » problem again. The core of this problem is due to the fact that I use LicDump both for (1) dealing with internal ident names (2) generating lustre files Because of (2), ident names may depend on the ec or the v4 option. hence, internal names were sometimes translated with "__" instead of "::". To (try to) fix that, I've added a boolean flag to all "to_string" functions that states whether the function is used for internal purposes, or for generating lustre files. It was quite a boring change, that triggered other problems, that I've fixed in this (too long) commit : - -esa should force -en, otherwise bad things happen (-esa is used for -ec anyway) - in -esa mode, #/nor inputs tuples of bool, not arrays - fix the list of predi op that returns a type different that its arg (SocPredef)
| Name | Last commit | Last update |
|---|---|---|
| arduino | ||
| 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 |