3 search results for "author:"Antoine Miné""
Showing 1 - 3
-
APRON numerical abstract domain libraryv0.9.15LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 10 other packages05 Jul 2024
-
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation1.0LGPL-3.0-or-laterUsed by 0 other packages21 Jul 2024
-
Implements arithmetic and logical operations over arbitrary-precision integers1.14LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 131 other packages15 Jul 2024