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

375 Commits
2 Branches
95 Tags
86 Releases

README
CeCILL Free Software License Agreement v2.1

Created on

November 30, 2017

Loading