The Lustre V6 Verimag compiler
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

Install
Published
25 May 2018
Authors
Maintainers
Sources
lustre-v6.1.737.tgz
md5=0fd31885b50b4039ec96aafa7cf72750
Dependencies
rdbg >= "1.109"
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils build
extlib build
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils < "1.48"
extlib build
ocaml >= "4.02"
Reverse Dependencies