lustre-v6

AuthorErwan Jahier and Pascal Raymond
LicenseCeCILL
Homepagehttp://www-verimag.imag.fr/lustre-v6.html
Issue Trackerhttp://www-verimag.imag.fr/lustre-v6.html
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
&base-unix
lutils
ocamlbuild
ocamlfind
rdbg>= 1.109
|extlib
extlib-compat
|oasis>= 0.4.7
oasis-mirage>= 0.4.7
Availableocaml-version >= "4.02"
PublishedMay 15, 2018
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.1.737.tgz
0fd31885b50b4039ec96aafa7cf72750
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lustre-v6/lustre-v6.1.737/opam

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

Necessary for
Lutin