package lustre-v6

All checked builds pass
  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install 

dune-project
 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.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

Added to opam-repository:

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

Optional Dependencies

None

Used by (1)

  1. lutin

Conflicts

None

Build status

Results of building lustre-v6 with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
6.107.1 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure