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.
Author | Erwan Jahier |
---|---|
License | CeCILL-2.1 |
Published | |
Homepage | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/ |
Issue Tracker | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/issues |
Maintainer | erwan.jahier@imag.fr |
Dependencies |
|
Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.v1.54.1.tgz md5=a4d0e3d40ae4b01609d568b588b6ea7d sha512=d3c3b80286b1aa236ba922d9e18a133721fc80126c8b89520fb811dce9400e217aaa75b5d49e03988be7f6bf5f2e1a391d02ceeaa5ec0a0cd5ce218083a29514 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.54.1/opam |