rdbgversion
RDBG: a reactive programs debugger
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/
Author | Erwan Jahier |
---|---|
License | CECILL-2.1 |
Published | |
Homepage | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg |
Issue Tracker | https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg/issues |
Maintainer | erwan.jahier@univ-grenoble-alpes.fr |
Dependencies | |
Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.v1.199.0.tgz md5=da1c08e352dae8155c089823bf490f42 sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/rdbg/rdbg.1.199.0/opam |