package lustre-v6
The Lustre V6 Verimag compiler
Install
Dune Dependency
Authors
Maintainers
Sources
lustre-v6.6.101.7.tgz
sha256=745e4099d842d0dfb9ba75bf15985e313c8bb0f76bd39f6f7c403995ec5109c2
md5=f75155f6f18b3b5ba9923bd447b35917
Description
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.
Published: 23 Aug 2019
Dependencies (10)
-
rdbg
>= "1.184" & < "1.196" - ocamlfind
-
ocamlbuild
build -
oasis-mirage
build & >= "0.4.7" -
oasis
build & >= "0.4.7" -
lutils
>= "1.49" -
extlib-compat
build -
extlib
build - base-unix
-
ocaml
>= "4.05" & < "4.12"
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page