3 search results for "author:"Antoine Miné""

Showing 1 - 3
  1. apron
    Documentation
    APRON numerical abstract domain library
    Bertrand Jeannet Antoine Miné https://github.com/antoinemine/apron/graphs/contributors
    v0.9.15
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Added to opam-repository
  2. mopsa

    No documentation

    MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
    Antoine Miné Abdelraouf Ouadjaout Matthieu Journault Aymeric Fromherz Raphaël Monat et al.
    1.2
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  3. zarith
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 135 other packages
    Added to opam-repository