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/
Maintainererwan.jahier@imag.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.49.5.tgz
md5=a1e1283913c84aee389ff8168e55a647
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.49.5/opam
Required by