package lustre-v6
The Lustre V6 Verimag compiler
Install
Dune Dependency
Authors
Maintainers
Sources
lustre-v6.1.737.tgz
md5=0fd31885b50b4039ec96aafa7cf72750
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: 25 May 2018
Dependencies (15)
-
rdbg
>= "1.109"
-
ocamlfind
build
-
ocamlbuild
build
-
oasis-mirage
build & >= "0.4.7"
-
oasis
build & >= "0.4.7"
-
lutils
build
-
extlib-compat
build
-
extlib
build
-
oasis-mirage
build & >= "0.4.7"
-
oasis
build & >= "0.4.7"
-
lutils
< "1.48"
-
extlib-compat
build
-
extlib
build
- base-unix
-
ocaml
>= "4.02"
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page