3 search results for "author:"Pierre Lermusiaux <pierre.lermusiaux@inria.fr>""

Showing 1 - 3
  1. ez_dune_describe
    Documentation
    A library to retrieve and iterate over workspace description provided by dune
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.1
    LGPL-3.0-or-later
    Used by 1 other packages
    10 Mar 2025
  2. salto-analyzer
    Documentation
    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Mar 2025
  3. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.1.11
    LGPL-2.1-only
    Used by 1 other packages
    09 Mar 2025