lustre-v6version

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.
AuthorErwan Jahier and Pascal Raymond
LicenseCeCILL-2.1
Published
Homepagehttp://www-verimag.imag.fr/lustre-v6.html
Issue Trackerhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.6.103.3.tgz
md5=755e46de4d57d4c489f5b0a0f2b8663d
sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lustre-v6/lustre-v6.6.103.3/opam
Required by