package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install

Dune Dependency

Authors

Maintainers

Sources

lustre-v6.1.737.tgz
sha256=0f3143d384d4d4d12e11f3c1e4ff1db7c03bcf4a9b7c547becbf3947b3b788a1
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)

  1. rdbg >= "1.109"
  2. ocamlfind build
  3. ocamlbuild build
  4. oasis-mirage build & >= "0.4.7"
  5. oasis build & >= "0.4.7"
  6. lutils build
  7. extlib-compat build
  8. extlib build
  9. oasis-mirage build & >= "0.4.7"
  10. oasis build & >= "0.4.7"
  11. lutils < "1.48"
  12. extlib-compat build
  13. extlib build
  14. base-unix
  15. ocaml >= "4.02"

Dev Dependencies

None

Used by (1)

  1. lutin

Conflicts

None

OCaml

Innovation. Community. Security.