lustre-v6

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
23 Aug 2019
Sources
lustre-v6.6.101.7.tgz
md5=f75155f6f18b3b5ba9923bd447b35917
Dependencies
rdbg
>= "1.184" & < "1.196"
oasis-mirage
build & >= "0.4.7"
oasis
build & >= "0.4.7"
lutils
>= "1.49"
extlib
build
ocaml
>= "4.05" & < "4.12"
Reverse Dependencies