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.49.5.tgz
sha256=d94a48abcc1fd817cd7b2183aa234ea801dea652f593a8c7f7675130736b1f8c
md5=a1e1283913c84aee389ff8168e55a647

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: 23 Aug 2019

Dependencies (5)

  1. num
  2. ocamlfind
  3. ocamlbuild build
  4. base-unix
  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 >= "1.65" & < "1.196.12"

Conflicts

None

OCaml

Innovation. Community. Security.