package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

Dune Dependency

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

Authors

E

Erwan Jahier and Pascal Raymond

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.6.103.3.tgz

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

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: 14 Jul 2021

Dependencies (9)

num
rdbg >= "1.196.9"
lutils >= "1.49"
ocamlfind
dune >= "2.0"
extlib-compat build
extlib build
base-unix
ocaml >= "4.05"

Dev Dependencies

None

Used by (1)

lutin

Conflicts

None

On This Page

Description
Dependencies (9)
Dev Dependencies
Used by (1)
Conflicts