5 search results for "author:"Erwan Jahier""

Showing 1 - 5
  1. bddrand
    Documentation
    A simple front-end to the lutin Random toss machinary
    Erwan Jahier Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    03 Nov 2022
  2. lustre-v6
    Documentation
    The Lustre V6 Verimag compiler
    Erwan Jahier and Pascal Raymond
    6.107.1
    CeCILL-2.1
    Used by 1 other packages
    28 Oct 2022
  3. lutils
    Documentation
    Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
    Erwan Jahier
    1.54.1
    CeCILL-2.1
    Used by 3 other packages
    26 Oct 2022
  4. lutin
    Documentation
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  5. rdbg
    Documentation
    RDBG: a reactive programs debugger
    Erwan Jahier
    1.199.0
    CECILL-2.1
    Used by 2 other packages
    28 Oct 2022