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.51.2.tgz
md5=cd9bab058c8c2de4eaefb841ad475a17
sha512=f94696be379c62e888410ec3d940c888ca4b607cf59c2e364e93a2a694da65ebe6d531107198b795e80eecc3c6865eedb02659c7e7c4e15c9b28d74aa35d09f8

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: 07 Jul 2021

Dependencies (5)

  1. num
  2. ocamlfind
  3. base-unix
  4. dune >= "2.0"
  5. ocaml >= "4.02" & < "4.14"

Dev Dependencies

None

Used by (3)

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

Conflicts

None

OCaml

Innovation. Community. Security.