rdbg

AuthorErwan Jahier
LicenseCeCILL
Homepagehttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg
Issue Trackerhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
&base-unix
camlp4
lutils>= 1.9
ocamlbuild
ocamlfind
ounit>= 2.0.0
|oasis>= 0.4.7
oasis-mirage>= 0.4.7
Availableocaml-version >= "4.02"
PublishedMay 17, 2018
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.1.175.tgz
0df4a0287c76d0bc69bda9de4b0f1610
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/rdbg/rdbg.1.175/opam

RDBG: a reactive programs debugger.

The library rdbg-plugin contains all the necessary ocaml modules needed to add a rdbg plugin. Such a plugin allows ocaml-interpreted languages to be executed (à la Lurette) or/and debugged (with rdbg).

Necessary for
lustre-v6
Lutin