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

Install

Authors

Maintainers

Sources

lutils.v1.54.1.tgz
md5=a4d0e3d40ae4b01609d568b588b6ea7d
sha512=d3c3b80286b1aa236ba922d9e18a133721fc80126c8b89520fb811dce9400e217aaa75b5d49e03988be7f6bf5f2e1a391d02ceeaa5ec0a0cd5ce218083a29514

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: 26 Oct 2022

Dependencies (8)

  1. camlp-streams
  2. num
  3. ocamlfind
  4. base-unix
  5. dune >= "2.0"
  6. camlp-streams
  7. ocaml >= "4.14.0"
  8. ocaml >= "4.02" & < "4.14.0"

Dev Dependencies

None

Used by (3)

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

Conflicts

None