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
bin Loading commit data...
doc/slides Loading commit data...
exemples Loading commit data...
lib Loading commit data...
scripts 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...
dune-project Loading commit data...
package.json Loading commit data...
rdbg.opam Loading commit data...