package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install

Dune Dependency

Authors

Maintainers

Sources

lustre-v6.v6.107.1.tgz
md5=4b642b106a76e19de3751afb53ccdcf4
sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

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.

The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/

For more information: https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6

Published: 28 Oct 2022

Dependencies (10)

  1. yaml
  2. num
  3. rdbg >= "1.196.9"
  4. lutils >= "1.49"
  5. ocamlfind
  6. dune >= "2.0"
  7. extlib-compat build
  8. extlib build
  9. base-unix
  10. ocaml >= "4.06"

Dev Dependencies

None

Used by (1)

  1. lutin

Conflicts

None