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