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

    No documentation

    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    23 Nov 2025
  3. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.2.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Nov 2025