package lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
Install
Dune Dependency
Authors
Maintainers
Sources
lutils.1.49.5.tgz
sha256=d94a48abcc1fd817cd7b2183aa234ea801dea652f593a8c7f7675130736b1f8c
md5=a1e1283913c84aee389ff8168e55a647
Description
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.
Published: 23 Aug 2019
On This Page