lutilsversion
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)
Author | Erwan Jahier |
---|---|
License | GPL-3.0-only |
Published | |
Homepage | http://www-verimag.imag.fr/ |
Issue Tracker | http://www-verimag.imag.fr/ |
Maintainer | erwan.jahier@imag.fr |
Dependencies | |
Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.8.tgz sha256=fed3ab1cff905ffb9bee37217d92a04c309aee82d26d87adb642137c4f4d1676 md5=aea4c9cc79134da46ea3ef95d2bb444d |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lutils/lutils.1.8/opam |