5 Search Results
bddrand
A simple front-end to the lutin Random toss machinary
2.71.10
CECILL-2.1
Used by 0 other packages
lustre-v6
The Lustre V6 Verimag compiler
6.103.3
CeCILL-2.1
Used by 1 other packages
lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
1.51.2
CeCILL-2.1
Used by 3 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.10
CECILL-2.1
Used by 1 other packages
rdbg
RDBG: a reactive programs debugger
1.196.12
CeCILL-2.1
Used by 2 other packages