package lutils

  1. Overview
  2. Docs
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).

Install

Dune Dependency

Authors

Maintainers

Sources

lutils.1.44.tgz
sha256=1e2568586f64a4e3e7b4b5f218088f1082e86e960ee6bd2bd0e13185769e011a
md5=81300472ed08a0f632d69de576dafe0a

Description

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)

Published: 25 May 2018

Dependencies (6)

  1. num
  2. ocamlfind build
  3. ocamlbuild build
  4. camlp4
  5. base-unix
  6. ocaml >= "4.02" & < "4.14"

Dev Dependencies

None

Used by (3)

  1. lustre-v6 < "6.101.7"
  2. lutin < "2.70.4"
  3. rdbg >= "1.65" & < "1.184.1"

Conflicts

None

OCaml

Innovation. Community. Security.