RDBG - a Reactive programs DeBuGger

RDBG a programmable debugger that targets reactive programs for which a rdbg-plugin exists. A pre-print of a scopes 2016 paper is available here.

Currently two language plugins exist : one for Lustre, and one for Lutin.

Table of Contents

Install rdbg via opam

The easiest way to install rdbg is to go through opam.

$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install rdbg

Install rdbg via git

It is also possible to install from source the git version

git clone https://forge.imag.fr/anonscm/git/rdbg/rdbg.git

You first need to install oasis and gnu-make, and then 'make configure' in the top dir should tell you more about what is missing.

Then 'make' should build all the executables, and 'make test' ougth to exit with a 0 return code.

cd rdbg
make configure
make install
make test

Install Language Plugins

Once again, the easiest way to install plugin is via opam:

$ opam install lustre-v6
$ opam install lutin


To contribute, you need to create an account on the imag forge (https://forge.imag.fr/) and then:

git clone git+ssh://<your user name on the forge>@/var/lib/gforge/chroot/scmrepos/git/rdbg/rdbg.git

For more information: https://forge.imag.fr/projects/rdbg/

Date: 2016-12-16 14:23:19 CET

Author: Erwan Jahier (jahier@imag.fr)

Org version 7.8.03 with Emacs version 24

Validate XHTML 1.0