rdbg

Project information

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

364 Commits
2 Branches
92 Tags
84 Releases

README
CeCILL Free Software License Agreement v2.1

Created on

November 30, 2017

Copy SSH clone URLgit@gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/rdbg.git
Copy HTTPS clone URLhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg.git

Loading