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 10 other packages
    05 Jul 2024
  2. mopsa
    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.0
    LGPL-3.0-or-later
    Used by 0 other packages
    21 Jul 2024
  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 129 other packages
    15 Jul 2024