rdbg

RDBG: a reactive programs debugger
Description

The library rdbg contains all the ocaml modules needed to use rdbg, a reactive programs debugger.

Install
Documentation gricad-gitlab.univ-grenoble-alpes.fr Edit opam file
Published
08 Jul 2021
Authors
Maintainers
Sources
rdbg.1.196.12.tgz
md5=9149f1e2f49e971c77ff519aef34f09b sha512=8e88034b1eda8f1233b4990adc9746782148254c93d8d0c99c246c0d50f306eeb6aa4afcfca8834acb3e268860647f47a24cc6a2d29fb45cac11f098e2ede275
Dependencies
num >= "1.4"
ounit build & >= "2.0.0"
dune >= "2.0"
ledit
ocamlfind
lutils >= "1.51"
base-unix
ocaml >= "4.05"
Reverse Dependencies
lustre-v6 != "6.101.7"
lutin >= "2.71.10"