lutils

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Description

The gnuplot-rif tool vizualise RIF files using gnuplot. The lutils library contains various modules shared between tools developped at Verimag in the synchronous group. Those modules deal with:

  • generate and parse RIF files
  • generate dro files (to call luciole)
Install
Documentation www-verimag.imag.fr Edit opam file
Published
24 Aug 2016
Authors
Maintainers
Sources
lutils.1.9.tgz
md5=867af4f63c6f9f603e057c5e8a8ee374
Dependencies
num
ocamlfind build
oasis build & >= "0.4"
camlp4
base-unix
ocaml < "4.06"
Reverse Dependencies
lustre-v6 < "6.101.7"
lutin < "2.70.4"
rdbg >= "1.65" & < "1.184.1"