rdbg

RDBG: a reactive programs debugger
Description

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

The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/

Install
Published
28 Oct 2022
Sources
rdbg.v1.199.0.tgz
md5=da1c08e352dae8155c089823bf490f42
sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352
Dependencies
ounit
build & >= "2.0.0"
dune
>= "2.0"
lutils
>= "1.51"
ocaml
>= "4.05"
Reverse Dependencies
lustre-v6
!= "6.101.7"
lutin
>= "2.71.10"