lutilsversion

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

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)

The gnuplot-rif tool vizualise RIF files using gnuplot.

AuthorErwan Jahier
LicenseCeCILL-2.1
Published
Homepagehttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/
Issue Trackerhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/issues
Maintainererwan.jahier@imag.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.51.2.tgz
md5=cd9bab058c8c2de4eaefb841ad475a17
sha512=f94696be379c62e888410ec3d940c888ca4b607cf59c2e364e93a2a694da65ebe6d531107198b795e80eecc3c6865eedb02659c7e7c4e15c9b28d74aa35d09f8
StatisticsInstalled 15 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.51.2/opam
Required by