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-1.0+ |
| Published | |
| Homepage | http://www-verimag.imag.fr/lustre-v6.html |
| Issue Tracker | http://www-verimag.imag.fr/lustre-v6.html |
| Maintainer | erwan.jahier@univ-grenoble-alpes.fr |
| Dependencies |
|
| Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.6.101.7.tgz sha256=745e4099d842d0dfb9ba75bf15985e313c8bb0f76bd39f6f7c403995ec5109c2 md5=f75155f6f18b3b5ba9923bd447b35917 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lustre-v6/lustre-v6.6.101.7/opam |
Required by
