• Installing lutils via opam
• Installing the git source
• Tests
• Docker

Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).

• The lutils ocaml library contains various modules shared between tools. Those modules deal with:
  • generate and parse RIF files
  • generate dro files (to call luciole)
• gnuplot-rif is a stand alone executable that vizualises RIF files using gnuplot.

Installing lutils via opam

$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lutils

Installing the git source

git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
opam install dune num
mv Makefile.version.hide Makefile.version
make configure
make

Tests

make test

Docker

nb: the content of this repo is also available via the jahierwan/verimag-sync-tools docker image