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 Edit opam file Versions (4)

Authors

E

Erwan Jahier and Pascal Raymond

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

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)

rdbg >= "1.109"
ocamlfind build
ocamlbuild build
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils build
extlib-compat build
extlib build
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils < "1.48"
extlib-compat build
extlib build
base-unix
ocaml >= "4.02"

Dev Dependencies

None

Used by (1)

lutin

Conflicts

None

On This Page

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