lutils

Author Erwan Jahier
License GPL-3
Homepage http://www-verimag.imag.fr/
Issue Tracker http://www-verimag.imag.fr/
Maintainer erwan.jahier@imag.fr
Dependencies
& base-unix
camlp4
oasis >= 0.4
ocamlfind
Published Aug 24, 2016
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.9.tgz
867af4f63c6f9f603e057c5e8a8ee374
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.9/opam

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

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)
Necessary for
rdbg
>= 1.65