5 search results for "author:"Pascal Raymond""

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. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  3. gbddml
    Documentation
    The Verimag bdd library
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  4. 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
  5. 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