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.
The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
For more information: https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6
Author | Erwan Jahier and Pascal Raymond |
---|---|
License | CeCILL-2.1 |
Published | |
Homepage | https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6 |
Issue Tracker | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues |
Maintainer | erwan.jahier@univ-grenoble-alpes.fr |
Dependencies | |
Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/lustre-v6.v6.107.1.tgz md5=4b642b106a76e19de3751afb53ccdcf4 sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lustre-v6/lustre-v6.6.107.1/opam |
Required by