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.8.tgz
sha256=fed3ab1cff905ffb9bee37217d92a04c309aee82d26d87adb642137c4f4d1676
md5=aea4c9cc79134da46ea3ef95d2bb444d

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: 10 Mar 2016

Dependencies (6)

  1. num
  2. ocamlfind build
  3. oasis build & >= "0.4"
  4. camlp4
  5. base-unix
  6. ocaml < "4.06"

Dev Dependencies

None

Used by (2)

  1. lustre-v6 < "6.101.7"
  2. rdbg = "1.65"

Conflicts

None

OCaml

Innovation. Community. Security.