gricad-gitlab.univ-grenoble-alpes.fr / verimag / synchrone
verimag/synchrone/lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/synchrone/rdbg
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).
Last synced at: 7 months ago - Stars: 0 - Forks: 0
verimag/synchrone/sasa
Self-stabilizing Algorithms SimulAtor
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0