gricad-gitlab.univ-grenoble-alpes.fr / verimag / synchrone
verimag/synchrone/lustre-v6
Lustre V6 compiler
dernière synchronisation: il y a 9 mois - étoiles: 0 - forks: 0
verimag/synchrone/lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
dernière synchronisation: il y a 9 mois - étoiles: 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).
dernière synchronisation: il y a 9 mois - étoiles: 0 - forks: 0
verimag/synchrone/mia
dernière synchronisation: il y a 8 mois - enregistré: il y a environ un an - étoiles: 0 - forks: 0
verimag/synchrone/sasa
Self-stabilizing Algorithms SimulAtor
dernière synchronisation: il y a 8 mois - enregistré: il y a environ un an - étoiles: 1 - forks: 0