OCaml logo

rdbg

RDBG: a reactive programs debugger
Description

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

Install
https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg
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"