package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier and Pascal Raymond

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.6.101.7.tgz
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)

  1. rdbg >= "1.184" & < "1.196"
  2. ocamlfind
  3. ocamlbuild build
  4. oasis-mirage build & >= "0.4.7"
  5. oasis build & >= "0.4.7"
  6. lutils >= "1.49"
  7. extlib-compat build
  8. extlib build
  9. base-unix
  10. ocaml >= "4.05" & < "4.12"

Dev Dependencies

None

Used by (1)

  1. lutin

Conflicts

None