lutilsversion Documentation on ocaml.org
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/ |
| Maintainer | erwan.jahier@imag.fr |
| Dependencies |
|
| Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.49.5.tgz sha256=d94a48abcc1fd817cd7b2183aa234ea801dea652f593a8c7f7675130736b1f8c md5=a1e1283913c84aee389ff8168e55a647 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.49.5/opam |
