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).

Name
Last commit
Last update
doc/slides Loading commit data...
exemples Loading commit data...
src Loading commit data...
utils Loading commit data...
www Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENCE Loading commit data...
Makefile Loading commit data...
Makefile.dev Loading commit data...
Makefile.test Loading commit data...
Makefile.version Loading commit data...
Makefile.version.hide Loading commit data...
README.md Loading commit data...
README.org Loading commit data...
_oasis Loading commit data...
_tags Loading commit data...
opam Loading commit data...
package.json Loading commit data...
rdbg.install Loading commit data...