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.
| Author | Erwan Jahier and Pascal Raymond |
|---|---|
| License | CeCILL-2.1 |
| Published | |
| Homepage | http://www-verimag.imag.fr/lustre-v6.html |
| Issue Tracker | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues |
| Maintainer | erwan.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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lustre-v6/lustre-v6.6.103.3/opam |
Required by
